nspec - 0.1.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#