package jhupllib

  1. Overview
  2. Docs
package jhupllib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Nondeterminism.Nondeterminism_monadSource

Sourcetype 'a m
include Monads.MonadPlus with type 'a m := 'a m
include Monads.Monad with type 'a m := 'a m
Sourceval pure : 'a -> 'a m
Sourceval bind : 'a m -> ('a -> 'b m) -> 'b m
Sourceval zero : unit -> 'a m
Sourceval plus : 'a m -> 'a m -> 'a m
include Monads.Utils with type 'a m := 'a m
Sourceval return : 'a -> 'a m
Sourceval (>>=) : 'a m -> ('a -> 'b m) -> 'b m
Sourceval sequence : 'a m Batteries.Enum.t -> 'a Batteries.Enum.t m
Sourceval mapM : ('a -> 'b m) -> 'a Batteries.Enum.t -> 'b Batteries.Enum.t m
Sourceval lift1 : ('a -> 'b) -> 'a m -> 'b m
Sourceval pick_enum : 'a Batteries.Enum.t -> 'a m
Sourceval enum : 'a m -> 'a Batteries.Enum.t
Sourceval stop_unless : bool -> unit m
Sourceval empty : unit -> 'a m
Sourceval alternative : 'a m -> 'a m -> 'a m