1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
;; -*-theme-*-
;; Copyright (C) 2014 Tommi Höynälänmaa
;; Distributed under GNU Lesser General Public License version 3,
;; see file doc/LGPL-3.
(define-body (examples sequence)
(define-param-virtual-method sequence-ref (%element)
(((seq (:sequence %element)) (index <integer>)) %element pure)
(raise 'abstract-method))
(define-param-virtual-method sequence-length (%element)
(((seq (:sequence %element))) <integer> pure)
(raise 'abstract-method))
(define-param-virtual-method sequence-map (%source %target)
(((proc (:procedure (%source) %target pure))
(seq (:sequence %source)))
(:sequence %target) pure)
(raise 'abstract-method)))
|
