package olmi

You can search for identifiers within the package.

in-package search v0.2.0

olmi
- Library olmi
  - Olmi
    
    Interfaces
    
    Make
  - OlmiInterfaces
    
    COMMON
    
    BIND
    
    JOIN
    
    BASIC_INTERFACE
    
    INFIX
    
    LIFT
    
    INTERFACE
    
    PLUS
    
    PLUS_INTERFACE
  - OlmiMake
    
    WithJoin
    
    WithBind
    
    Monad
    
    Plus
- Library olmiExamples
  - OlmiExamples
    
    Identity
    
    Option
    
    List
  - OlmiIdentity
    
    Requirement
  - OlmiList
    
    Requirement
  - OlmiOption
    
    Requirement
- Sources
  - olmi
    
    olmi.ml
    
    olmiInterfaces.ml
    
    olmiMake.ml
  - olmiExamples
    
    olmiExamples.ml
    
    olmiIdentity.ml
    
    olmiList.ml
    
    olmiOption.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `OlmiList.Requirement`Source

Sourcetype 'a t = 'a list

Sourceval return : 'a -> 'a t

Sourceval join : 'a t t -> 'a t

Sourceval bind : 'a t -> ('a -> 'b t) -> 'b t

Sourceval fmap : ('a -> 'b) -> 'a t -> 'b t