| .> | Control.Functor.Transform |
| .>> | Control.Comonad |
| :> | Control.Functor.Transform |
| =>> | Control.Comonad |
| Adjunction | Control.Functor.Adjunction |
| apo | Control.Recursion |
| Bifunctor | Control.Functor, Control.Functor.Transform |
| bimap | Control.Functor, Control.Functor.Transform |
| branchF | Data.InfiniteTree |
| 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 |
| Consf | Data.BranchingStream |
| 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 |
| drop | Data.InfiniteSeq |
| duplicate | Control.Comonad |
| 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 |
| funcTrans | Control.Functor.Transform |
| genStrf | Data.BranchingStream |
| get | Control.Comonad.Context |
| g_apo | Control.Recursion |
| g_histo | Control.Recursion |
| hdf | Data.BranchingStream |
| head |
| 1 (Function) | Data.Stream |
| 2 (Function) | Data.InfiniteSeq |
| histo | Control.Recursion |
| In | Control.Recursion |
| inF | Control.Recursion |
| 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 |
| 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 |
| Strf | Data.BranchingStream |
| strfToList | Data.BranchingStream |
| surreals | Data.InfiniteTree |
| tail |
| 1 (Function) | Data.Stream |
| 2 (Function) | Data.InfiniteSeq |
| tlf | Data.BranchingStream |
| 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 |
| 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 |
