functor-combinators-0.2.0.0: Tools for functor combinator-based program design

Index

!$!Data.HBifunctor.Associative, Data.Functor.Combinator
!*!Data.HBifunctor.Associative, Data.Functor.Combinator
!+!Data.HBifunctor.Associative, Data.Functor.Combinator
:*: 
1 (Type/Class)Data.Functor.Combinator
2 (Data Constructor)Data.Functor.Combinator
:+:Data.Functor.Combinator
:>>=Control.Monad.Freer.Church
<~>Control.Natural.IsoF, Data.Functor.Combinator
absorbData.Functor.Combinator
absurd1Control.Applicative.Step
absurd2Control.Applicative.Step
absurd3Control.Applicative.Step
AltData.Functor.Combinator
AndCData.HFunctor.Interpret
ApData.Functor.Combinator
Ap1 
1 (Type/Class)Data.Functor.Apply.Free, Data.Functor.Combinator
2 (Data Constructor)Data.Functor.Apply.Free, Data.Functor.Combinator
ap1DayData.Functor.Apply.Free, Data.Functor.Combinator
appendChainData.HFunctor.Chain
appendChain1Data.HFunctor.Chain
appendLBData.HBifunctor.Tensor, Data.Functor.Combinator
appendNEData.HBifunctor.Associative, Data.Functor.Combinator
assocData.HBifunctor.Associative
associatingData.HBifunctor.Associative, Data.Functor.Combinator
AssociativeData.HBifunctor.Associative, Data.Functor.Combinator
bicollectData.HBifunctor.Associative, Data.Functor.Combinator
bigetData.HBifunctor.Associative, Data.Functor.Combinator
binterpretData.HBifunctor.Associative, Data.Functor.Combinator
biretractData.HBifunctor.Associative, Data.Functor.Combinator
ChainData.HFunctor.Chain
Chain1Data.HFunctor.Chain
collectIData.HFunctor.Interpret, Data.Functor.Combinator
Comp 
1 (Type/Class)Control.Monad.Freer.Church, Data.Functor.Combinator
2 (Data Constructor)Control.Monad.Freer.Church, Data.Functor.Combinator
compControl.Monad.Freer.Church
ComposeT 
1 (Data Constructor)Data.Functor.Combinator
2 (Type/Class)Data.Functor.Combinator
consLBData.HBifunctor.Tensor, Data.Functor.Combinator
consNEData.HBifunctor.Associative, Data.Functor.Combinator
ConstF 
1 (Type/Class)Data.HFunctor, Data.Functor.Combinator
2 (Data Constructor)Data.HFunctor, Data.Functor.Combinator
Coyoneda 
1 (Data Constructor)Data.Functor.Combinator
2 (Type/Class)Data.Functor.Combinator
Day 
1 (Data Constructor)Data.Functor.Combinator
2 (Type/Class)Data.Functor.Combinator
DayAp1Data.Functor.Apply.Free, Data.Functor.Combinator
disassocData.HBifunctor.Associative
DoneData.HFunctor.Chain
Done1Data.HFunctor.Chain
DoneF1Control.Monad.Freer.Church
elim1Data.HBifunctor.Tensor, Data.Functor.Combinator
elim2Data.HBifunctor.Tensor, Data.Functor.Combinator
EnvT 
1 (Data Constructor)Data.Functor.Combinator
2 (Type/Class)Data.Functor.Combinator
Final 
1 (Type/Class)Data.HFunctor.Final, Data.Functor.Combinator
2 (Data Constructor)Data.HFunctor.Final, Data.Functor.Combinator
finalizingData.HFunctor.Final
Flagged 
1 (Type/Class)Control.Applicative.Step, Data.Functor.Combinator
2 (Data Constructor)Control.Applicative.Step, Data.Functor.Combinator
flaggedFlagControl.Applicative.Step, Data.Functor.Combinator
flaggedValControl.Applicative.Step, Data.Functor.Combinator
foldChainData.HFunctor.Chain
foldChain1Data.HFunctor.Chain
foldFreeControl.Monad.Freer.Church
foldFree'Control.Monad.Freer.Church
foldFree1Control.Monad.Freer.Church
foldFree1'Control.Monad.Freer.Church
foldFree1CControl.Monad.Freer.Church
foldFreeCControl.Monad.Freer.Church
foldHFreeData.HFunctor
forIData.HFunctor.Interpret, Data.Functor.Combinator
Free 
1 (Type/Class)Control.Monad.Freer.Church, Data.Functor.Combinator
2 (Data Constructor)Control.Monad.Freer.Church
Free1 
1 (Type/Class)Control.Monad.Freer.Church, Data.Functor.Combinator
2 (Data Constructor)Control.Monad.Freer.Church
free1CompControl.Monad.Freer.Church
FreeOfData.HFunctor.Final, Data.Functor.Combinator
fromApData.Functor.Apply.Free
fromChain1Data.HFunctor.Chain
fromFControl.Natural.IsoF
fromFinalData.HFunctor.Final
fromFreeData.HFunctor.Final, Data.Functor.Combinator
fromListFControl.Applicative.ListF
fromNEData.HBifunctor.Tensor, Data.Functor.Combinator
generalizeData.Functor.Combinator
getComposeTData.Functor.Combinator
getConstFData.HFunctor, Data.Functor.Combinator
getIData.HFunctor.Interpret, Data.Functor.Combinator
getStepsControl.Applicative.Step, Data.Functor.Combinator
HBifunctorData.HBifunctor, Data.Functor.Combinator
hbimapData.HBifunctor, Data.Functor.Combinator
HBindData.HFunctor
hbindData.HFunctor
HFreeData.HFunctor, Data.Functor.Combinator
HFunctorData.HFunctor, Data.Functor.Combinator
HJoinData.HFunctor, Data.Functor.Combinator
hjoinData.HFunctor
hleftData.HBifunctor, Data.Functor.Combinator
HLiftData.HFunctor, Data.Functor.Combinator
hmapData.HFunctor, Data.Functor.Combinator
hoistFinalCData.HFunctor.Final
hoistFreeControl.Monad.Freer.Church
hoistFree1Control.Monad.Freer.Church
HOtherData.HFunctor, Data.Functor.Combinator
HPureData.HFunctor, Data.Functor.Combinator
HReturnData.HFunctor, Data.Functor.Combinator
hrightData.HBifunctor, Data.Functor.Combinator
IdentityT 
1 (Type/Class)Data.Functor.Combinator
2 (Data Constructor)Data.Functor.Combinator
InjectData.HFunctor, Data.Functor.Combinator
injectData.HFunctor, Data.Functor.Combinator
inLData.HBifunctor.Tensor, Data.Functor.Combinator
inRData.HBifunctor.Tensor, Data.Functor.Combinator
InterpretData.HFunctor.Interpret, Data.Functor.Combinator
interpretData.HFunctor.Interpret, Data.Functor.Combinator
interpretFreeControl.Monad.Freer.Church
interpretFree1Control.Monad.Freer.Church
interpretLBData.HBifunctor.Tensor
interpretNEData.HBifunctor.Associative
intro1Data.HBifunctor.Tensor, Data.Functor.Combinator
intro2Data.HBifunctor.Tensor, Data.Functor.Combinator
isoFControl.Natural.IsoF
L1Data.Functor.Combinator
LeftF 
1 (Type/Class)Data.HBifunctor, Data.Functor.Combinator
2 (Data Constructor)Data.HBifunctor, Data.Functor.Combinator
leftIdentityData.HBifunctor.Tensor
LiftData.Functor.Combinator
liftAp1Data.Functor.Apply.Free
liftFinal0Data.HFunctor.Final
liftFinal1Data.HFunctor.Final
liftFinal2Data.HFunctor.Final
liftFreeControl.Monad.Freer.Church
liftFree1Control.Monad.Freer.Church
ListByData.HBifunctor.Tensor, Data.Functor.Combinator
ListF 
1 (Type/Class)Control.Applicative.ListF, Data.Functor.Combinator
2 (Data Constructor)Control.Applicative.ListF, Data.Functor.Combinator
listToMaybeFControl.Applicative.ListF
MapF 
1 (Type/Class)Control.Applicative.ListF, Data.Functor.Combinator
2 (Data Constructor)Control.Applicative.ListF, Data.Functor.Combinator
mapListFControl.Applicative.ListF
mapMaybeFControl.Applicative.ListF
mapNonEmptyFControl.Applicative.ListF
MatchableData.HBifunctor.Tensor
matchFree1Control.Monad.Freer.Church
matchingChainData.HFunctor.Chain
matchingLBData.HBifunctor.Tensor
matchingNEData.HBifunctor.Associative
matchLBData.HBifunctor.Tensor
matchNEData.HBifunctor.Associative, Data.Functor.Combinator
MaybeF 
1 (Type/Class)Control.Applicative.ListF, Data.Functor.Combinator
2 (Data Constructor)Control.Applicative.ListF, Data.Functor.Combinator
maybeToListFControl.Applicative.ListF
MonoidInData.HBifunctor.Tensor, Data.Functor.Combinator
MoreData.HFunctor.Chain
More1Data.HFunctor.Chain
MoreF1Control.Monad.Freer.Church
NEMapF 
1 (Type/Class)Control.Applicative.ListF, Data.Functor.Combinator
2 (Data Constructor)Control.Applicative.ListF, Data.Functor.Combinator
nilLBData.HBifunctor.Tensor, Data.Functor.Combinator
NonEmptyByData.HBifunctor.Associative, Data.Functor.Combinator
NonEmptyF 
1 (Type/Class)Control.Applicative.ListF, Data.Functor.Combinator
2 (Data Constructor)Control.Applicative.ListF, Data.Functor.Combinator
nonEmptyProdControl.Applicative.ListF, Data.Functor.Combinator
outLData.HBifunctor.Tensor, Data.Functor.Combinator
outRData.HBifunctor.Tensor, Data.Functor.Combinator
overFControl.Natural.IsoF
overHBifunctorData.HBifunctor
overHFunctorData.HFunctor
prodLeftIdentityData.HBifunctor.Tensor
ProdNonEmptyControl.Applicative.ListF, Data.Functor.Combinator
prodOutLData.HBifunctor.Tensor, Data.Functor.Combinator
prodOutRData.HBifunctor.Tensor, Data.Functor.Combinator
prodRightIdentityData.HBifunctor.Tensor
ProxyF 
1 (Type/Class)Data.HFunctor, Data.Functor.Combinator
2 (Data Constructor)Data.HFunctor, Data.Functor.Combinator
pureTData.HBifunctor.Tensor, Data.Functor.Combinator
R1Data.Functor.Combinator
ReaderT 
1 (Type/Class)Data.Functor.Combinator
2 (Data Constructor)Data.Functor.Combinator
reFreeControl.Monad.Freer.Church
reFree1Control.Monad.Freer.Church
rerollData.HFunctor.Chain
rerollNEData.HFunctor.Chain
retractData.HFunctor.Interpret, Data.Functor.Combinator
retractAp1Data.Functor.Apply.Free
retractFreeControl.Monad.Freer.Church
retractFree1Control.Monad.Freer.Church
retractHFreeData.HFunctor
retractHLiftData.HFunctor
retractLBData.HBifunctor.Tensor
retractNEData.HBifunctor.Associative
reviewFControl.Natural.IsoF
RightF 
1 (Type/Class)Data.HBifunctor, Data.Functor.Combinator
2 (Data Constructor)Data.HBifunctor, Data.Functor.Combinator
rightIdentityData.HBifunctor.Tensor
runAp1Data.Functor.Apply.Free
runFinalData.HFunctor.Final, Data.Functor.Combinator
runFreeControl.Monad.Freer.Church
runFree1Control.Monad.Freer.Church
runIdentityTData.Functor.Combinator
runLeftFData.HBifunctor, Data.Functor.Combinator
runListFControl.Applicative.ListF, Data.Functor.Combinator
runMapFControl.Applicative.ListF, Data.Functor.Combinator
runMaybeFControl.Applicative.ListF, Data.Functor.Combinator
runNEMapFControl.Applicative.ListF, Data.Functor.Combinator
runNonEmptyFControl.Applicative.ListF, Data.Functor.Combinator
runReaderTData.Functor.Combinator
runRightFData.HBifunctor, Data.Functor.Combinator
SemigroupInData.HBifunctor.Associative, Data.Functor.Combinator
splitChain1Data.HFunctor.Chain
splitNEData.HBifunctor.Tensor, Data.Functor.Combinator
splittingChain1Data.HFunctor.Chain
splittingLBData.HBifunctor.Tensor, Data.Functor.Combinator
splittingNEData.HBifunctor.Tensor
Step 
1 (Type/Class)Control.Applicative.Step, Data.Functor.Combinator
2 (Data Constructor)Control.Applicative.Step, Data.Functor.Combinator
stepDownControl.Applicative.Step
steppingControl.Applicative.Step
steppingsControl.Applicative.Step
stepPosControl.Applicative.Step, Data.Functor.Combinator
Steps 
1 (Type/Class)Control.Applicative.Step, Data.Functor.Combinator
2 (Data Constructor)Control.Applicative.Step, Data.Functor.Combinator
stepsDownControl.Applicative.Step
stepsUpControl.Applicative.Step
stepUpControl.Applicative.Step
stepValControl.Applicative.Step, Data.Functor.Combinator
sumLeftIdentityData.HBifunctor.Tensor
sumRightIdentityData.HBifunctor.Tensor
TensorData.HBifunctor.Tensor, Data.Functor.Combinator
That1Data.Functor.Combinator
These1 
1 (Data Constructor)Data.Functor.Combinator
2 (Type/Class)Data.Functor.Combinator
This1Data.Functor.Combinator
toApData.Functor.Apply.Free
toFinalData.HFunctor.Final
toFree 
1 (Function)Control.Monad.Freer.Church
2 (Function)Data.HFunctor.Final, Data.Functor.Combinator
toListByData.HBifunctor.Tensor, Data.Functor.Combinator
toListFControl.Applicative.ListF
toNonEmptyByData.HBifunctor.Associative, Data.Functor.Combinator
unCompControl.Monad.Freer.Church, Data.Functor.Combinator
unconsLBData.HBifunctor.Tensor
unfoldChainData.HFunctor.Chain
unfoldChain1Data.HFunctor.Chain
unmatchChainData.HFunctor.Chain
unrollData.HFunctor.Chain
unrollingData.HFunctor.Chain
unrollingNEData.HFunctor.Chain
unrollNEData.HFunctor.Chain
unsafeApplyData.Functor.Combinator.Unsafe
unsafeBindData.Functor.Combinator.Unsafe
unsafePlusData.Functor.Combinator.Unsafe
unsafePointedData.Functor.Combinator.Unsafe
unsplitNEData.HBifunctor.Tensor
unwrapFData.HBifunctor.Tensor
unwrapHBFData.HBifunctor.Associative
unwrapHBifunctorData.HBifunctor
unwrapHFData.HFunctor.Interpret
unwrapLBData.HBifunctor.Tensor
unwrapNEData.HBifunctor.Associative
V1Data.Functor.Combinator
viewFControl.Natural.IsoF
Void2Control.Applicative.Step, Data.Functor.Combinator
Void3Control.Applicative.Step
WrapF 
1 (Type/Class)Data.HBifunctor.Tensor
2 (Data Constructor)Data.HBifunctor.Tensor
WrapHBF 
1 (Type/Class)Data.HBifunctor.Associative
2 (Data Constructor)Data.HBifunctor.Associative
WrapHBifunctorData.HBifunctor
WrapHF 
1 (Type/Class)Data.HFunctor.Interpret
2 (Data Constructor)Data.HFunctor.Interpret
WrapLB 
1 (Type/Class)Data.HBifunctor.Tensor
2 (Data Constructor)Data.HBifunctor.Tensor
WrapNE 
1 (Type/Class)Data.HBifunctor.Associative
2 (Data Constructor)Data.HBifunctor.Associative
WrappedHBifunctorData.HBifunctor
~>Control.Natural.IsoF, Data.Functor.Combinator