Stdlib.Trait.Monad
Contents
trait type Monad (m : Type -> Type)Source#
Constructors
open Monad public
>>= {A B} {f : Type -> Type} {{Monad f}} (x : f A) (g : A -> f B) : f BSource#
>=> {A B C} {f : Type -> Type} {{Monad f}} (h : A -> f B) (g : B -> f C) (a : A) : f CSource#