package preface

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Monad_plus.For_left_catch`

module M : Preface_specs.MONAD_PLUS

include Indexed_monad_plus.LAWS_LEFT_CATCH with type ('a, _) t := 'a M.t

include Indexed_monad.LAWS with type ('a, 'index) t := 'a M.t

include Indexed_bind.LAWS with type ('a, 'index) t := 'a M.t

include Indexed_functor.LAWS with type ('a, 'index) t := 'a M.t

val functor_1 : unit -> ('a M.t, 'a M.t) Law.t

val functor_2 : unit -> ('a -> 'b, ('c -> 'a) -> 'c M.t -> 'b M.t) Law.t

val bind_1 : unit -> ('a M.t M.t M.t, 'a M.t) Law.t

val bind_2 : unit -> ('a -> 'b, 'a M.t M.t -> 'b M.t) Law.t

val bind_3 : unit -> ('a M.t, ('a -> 'b M.t) -> ('b -> 'c M.t) -> 'c M.t) Law.t

val bind_4 : 
  unit ->
  ('a -> 'b M.t, ('b -> 'c M.t) -> ('c -> 'd M.t) -> 'a -> 'd M.t) Law.t

val monad_1 : unit -> ('a M.t, 'a M.t * 'a M.t) Law.t

val monad_2 : unit -> ('a -> 'b, 'a -> 'b M.t) Law.t

val monad_3 : unit -> ('a, ('a -> 'b M.t) -> 'b M.t) Law.t

val monad_4 : unit -> ('a M.t, 'a M.t) Law.t

val monad_5 : unit -> ('a, ('a -> 'b M.t) -> 'b M.t) Law.t

val monad_6 : unit -> ('a, ('a -> 'b M.t) -> 'b M.t) Law.t

val monad_plus_left_catch_1 : unit -> ('a, 'a M.t -> 'a M.t) Law.t