package fmlib

You can search for identifiers within the package.

in-package search v0.2.0

Functional monadic library

Install

sha256=0558665285e4d7691e5a80c90ab05a7acb86c09f03ceef6589f150f6d3574573

md5=fb61f4d6e7233cf8d1d71758e6110c1e

Conversion of a string to a source of characters.

include Interfaces.SOURCE with type item = char

Sourcetype item = char

Type of items coming from the source.

Sourcetype t

t A stream of items.

Sourceval has_more : t -> bool

has_more s Does the stream s have more items?

Sourceval peek : t -> item

peek s Peek the next item from the stream s.

Precondition: has_more s

Sourceval advance : t -> t

advance s Pop the top item off the stream s.

Precondition: has_more s

Sourceval make : string -> t

make str A character stream generated from the string str.