;; -*-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-method sequence-ref (%element)
  		       (((seq (:sequence %element)) (index <integer>)) %element pure)
    (raise 'abstract-method))

  (define-param-method sequence-length (%element)
		       (((seq (:sequence %element))) <integer> pure)
    (raise 'abstract-method))

  (define-param-method sequence-map (%source %target)
		       (((proc (:procedure (%source) %target pure))
			 (seq (:sequence %source)))
			(:sequence %target) pure)
    (raise 'abstract-method)))
