Control.Cont.Void

Definitions

data VoidC1 : Type -> Type

Totality: total
Visibility: public export
Hints:

Functor VoidC1

Uninhabited (VoidC1 a)

VoidC : (Type -> Type) -> Type -> Type

Visibility: public export

VoidE : (Type -> Type) -> Type -> Type

Visibility: public export

runVoidC : Free VoidC a -> a

Visibility: public export

AlgebraVoid : Monad m => Algebra VoidE m

Visibility: public export