package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a t = 'a option

val from_Some : 'a option -> 'a

val default : 'a -> 'a option -> 'a

val return : 'a -> 'a option

val bind : 'a option -> ('a -> 'b option) -> 'b option

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

val map : ('a -> 'b) -> 'a option -> 'b option

val (>>|) : 'a option -> ('a -> 'b) -> 'b option

same as map

val (>>) : unit option -> 'b option -> 'b option

val mapM : ('a -> 'b option) -> 'a list -> 'b list option

val mapM_ : ('a -> unit option) -> 'a list -> unit option

val fold_leftM : ('a -> 'b -> 'a option) -> 'a -> 'b list -> 'a option

val parseM : 
  ('a -> 'b list -> ('a * 'b list) option) ->
  'a ->
  'b list ->
  'a option

module Op : sig ... end