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

Index

AdjustFcf.Data.MapC
AdjustHelpFcf.Data.MapC
AlgebraFcf.Alg.Morphism
AnaFcf.Alg.Morphism
AssocsFcf.Data.MapC
BEmptyFFcf.Alg.Tree
BNodeFFcf.Alg.Tree
BTreeFFcf.Alg.Tree
BuildFibTreeCoAFcf.Alg.Tree
BuildNodeCoAFcf.Alg.Tree
CataFcf.Alg.Morphism
CoAlgebraFcf.Alg.Morphism
ConcatFcf.Alg.List
ConcatMapFcf.Alg.List
ConsFFcf.Alg.List
CountNodesAlgFcf.Alg.Tree
Delete 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
Difference 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
DiffNotMem 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
DisjointFcf.Data.MapC
ElemFcf.Alg.List
ElemsFcf.Data.MapC
Empty 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
FibFcf.Alg.Tree
FilterFcf.Data.MapC
FilterWithKeyFcf.Data.MapC
FirstFcf.Alg.Morphism
Fix 
1 (Type/Class)Fcf.Alg.Morphism
2 (Data Constructor)Fcf.Alg.Morphism
FlattenFcf.Data.Tree
FoldrFcf.Data.MapC
FoldTreeFcf.Data.Tree
ForestFcf.Data.Tree
FromList 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
GetForestFcf.Data.Tree
GetForestsFcf.Data.Tree
GetRootFcf.Data.Tree
GetRootsFcf.Data.Tree
HyloFcf.Alg.Morphism
InordFcf.Alg.Tree
Insert 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
InsertWithFcf.Data.MapC
InsWithHelpFcf.Data.MapC
InterMem 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
Intersection 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
KeysFcf.Data.MapC
LenAlgFcf.Alg.List
LevelsFcf.Data.Tree
ListFFcf.Alg.List
ListToFixFcf.Alg.List
LookupFcf.Data.MapC
MapFcf.Data.MapC
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.Set
MWKhelpFcf.Data.MapC
NilFFcf.Alg.List
NodeFcf.Data.Tree
NodeFFcf.Alg.Tree
NotMember 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
Null 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
PartCmpFcf.Alg.Tree
PartHelpFcf.Alg.List
PartHlpFcf.Alg.Tree
Partition 
1 (Type/Class)Fcf.Alg.List
2 (Type/Class)Fcf.Data.MapC
PartitionHlpFcf.Data.MapC
ProdAlgFcf.Alg.List
QsortFcf.Alg.Tree
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.Set
Size 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
3 (Type/Class)Fcf.Alg.Tree
SubFLevelsFcf.Data.Tree
SumFcf.Alg.List
SumAlgFcf.Alg.List
SumNodesAlgFcf.Alg.Tree
SymbolCompareDecFcf.Alg.Tree
SymbolCompareIncFcf.Alg.Tree
ToListFcf.Data.MapC
TreeFcf.Data.Tree
TreeFFcf.Alg.Tree
TreeToFixFcf.Alg.Tree
UComb 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set
UnfoldForestFcf.Data.Tree
UnfoldrFcf.Alg.List
UnfoldrCaseFcf.Alg.List
UnfoldTreeFcf.Data.Tree
Union 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.Set