fcf-containers-0.8.0: Data structures and algorithms for first-class-families

Index

/=Fcf.Alg.Nat
<Fcf.Alg.Symbol
<*>Fcf.Control.Monad
<=Fcf.Alg.Symbol
== 
1 (Type/Class)Fcf.Alg.Nat
2 (Type/Class)Fcf.Alg.Symbol
>Fcf.Alg.Symbol
>=Fcf.Alg.Symbol
>>Fcf.Control.Monad
>>=Fcf.Control.Monad
Adjust 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
AlgebraFcf.Alg.Morphism
All 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
AnaFcf.Alg.Morphism
AnnFcf.Alg.Morphism
AnnConstrFcf.Alg.Morphism
AnnF 
1 (Type/Class)Fcf.Alg.Morphism
2 (Data Constructor)Fcf.Alg.Morphism
Any 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
Append 
1 (Type/Class)Fcf.Alg.Symbol
2 (Type/Class)Fcf.Data.Text
3 (Type/Class)Fcf.Data.OldText
Assocs 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
AttrFcf.Alg.Morphism
BEmptyFFcf.Alg.Tree
BNodeFFcf.Alg.Tree
BTreeFFcf.Alg.Tree
BuildFibTreeCoAFcf.Alg.Tree
BuildNodeCoAFcf.Alg.Tree
CataFcf.Alg.Morphism
CharsFcf.Data.Text.Internal
charsFcf.Data.Text.Internal
CharToNatFcf.Data.Symbol, Fcf.Alg.Symbol
CharToSymbolFcf.Data.Symbol, Fcf.Alg.Symbol
CmpCharFcf.Data.Symbol, Fcf.Alg.Symbol
CmpSymbolFcf.Data.Symbol, Fcf.Alg.Symbol
CoAlgebraFcf.Alg.Morphism
CompareLength 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
Concat 
1 (Type/Class)Fcf.Data.Symbol, Fcf.Alg.Symbol
2 (Type/Class)Fcf.Data.Text
3 (Type/Class)Fcf.Data.OldText
ConcatCharsFcf.Data.Symbol, Fcf.Alg.Symbol
Cons 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
ConsCharFcf.Data.Symbol, Fcf.Alg.Symbol
ConsFFcf.Alg.List
ConsHelperFcf.Control.Monad
CountNodesAlgFcf.Alg.Tree
CountSizeHelpFcf.Data.Bitree
DedupAlgFcf.Alg.List
Delete 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
Difference 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
Disjoint 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
Drop 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
DropAround 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
DropEnd 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
DropWhile 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
DropWhileEnd 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
Elems 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
Empty 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
4 (Type/Class)Fcf.Data.Text
5 (Type/Class)Fcf.Data.OldText
EqualFcf.Alg.List
EvensFcf.Alg.List
EvensAlgFcf.Alg.List
EvensStripFcf.Alg.List
ExampleTree1Fcf.Data.Bitree
ExampleTree2Fcf.Data.Bitree
ExampleTree3Fcf.Data.Bitree
ExampleTree4Fcf.Data.Bitree
ExT1rFcf.Data.Tree
ExTr2Fcf.Data.Tree
FanoutFcf.Alg.Morphism
FConcatMap 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
FibAlgebraFcf.Alg.Tree
FibHistoFcf.Alg.Tree
FibHyloFcf.Alg.Tree
Filter 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
FilterWithKey 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
FirstFcf.Alg.Morphism
Fix 
1 (Type/Class)Fcf.Alg.Morphism
2 (Data Constructor)Fcf.Alg.Morphism
Flatten 
1 (Type/Class)Fcf.Data.Bitree
2 (Type/Class)Fcf.Data.Tree
FMap 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
FoldlFcf.Data.List.Utils
FoldlMFcf.Control.Monad
FoldlMHelperFcf.Control.Monad
Foldr 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
FoldTree 
1 (Type/Class)Fcf.Data.Bitree
2 (Type/Class)Fcf.Data.Tree
ForestFcf.Data.Tree
ForMFcf.Control.Monad
FromList 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
4 (Type/Class)Fcf.Data.Text
5 (Type/Class)Fcf.Data.OldText
FromSymbolList 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
fromTypeFcf.Data.Reflect
FSumFcf.Alg.Tree
GetForestFcf.Data.Tree
GetForestsFcf.Data.Tree
GetRoot 
1 (Type/Class)Fcf.Data.Bitree
2 (Type/Class)Fcf.Data.Tree
GetRoots 
1 (Type/Class)Fcf.Data.Bitree
2 (Type/Class)Fcf.Data.Tree
Head 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
Head1Fcf.Data.Text.Internal
Head2Fcf.Data.Text.Internal
HeadAFcf.Data.Text.Internal
HistoFcf.Alg.Morphism
HistoAlgFcf.Alg.Morphism
HyloFcf.Alg.Morphism
Id 
1 (Type/Class)Fcf.Alg.Other
2 (Type/Class)Fcf.Control.Monad
Init 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
InordFcf.Alg.Sort
Insert 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
InsertWith 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
Intercalate 
1 (Type/Class)Fcf.Alg.Symbol
2 (Type/Class)Fcf.Data.Text
3 (Type/Class)Fcf.Data.OldText
Intersection 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
Intersperse 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
IsDigitFcf.Alg.Symbol
IsInfixOf 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
IsNewLineFcf.Alg.Symbol
IsPrefixOf 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
IsProperSubsetOfFcf.Data.Set
IsSpaceFcf.Alg.Symbol
IsSpaceDelimFcf.Alg.Symbol
IsSubsetOfFcf.Data.Set
IsSuffixOf 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
IsTabFcf.Alg.Symbol
Keys 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
KnownNatsFcf.Data.Reflect
KnownValFcf.Data.Reflect
LeafFcf.Data.Bitree
LenAlgFcf.Alg.List
Length 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
LevelsFcf.Data.Tree
LiftA2Fcf.Control.Monad
LiftA2_Fcf.Control.Monad
Lines 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
ListCmpFcf.Alg.Sort
ListCmpFndFcf.Alg.Sort
ListFFcf.Alg.List
ListOrdFcf.Alg.Sort
ListRunAlgFcf.Alg.List
ListToFixFcf.Alg.List
ListToParaFixFcf.Alg.List
Lookup 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
Lookup2Fcf.Data.Text.Internal
LookupAFcf.Data.Text.Internal
LookupTableFcf.Data.Text.Internal
Map 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
MapC 
1 (Type/Class)Fcf.Data.MapC
2 (Data Constructor)Fcf.Data.MapC
MapMFcf.Control.Monad
MapWithKeyFcf.Data.MapC
MaybeToListFcf.Data.List.Utils
Member 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
MToNFcf.Alg.List
MToNHelpFcf.Alg.List
NatFFcf.Alg.Tree
NatListOrdFcf.Alg.Sort
NatMap 
1 (Type/Class)Fcf.Data.NatMap
2 (Data Constructor)Fcf.Data.NatMap
NatMapWithKeyFcf.Data.NatMap
NatOrdFcf.Alg.Sort
NatToCharFcf.Data.Symbol, Fcf.Alg.Symbol
NatToFixFcf.Alg.Tree
natValsFcf.Data.Reflect
NilFFcf.Alg.List
Node 
1 (Data Constructor)Fcf.Data.Bitree
2 (Data Constructor)Fcf.Data.Tree
NodeFFcf.Alg.Tree
NotMember 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
Null 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
4 (Type/Class)Fcf.Data.Text
5 (Type/Class)Fcf.Data.OldText
NumIterFcf.Alg.List
PairMaybeToMaybePairFcf.Alg.Other
ParaFcf.Alg.Morphism
PartCmpFcf.Alg.Sort
PartHlpFcf.Alg.Sort
Partition 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
Plus1Fcf.Control.Monad
Plus2Fcf.Control.Monad
Plus2MFcf.Control.Monad
PowerSetFcf.Data.Set
ProdAlgFcf.Alg.List
PureXPlusYFcf.Control.Monad
QsortFcf.Alg.Sort
RAlgebraFcf.Alg.Morphism
RecNTFFcf.Alg.Tree
Replace 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
ReturnFcf.Control.Monad
Reverse 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
RunIncFcf.Alg.List
SecondFcf.Alg.Morphism
SequenceFcf.Control.Monad
Set 
1 (Type/Class)Fcf.Data.Set
2 (Data Constructor)Fcf.Data.Set
Singleton 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
4 (Type/Class)Fcf.Data.Text
5 (Type/Class)Fcf.Data.OldText
Size 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
4 (Type/Class)Fcf.Alg.Tree
SizesFcf.Alg.Tree
SlidingFcf.Alg.List
SlidingAlgFcf.Alg.List
Snoc 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
Split 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
SplitOn 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
StarTxFcf.Data.Tree
Star_Fcf.Control.Monad
Strip 
1 (Type/Class)Fcf.Alg.Morphism
2 (Type/Class)Fcf.Data.Text
3 (Type/Class)Fcf.Data.OldText
SubFLevelsFcf.Data.Tree
SuccFcf.Alg.Tree
SumFcf.Alg.List
SumAlgFcf.Alg.List
SumNodesAlgFcf.Alg.Tree
SwapFcf.Data.Tuple
SymbolListOrdFcf.Alg.Sort
SymbolOrdFcf.Alg.Symbol
SynthAlgFcf.Alg.Morphism
SynthesizeFcf.Alg.Morphism
Tail 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
Take 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
TakeEnd 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
TakeWhile 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
TakeWhileEnd 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
Text 
1 (Type/Class)Fcf.Data.Text
2 (Data Constructor)Fcf.Data.Text
3 (Type/Class)Fcf.Data.OldText
4 (Data Constructor)Fcf.Data.OldText
ToCharListFcf.Data.Symbol, Fcf.Alg.Symbol
ToList 
1 (Type/Class)Fcf.Alg.List
2 (Type/Class)Fcf.Data.MapC
3 (Type/Class)Fcf.Data.NatMap
4 (Type/Class)Fcf.Data.Set
5 (Type/Class)Fcf.Data.Text.Internal
6 (Type/Class)Fcf.Data.Text
7 (Type/Class)Fcf.Data.OldText
ToList1Fcf.Data.Text.Internal
ToList2Fcf.Data.Text.Internal
ToListAFcf.Data.Text.Internal
ToSymbol 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
ToSymbol2Fcf.Data.Text.Internal
ToSymbolList 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
TraverseFcf.Control.Monad
Tree 
1 (Type/Class)Fcf.Data.Bitree
2 (Type/Class)Fcf.Data.Tree
TreeFFcf.Alg.Tree
TreeToFixFcf.Alg.Tree
Uncons 
1 (Type/Class)Fcf.Data.Text.Internal
2 (Type/Class)Fcf.Data.Text
3 (Type/Class)Fcf.Data.OldText
UnconsSymbolFcf.Data.Symbol, Fcf.Alg.Symbol
UnfoldForestFcf.Data.Tree
UnfoldTreeFcf.Data.Tree
Union 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
Unlines 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
Unsnoc 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
Unwords 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
Words 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
XPlusYsFcf.Control.Monad
XsPlusYsMonadicFcf.Control.Monad
ZeroFcf.Alg.Tree