package higher_kinded

You can search for identifiers within the package.

in-package search v0.2.0

higher_kinded
- Higher_kinded
  - Array
  - Either
  - Hash_set
  - Hashtbl
  - Ident
  - Lazy
  - List
  - Make
    
    X
  - Make2
    
    X
  - Make3
    
    X
  - Make4
    
    X
  - Make5
    
    X
  - Make6
    
    X
  - Make7
    
    X
  - Make8
    
    X
  - Make_monad
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    M
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Monad_infix
  - Make_monad2
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    M
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Monad_infix
  - Make_monad3
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    M
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Monad_infix
  - Make_monad_using_witness
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    M
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Monad_infix
    
    X
  - Make_monad_using_witness2
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    M
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Monad_infix
    
    X
  - Make_monad_using_witness3
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    M
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Monad_infix
    
    X
  - Map
  - Monad
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
  - Monad2
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
  - Monad3
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
  - Option
  - Queue
  - Ref
  - Result
  - S
  - S2
  - S3
  - S4
  - S5
  - S6
  - S7
  - S8
  - Sequence
  - Set
  - Type_equal

Legend:
Library
Module
Module type
Parameter
Class
Class type

Same as Infix, except the monad type has two arguments. The second is always just passed through.

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

val (>>|) : ('a, 'e) t -> ('a -> 'b) -> ('b, 'e) t