Contents
Index
fcf-containers-0.1.0: Data structures and algorithms for first-class-families
Index
Adjust
Fcf.Data.MapC
AdjustHelp
Fcf.Data.MapC
Algebra
Fcf.Alg.Morphism
Ana
Fcf.Alg.Morphism
Assocs
Fcf.Data.MapC
BEmptyF
Fcf.Alg.Tree
BNodeF
Fcf.Alg.Tree
BTreeF
Fcf.Alg.Tree
BuildFibTreeCoA
Fcf.Alg.Tree
BuildNodeCoA
Fcf.Alg.Tree
Cata
Fcf.Alg.Morphism
CoAlgebra
Fcf.Alg.Morphism
Concat
Fcf.Alg.List
ConcatMap
Fcf.Alg.List
ConsF
Fcf.Alg.List
CountNodesAlg
Fcf.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
Disjoint
Fcf.Data.MapC
Elem
Fcf.Alg.List
Elems
Fcf.Data.MapC
Empty
1 (Type/Class)
Fcf.Data.MapC
2 (Type/Class)
Fcf.Data.Set
Fib
Fcf.Alg.Tree
Filter
Fcf.Data.MapC
FilterWithKey
Fcf.Data.MapC
First
Fcf.Alg.Morphism
Fix
1 (Type/Class)
Fcf.Alg.Morphism
2 (Data Constructor)
Fcf.Alg.Morphism
Flatten
Fcf.Data.Tree
Foldr
Fcf.Data.MapC
FoldTree
Fcf.Data.Tree
Forest
Fcf.Data.Tree
FromList
1 (Type/Class)
Fcf.Data.MapC
2 (Type/Class)
Fcf.Data.Set
GetForest
Fcf.Data.Tree
GetForests
Fcf.Data.Tree
GetRoot
Fcf.Data.Tree
GetRoots
Fcf.Data.Tree
Hylo
Fcf.Alg.Morphism
Inord
Fcf.Alg.Tree
Insert
1 (Type/Class)
Fcf.Data.MapC
2 (Type/Class)
Fcf.Data.Set
InsertWith
Fcf.Data.MapC
InsWithHelp
Fcf.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
Keys
Fcf.Data.MapC
LenAlg
Fcf.Alg.List
Levels
Fcf.Data.Tree
ListF
Fcf.Alg.List
ListToFix
Fcf.Alg.List
Lookup
Fcf.Data.MapC
Map
Fcf.Data.MapC
MapC
1 (Type/Class)
Fcf.Data.MapC
2 (Data Constructor)
Fcf.Data.MapC
MapWithKey
Fcf.Data.MapC
Member
1 (Type/Class)
Fcf.Data.MapC
2 (Type/Class)
Fcf.Data.Set
MWKhelp
Fcf.Data.MapC
NilF
Fcf.Alg.List
Node
Fcf.Data.Tree
NodeF
Fcf.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
PartCmp
Fcf.Alg.Tree
PartHelp
Fcf.Alg.List
PartHlp
Fcf.Alg.Tree
Partition
1 (Type/Class)
Fcf.Alg.List
2 (Type/Class)
Fcf.Data.MapC
PartitionHlp
Fcf.Data.MapC
ProdAlg
Fcf.Alg.List
Qsort
Fcf.Alg.Tree
Second
Fcf.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
SubFLevels
Fcf.Data.Tree
Sum
Fcf.Alg.List
SumAlg
Fcf.Alg.List
SumNodesAlg
Fcf.Alg.Tree
SymbolCompareDec
Fcf.Alg.Tree
SymbolCompareInc
Fcf.Alg.Tree
ToList
Fcf.Data.MapC
Tree
Fcf.Data.Tree
TreeF
Fcf.Alg.Tree
TreeToFix
Fcf.Alg.Tree
UComb
1 (Type/Class)
Fcf.Data.MapC
2 (Type/Class)
Fcf.Data.Set
UnfoldForest
Fcf.Data.Tree
Unfoldr
Fcf.Alg.List
UnfoldrCase
Fcf.Alg.List
UnfoldTree
Fcf.Data.Tree
Union
1 (Type/Class)
Fcf.Data.MapC
2 (Type/Class)
Fcf.Data.Set