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

Index

<Fcf.Alg.Symbol
<=Fcf.Alg.Symbol
==Fcf.Alg.Symbol
>Fcf.Alg.Symbol
>=Fcf.Alg.Symbol
Adjust 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
AlgebraFcf.Alg.Morphism
AllFcf.Data.Text
AnaFcf.Alg.Morphism
AnnFcf.Alg.Morphism
AnnConstrFcf.Alg.Morphism
AnnF 
1 (Type/Class)Fcf.Alg.Morphism
2 (Data Constructor)Fcf.Alg.Morphism
AnyFcf.Data.Text
Append 
1 (Type/Class)Fcf.Alg.Symbol
2 (Type/Class)Fcf.Data.Text
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
CoAlgebraFcf.Alg.Morphism
CompareLengthFcf.Data.Text
ConcatFcf.Data.Text
ConsFcf.Data.Text
ConsFFcf.Alg.List
CountNodesAlgFcf.Alg.Tree
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
DropFcf.Data.Text
DropAroundFcf.Data.Text
DropEndFcf.Data.Text
DropWhileFcf.Data.Text
DropWhileEndFcf.Data.Text
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
EqualFcf.Alg.List
EvensFcf.Alg.List
EvensAlgFcf.Alg.List
EvensStripFcf.Alg.List
FanoutFcf.Alg.Morphism
FConcatMapFcf.Data.Text
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
FlattenFcf.Data.Tree
FMapFcf.Data.Text
Foldr 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
FoldTreeFcf.Data.Tree
ForestFcf.Data.Tree
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
FSumFcf.Alg.Tree
GetForestFcf.Data.Tree
GetForestsFcf.Data.Tree
GetRootFcf.Data.Tree
GetRootsFcf.Data.Tree
HeadFcf.Data.Text
HistoFcf.Alg.Morphism
HistoAlgFcf.Alg.Morphism
HyloFcf.Alg.Morphism
InitFcf.Data.Text
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
Intersection 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
IntersperseFcf.Data.Text
IsDigitFcf.Alg.Symbol
IsInfixOfFcf.Data.Text
IsNewLineFcf.Alg.Symbol
IsPrefixOfFcf.Data.Text
IsProperSubsetOfFcf.Data.Set
IsSpaceFcf.Alg.Symbol
IsSpaceDelimFcf.Alg.Symbol
IsSubsetOfFcf.Data.Set
IsSuffixOfFcf.Data.Text
IsTabFcf.Alg.Symbol
Keys 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
LenAlgFcf.Alg.List
LengthFcf.Data.Text
LevelsFcf.Data.Tree
LinesFcf.Data.Text
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
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
MapWithKeyFcf.Data.MapC
Member 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
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
NatToFixFcf.Alg.Tree
NilFFcf.Alg.List
NodeFcf.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
NumIterFcf.Alg.List
ParaFcf.Alg.Morphism
PartCmpFcf.Alg.Sort
PartHlpFcf.Alg.Sort
Partition 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
PowerSetFcf.Data.Set
ProdAlgFcf.Alg.List
QsortFcf.Alg.Sort
RAlgebraFcf.Alg.Morphism
RecNTFFcf.Alg.Tree
ReplaceFcf.Data.Text
ReverseFcf.Data.Text
RunIncFcf.Alg.List
SecondFcf.Alg.Morphism
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
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
SnocFcf.Data.Text
SplitFcf.Data.Text
SplitOnFcf.Data.Text
Strip 
1 (Type/Class)Fcf.Alg.Morphism
2 (Type/Class)Fcf.Data.Text
SubFLevelsFcf.Data.Tree
SuccFcf.Alg.Tree
SumFcf.Alg.List
SumAlgFcf.Alg.List
SumNodesAlgFcf.Alg.Tree
SymbolFcf.Alg.Symbol
SymbolListOrdFcf.Alg.Sort
SymbolOrdFcf.Alg.Symbol
SynthAlgFcf.Alg.Morphism
SynthesizeFcf.Alg.Morphism
TailFcf.Data.Text
TakeFcf.Data.Text
TakeEndFcf.Data.Text
TakeWhileFcf.Data.Text
TakeWhileEndFcf.Data.Text
Text 
1 (Type/Class)Fcf.Data.Text
2 (Data Constructor)Fcf.Data.Text
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
ToSymbolFcf.Data.Text
TreeFcf.Data.Tree
TreeFFcf.Alg.Tree
TreeToFixFcf.Alg.Tree
UnconsFcf.Data.Text
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
UnlinesFcf.Data.Text
UnsnocFcf.Data.Text
UnwordsFcf.Data.Text
WordsFcf.Data.Text
ZeroFcf.Alg.Tree