.> | Control.Functor.Transform |
.>> | Control.Comonad |
:> | Control.Functor.Transform |
=>> | Control.Comonad |
Adjunction | Control.Functor.Adjunction |
anaCofree | Control.Comonad.Cofree |
apo | Control.Recursion |
Bifunctor | Control.Functor, Control.Functor.Transform |
bimap | Control.Functor, Control.Functor.Transform |
branchF | Data.InfiniteTree |
cataFree | Control.Monad.Free |
chrono | Control.Recursion |
codyna | Control.Recursion |
Cofree |
1 (Type/Class) | Control.Comonad.Cofree |
2 (Data Constructor) | Control.Comonad.Cofree |
cofreeToList | Control.Comonad.Cofree |
CoKleisli |
1 (Type/Class) | Control.Comonad |
2 (Data Constructor) | Control.Comonad |
Comonad | Control.Comonad |
Comp | Control.Functor, Control.Functor.Transform |
cons |
1 (Function) | Control.Recursion |
2 (Function) | Data.Stream |
3 (Function) | Data.InfiniteSeq |
ConsPair | Control.Recursion |
Const |
1 (Type/Class) | Control.Functor, Control.Functor.Transform |
2 (Data Constructor) | Control.Functor, Control.Functor.Transform |
Context |
1 (Type/Class) | Control.Comonad.Context |
2 (Data Constructor) | Control.Comonad.Context |
counit | Control.Functor.Adjunction |
deComp | Control.Functor, Control.Functor.Transform |
distribCofree | Control.Comonad.Cofree |
distribFree | Control.Monad.Free |
drop | Data.InfiniteSeq |
duplicate | Control.Comonad |
dyna | Control.Recursion |
elemAt |
1 (Function) | Data.Stream |
2 (Function) | Data.InfiniteSeq |
experiment | Control.Comonad.Context |
extend | Control.Comonad |
extract | Control.Comonad |
fibs | Data.Stream |
Fix | Control.Recursion |
Fixpoint | Control.Recursion |
fold | Control.Recursion |
foldWith | Control.Recursion |
Free | Control.Monad.Free |
funcTrans | Control.Functor.Transform |
futu | Control.Recursion |
get | Control.Comonad.Context |
g_apo | Control.Recursion |
g_chrono | Control.Recursion |
g_codyna | Control.Recursion |
g_dyna | Control.Recursion |
g_futu | Control.Recursion |
g_histo | Control.Recursion |
head |
1 (Function) | Data.Stream |
2 (Function) | Data.InfiniteSeq |
headCofree | Control.Comonad.Cofree |
histo | Control.Recursion |
In | Control.Recursion |
inF | Control.Recursion |
inFree | Control.Monad.Free |
lComp | Control.Functor, Control.Functor.Transform |
left | Data.InfiniteTree |
leftAdjunct | Control.Functor.Adjunction |
liftCtx | Control.Comonad.Context |
liftW | Control.Comonad |
local | Control.Comonad |
mapStreamSt | Data.Stream |
mapW | Control.Comonad |
mkStream | Data.Stream |
mkTree | Data.InfiniteTree |
modify | Control.Comonad.Context |
Nat | Data.InfiniteSeq |
Nil | Control.Recursion |
O | Control.Functor, Control.Functor.Transform |
outF | Control.Recursion |
Pair | Control.Recursion |
para | Control.Recursion |
parallelW | Control.Comonad |
rComp | Control.Functor, Control.Functor.Transform |
refold | Control.Recursion |
refoldWith | Control.Recursion |
right | Data.InfiniteTree |
rightAdjunct | Control.Functor.Adjunction |
root | Data.InfiniteTree |
rotateL | Data.InfiniteTree |
rotateR | Data.InfiniteTree |
Seq | Data.InfiniteSeq |
sequenceW | Control.Comonad |
showTree | Data.InfiniteTree |
showTree' | Data.InfiniteTree |
showTreeWide | Data.InfiniteTree |
showWide | Data.InfiniteTree |
Stream | Data.Stream |
surreals | Data.InfiniteTree |
tail |
1 (Function) | Data.Stream |
2 (Function) | Data.InfiniteSeq |
tailCofree | Control.Comonad.Cofree |
toList |
1 (Function) | Data.Stream |
2 (Function) | Data.InfiniteSeq |
toSeq | Data.Stream |
toStream | Data.InfiniteSeq |
transFunc | Control.Functor.Transform |
Tree | Data.InfiniteTree |
Trifunctor | Control.Functor, Control.Functor.Transform |
trimap | Control.Functor, Control.Functor.Transform |
unCofree | Control.Comonad.Cofree |
unCoKleisli | Control.Comonad |
unConst | Control.Functor, Control.Functor.Transform |
unfold | Control.Recursion |
unfoldW | Control.Comonad |
unfoldWith | Control.Recursion |
Unit |
1 (Type/Class) | Control.Functor, Control.Functor.Transform |
2 (Data Constructor) | Control.Functor, Control.Functor.Transform |
unit | Control.Functor.Adjunction |
zygo | Control.Recursion |