package fmlib

You can search for identifiers within the package.

in-package search v0.2.0

fmlib
- Fmlib
fmlib.fmlib_parse
- Fmlib_parse
  - Buffer
    
    Make
    
    Error
    
    Expect
    
    Semantic
    
    State
    
    Token
  - Character
    
    Make
    
    Final
    
    Parser
    
    Semantic
    
    State
  - Character_state
    
    Make
    
    User
  - Error
    
    Make
    
    Expect
    
    Semantic
  - Generic
    
    Make
    
    Expect
    
    Final
    
    Parser
    
    Semantic
    
    State
    
    Token
  - Indent
  - Interfaces
    
    COMBINATOR
    
    PARSER
  - Located
  - Parse
  - Position
  - Test_calculator
    
    CP
    
    Parser
  - Test_character
    
    CP
    
    Parser
    
    Indent_sensitive
    
    Basic
    
    Parser
    
    Final
    
    SP
    
    Parser
fmlib.fmlib_pretty
- Fmlib_pretty
  - Pretty
  - Print
  - State
    
    Buffer
    
    Chunk
    
    Group
    
    Line
    
    Text
fmlib.fmlib_std
- Fmlib_std
  - Array
  - Deque
  - Int
  - Interfaces
    
    ANY
    
    MONAD
    
    SINK
    
    SORTABLE
    
    SOURCE
  - List
    
    Monadic
    
    M
  - Result
    
    Monad
    
    E
  - Std
  - String
    
    From_source
    
    S
    
    To_source

Legend:
Library
Module
Module type
Parameter
Class
Class type

Conversion of a string to a source of characters.

include Interfaces.SOURCE with type item = char

type item = char

Type of items coming from the source.

type t

t A stream of items.

val has_more : t -> bool

has_more s Does the stream s have more items?

val peek : t -> item

peek s Peek the next item from the stream s.

Precondition: has_more s

val advance : t -> t

advance s Pop the top item off the stream s.

Precondition: has_more s

val make : string -> t

make str A character stream generated from the string str.