Changeset 31340 in project


Ignore:
Timestamp:
09/06/14 17:07:10 (5 years ago)
Author:
juergen
Message:

typed-lists docu updated

Location:
wiki/eggref/4
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/4/options

    r31332 r31340  
    77The option datatype is inspired by the equally named type in ML.  It
    88simply stores one or no value at all. To be able to type options, we
    9 implement it as a functor, named options-functor, and supply an
     9implement it as a functor, named option-functor, and supply an
    1010untyped version as a module named options, which simply applies the
    1111functor to a module with an any? type test, i.e. no check at all.
     
    2222<enscript highlight=scheme>
    2323(require-library datatype)
    24 (import options-functor datatype)
     24(import option-functor datatype)
    2525
    2626;; apply functor to instantiate module
    27 (module item-options = options-functor
     27(module item-options = option-functor
    2828  (import scheme)
    2929  (define (item? xpr) ...)
  • wiki/eggref/4/typed-lists

    r31338 r31340  
    288288merges two <?-sorted typed lists.
    289289
    290 ====
    291 <procedure>(ilist-sorted? <? ilst)</procedure>
    292 is a typed list sorted with respect ot <?.
    293 
    294290==== ilist-insert-sorted
    295291<procedure>(ilist-insert-sorted <? item ilst)</procedure>
     
    299295<procedure>(ilist-insertion-sort <? ilst)</procedure>
    300296insertion sorts a typed list according to <?.
     297
     298==== ilist-merge-sort
     299<procedure>(ilist-merge-sort <? ilst)</procedure>
     300merge sorts a typed list according to <?.
     301
     302==== ilist-sorted?
     303<procedure>(ilist-sorted? <? ilst)</procedure>
     304is a typed list sorted with respect ot <?.
    301305
    302306==== ilist-zip
Note: See TracChangeset for help on using the changeset viewer.