Control.Cont.Out

Definitions

data Out : Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkOut : String -> cnt -> Out cnt

Hint: 

Functor Out

HOut : (Type -> Type) -> Type -> Type

Visibility: public export

runOut : Free HOut a -> IO a

Visibility: public export

out : Inj HOut sig => String -> Free sig ()

Visibility: public export