Idris2Doc
: Control.Monad.Trans.Free
Index
Default
Alternative
Black & White
Control.Monad.Trans.Free
(
source
)
Definitions
iterT
: (
Functor
f
,
Monad
m
)
=>
(
f
(
m
a
)
->
m
a
)
->
FreeT
f
m
a
->
m
a
Visibility
:
export