stdlib - 0.0.1

Stdlib.Trait.Monad

Description

Definitions

trait type Monad (m : Type -> Type)Source#

Constructors

| mkMonad { {{applicative}} : Applicative m; builtin monad-bind bind : {A B : Type} -> m A -> (A -> m B) -> m B }

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#