Cont

Definitions

data Cont : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

ContOf : ((a -> r) -> r) -> Cont r a

Hints:

Applicative (Cont r)

Functor (Cont r)

Monad (Cont r)

data DIterator : Type -> Type -> Type -> Type -> Type -> Type

Totality: total
Visibility: public export
Constructors:

Result : r -> DIterator i o i2 o2 r

Susp : o -> (i -> DIterator i o i2 o2 r) -> DIterator i o i2 o2 r

Susp2 : o2 -> (i2 -> DIterator i o i2 o2 r) -> DIterator i o i2 o2 r

Iterator : Type -> Type -> Type -> Type

Visibility: public export

toIterator : Cont (DIterator i o i2 o2 r) r -> DIterator i o i2 o2 r

Visibility: export

yieldGet : o -> Cont (DIterator i o i2 o2 r) i

Visibility: export

yieldGet2 : o2 -> Cont (DIterator i o i2 o2 r) i2

Visibility: export