;; -*-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)))
