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

type _ t

'a t is a monadic container with elements of type 'a.

val return : 'a -> 'a t

return a puts the elements a into a monadic container.

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

m >> f extracts elements of of the monadic container m and applies the function f to them which puts them back into a monadic container.

val let* : 'a t -> ('a -> 'b t) -> 'b t

let* a = m in f a is the same as m >>= f.