functor-combinators-0.3.2.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
AltConst 
1 (Type/Class)Data.HFunctor.Interpret, Data.Functor.Combinator
2 (Data Constructor)Data.HFunctor.Interpret, Data.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
assembleDayChainData.Functor.Invariant.Day
assembleDayChain1Data.Functor.Invariant.Day
assembleDayChain1RecData.Functor.Invariant.Day
assembleDayChainRecData.Functor.Invariant.Day
assembleNightChainData.Functor.Invariant.Night
assembleNightChain1Data.Functor.Invariant.Night
assoc 
1 (Function)Data.Functor.Contravariant.Night
2 (Function)Data.HBifunctor.Associative
3 (Function)Data.Functor.Invariant.Night
4 (Function)Data.Functor.Invariant.Day
associatingData.HBifunctor.Associative, Data.Functor.Combinator
AssociativeData.HBifunctor.Associative, Data.Functor.Combinator
biapplyData.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
chainApData.Functor.Invariant.Day
chainAp1Data.Functor.Invariant.Day
chainDecData.Functor.Invariant.Night
chainDec1Data.Functor.Invariant.Night
chainDivData.Functor.Invariant.Day
chainDiv1Data.Functor.Invariant.Day
chainListFData.Functor.Invariant.Night
chainListF_Data.Functor.Invariant.Night
chainNonEmptyFData.Functor.Invariant.Night
chainNonEmptyF_Data.Functor.Invariant.Night
ChooseData.Functor.Contravariant.Divisible.Free
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
concatDayChainData.Functor.Invariant.Day
concatDayChain1Data.Functor.Invariant.Day
concatDayChain1RecData.Functor.Invariant.Day
concatDayChainRecData.Functor.Invariant.Day
concatNightChainData.Functor.Invariant.Night
concatNightChain1Data.Functor.Invariant.Night
ConcludeData.Functor.Contravariant.Conclude
concludeData.Functor.Contravariant.Conclude
concludedData.Functor.Contravariant.Conclude
concludeNData.Functor.Combinator
ConquerData.Functor.Contravariant.Divisible.Free
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
3 (Type/Class)Data.Functor.Invariant.Day
4 (Data Constructor)Data.Functor.Invariant.Day
dayData.Functor.Invariant.Day
DayAp1Data.Functor.Apply.Free, Data.Functor.Combinator
DayChainData.Functor.Invariant.Day
DayChain1 
1 (Type/Class)Data.Functor.Invariant.Day
2 (Data Constructor)Data.Functor.Invariant.Day
DecData.Functor.Contravariant.Divisible.Free
Dec1 
1 (Type/Class)Data.Functor.Contravariant.Divisible.Free
2 (Data Constructor)Data.Functor.Contravariant.Divisible.Free
DecideData.Functor.Contravariant.Decide
decideData.Functor.Contravariant.Decide
decidedData.Functor.Contravariant.Decide
decideNData.Functor.Combinator
disassocData.HBifunctor.Associative
DivData.Functor.Contravariant.Divisible.Free
Div1 
1 (Type/Class)Data.Functor.Contravariant.Divisible.Free
2 (Data Constructor)Data.Functor.Contravariant.Divisible.Free
div1NonEmptyFData.Functor.Contravariant.Divisible.Free
DivideData.Functor.Contravariant.Divisible.Free
divideNData.Functor.Combinator
divideNRecData.Functor.Combinator
DiviseData.Functor.Contravariant.Divise
diviseData.Functor.Contravariant.Divise
divisedData.Functor.Contravariant.Divise
diviseNData.Functor.Combinator
diviseNRecData.Functor.Combinator
divListFData.Functor.Contravariant.Divisible.Free
DoneData.HFunctor.Chain
Done1Data.HFunctor.Chain
DoneF1Control.Monad.Freer.Church
elim1 
1 (Function)Data.Functor.Contravariant.Night
2 (Function)Data.HBifunctor.Tensor, Data.Functor.Combinator
3 (Function)Data.Functor.Invariant.Night
4 (Function)Data.Functor.Invariant.Day
elim2 
1 (Function)Data.Functor.Contravariant.Night
2 (Function)Data.HBifunctor.Tensor, Data.Functor.Combinator
3 (Function)Data.Functor.Invariant.Night
4 (Function)Data.Functor.Invariant.Day
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
FreeFunctorByData.HFunctor.Final, Data.Functor.Combinator
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
FunctorByData.HBifunctor.Associative, Data.Functor.Combinator
GatherData.Functor.Invariant.Day
generalizeData.Functor.Combinator
getAltConstData.HFunctor.Interpret, Data.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
hoistDecData.Functor.Contravariant.Divisible.Free
hoistDec1Data.Functor.Contravariant.Divisible.Free
hoistDivData.Functor.Contravariant.Divisible.Free
hoistDiv1Data.Functor.Contravariant.Divisible.Free
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
iapplyData.HFunctor.Interpret, Data.Functor.Combinator
icollectData.HFunctor.Interpret, Data.Functor.Combinator
icollect1Data.HFunctor.Interpret, Data.Functor.Combinator
IdentityT 
1 (Type/Class)Data.Functor.Combinator
2 (Data Constructor)Data.Functor.Combinator
ifanoutData.HFunctor.Interpret, Data.Functor.Combinator
ifanout1Data.HFunctor.Interpret, Data.Functor.Combinator
igetData.HFunctor.Interpret, Data.Functor.Combinator
InjectData.HFunctor, Data.Functor.Combinator
injectData.HFunctor, Data.Functor.Combinator
injectChainData.HFunctor.Chain
injectChain1Data.HFunctor.Chain
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
intro1 
1 (Function)Data.Functor.Contravariant.Night
2 (Function)Data.HBifunctor.Tensor, Data.Functor.Combinator
3 (Function)Data.Functor.Invariant.Night
4 (Function)Data.Functor.Invariant.Day
intro2 
1 (Function)Data.Functor.Contravariant.Night
2 (Function)Data.HBifunctor.Tensor, Data.Functor.Combinator
3 (Function)Data.Functor.Invariant.Night
4 (Function)Data.Functor.Invariant.Day
isoFControl.Natural.IsoF
KnotData.Functor.Invariant.Day
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
liftDecData.Functor.Contravariant.Divisible.Free
liftDec1Data.Functor.Contravariant.Divisible.Free
liftDivData.Functor.Contravariant.Divisible.Free
liftDiv1Data.Functor.Contravariant.Divisible.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
listFDivData.Functor.Contravariant.Divisible.Free
listToMaybeFControl.Applicative.ListF
LoseData.Functor.Contravariant.Divisible.Free
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
matchChain1Data.HFunctor.Chain
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
Night 
1 (Type/Class)Data.Functor.Contravariant.Night
2 (Data Constructor)Data.Functor.Contravariant.Night
3 (Type/Class)Data.Functor.Invariant.Night, Data.Functor.Combinator
4 (Data Constructor)Data.Functor.Invariant.Night, Data.Functor.Combinator
night 
1 (Function)Data.Functor.Contravariant.Night
2 (Function)Data.Functor.Invariant.Night
NightChainData.Functor.Invariant.Night
NightChain1 
1 (Type/Class)Data.Functor.Invariant.Night
2 (Data Constructor)Data.Functor.Invariant.Night
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
nonEmptyFDiv1Data.Functor.Contravariant.Divisible.Free
nonEmptyProdControl.Applicative.ListF, Data.Functor.Combinator
Not 
1 (Type/Class)Data.Functor.Contravariant.Night, Data.Functor.Invariant.Night, Data.Functor.Combinator
2 (Data Constructor)Data.Functor.Contravariant.Night, Data.Functor.Invariant.Night, 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
refuteData.Functor.Contravariant.Night, Data.Functor.Invariant.Night, Data.Functor.Combinator
refutedData.Functor.Contravariant.Night, Data.Functor.Invariant.Night, Data.Functor.Combinator
RejectData.Functor.Invariant.Night
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
runCoDayChainData.Functor.Invariant.Day
runCoDayChain1Data.Functor.Invariant.Day
runCoNightChainData.Functor.Invariant.Night
runCoNightChain1Data.Functor.Invariant.Night
runContraDayChainData.Functor.Invariant.Day
runContraDayChain1Data.Functor.Invariant.Day
runContraNightChainData.Functor.Invariant.Night
runContraNightChain1Data.Functor.Invariant.Night
runDayApplyData.Functor.Invariant.Day
runDayDiviseData.Functor.Invariant.Day
runDecData.Functor.Contravariant.Divisible.Free
runDec1Data.Functor.Contravariant.Divisible.Free
runDivData.Functor.Contravariant.Divisible.Free
runDiv1Data.Functor.Contravariant.Divisible.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
runNightData.Functor.Contravariant.Night
runNightAltData.Functor.Invariant.Night
runNightDecideData.Functor.Invariant.Night
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
splittingChainData.HFunctor.Chain
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
swapped 
1 (Function)Data.Functor.Contravariant.Night
2 (Function)Data.Functor.Invariant.Night
3 (Function)Data.Functor.Invariant.Day
SwerveData.Functor.Invariant.Night
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
toChainData.HFunctor.Chain
toChain1Data.HFunctor.Chain
toCoDayData.Functor.Invariant.Day
toCoNightData.Functor.Invariant.Night
toCoNight_Data.Functor.Invariant.Night
toContraDayData.Functor.Invariant.Day
toContraNightData.Functor.Invariant.Night
toDecData.Functor.Contravariant.Divisible.Free
toDivData.Functor.Contravariant.Divisible.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
trans1 
1 (Function)Data.Functor.Contravariant.Night
2 (Function)Data.Functor.Invariant.Night
3 (Function)Data.Functor.Invariant.Day
trans2 
1 (Function)Data.Functor.Contravariant.Night
2 (Function)Data.Functor.Invariant.Night
3 (Function)Data.Functor.Invariant.Day
unassoc 
1 (Function)Data.Functor.Contravariant.Night
2 (Function)Data.Functor.Invariant.Night
3 (Function)Data.Functor.Invariant.Day
unCompControl.Monad.Freer.Church, Data.Functor.Combinator
unconsChainData.HFunctor.Chain
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
unsafeConcludeData.Functor.Combinator.Unsafe
unsafeDiviseData.Functor.Combinator.Unsafe
unsafePlusData.Functor.Combinator.Unsafe
unsafePointedData.Functor.Combinator.Unsafe
unsplitNEData.HBifunctor.Tensor
unwrapDivisibleData.Functor.Contravariant.Divise
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
WrapDivisibleData.Functor.Contravariant.Divise
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
WrappedDivisibleData.Functor.Contravariant.Divise
WrappedHBifunctorData.HBifunctor
~>Control.Natural.IsoF, Data.Functor.Combinator