package lemonade

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M : Lemonade_Type.S

type 'a t = 'a option M.t

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

val return : 'a -> 'a t

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

val join : 'a t t -> 'a t

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

val bind2 : 'a t -> 'b t -> ('a -> 'b -> 'c t) -> 'c t

val bind3 : 'a t -> 'b t -> 'c t -> ('a -> 'b -> 'c -> 'd t) -> 'd t

val bind4 : 
  'a t ->
  'b t ->
  'c t ->
  'd t ->
  ('a -> 'b -> 'c -> 'd -> 'e t) ->
  'e t

val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t

val map3 : ('a -> 'b -> 'c -> 'd) -> 'a t -> 'b t -> 'c t -> 'd t

val map4 : ('a -> 'b -> 'c -> 'd -> 'e) -> 'a t -> 'b t -> 'c t -> 'd t -> 'e t

val dist : 'a t list -> 'a list t

val ignore : 'a t -> unit t

val filter : ('a -> bool t) -> 'a t list -> 'a list t

val only_if : bool -> unit t -> unit t

val unless : bool -> unit t -> unit t

val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t

module Infix : sig ... end

val lift : 'a M.t -> 'a t