fcf-containers-0.7.0: Data structures and algorithms for first-class-families
Contents
Index
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
Algebra
Fcf.Alg.Morphism
All
Fcf.Data.Text
Ana
Fcf.Alg.Morphism
Ann
Fcf.Alg.Morphism
AnnConstr
Fcf.Alg.Morphism
AnnF
1 (Type/Class)
Fcf.Alg.Morphism
2 (Data Constructor)
Fcf.Alg.Morphism
Any
Fcf.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
Attr
Fcf.Alg.Morphism
BEmptyF
Fcf.Alg.Tree
BNodeF
Fcf.Alg.Tree
BTreeF
Fcf.Alg.Tree
BuildFibTreeCoA
Fcf.Alg.Tree
BuildNodeCoA
Fcf.Alg.Tree
Cata
Fcf.Alg.Morphism
Chars
Fcf.Data.Text.Internal
chars
Fcf.Data.Text.Internal
CoAlgebra
Fcf.Alg.Morphism
CompareLength
Fcf.Data.Text
Concat
Fcf.Data.Text
Cons
Fcf.Data.Text
ConsF
Fcf.Alg.List
Cons_f
Fcf.Control.Monad
CountNodesAlg
Fcf.Alg.Tree
CountSizeHelp
Fcf.Data.Bitree
DedupAlg
Fcf.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
Fcf.Data.Text
DropAround
Fcf.Data.Text
DropEnd
Fcf.Data.Text
DropWhile
Fcf.Data.Text
DropWhileEnd
Fcf.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
Equal
Fcf.Alg.List
Evens
Fcf.Alg.List
EvensAlg
Fcf.Alg.List
EvensStrip
Fcf.Alg.List
ExampleTree1
Fcf.Data.Bitree
ExampleTree2
Fcf.Data.Bitree
ExampleTree3
Fcf.Data.Bitree
ExampleTree4
Fcf.Data.Bitree
ExT1r
Fcf.Data.Tree
ExTr2
Fcf.Data.Tree
Fanout
Fcf.Alg.Morphism
FConcatMap
Fcf.Data.Text
FibAlgebra
Fcf.Alg.Tree
FibHisto
Fcf.Alg.Tree
FibHylo
Fcf.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
First
Fcf.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
Fcf.Data.Text
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
Forest
Fcf.Data.Tree
ForM
Fcf.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
FromSymbolList
Fcf.Data.Text
FSum
Fcf.Alg.Tree
GetForest
Fcf.Data.Tree
GetForests
Fcf.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
Fcf.Data.Text
Head1
Fcf.Data.Text.Internal
Head2
Fcf.Data.Text.Internal
HeadA
Fcf.Data.Text.Internal
Histo
Fcf.Alg.Morphism
HistoAlg
Fcf.Alg.Morphism
Hylo
Fcf.Alg.Morphism
Id
1 (Type/Class)
Fcf.Alg.Other
2 (Type/Class)
Fcf.Control.Monad
Init
Fcf.Data.Text
Inord
Fcf.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
Intersperse
Fcf.Data.Text
IsDigit
Fcf.Alg.Symbol
IsInfixOf
Fcf.Data.Text
IsNewLine
Fcf.Alg.Symbol
IsPrefixOf
Fcf.Data.Text
IsProperSubsetOf
Fcf.Data.Set
IsSpace
Fcf.Alg.Symbol
IsSpaceDelim
Fcf.Alg.Symbol
IsSubsetOf
Fcf.Data.Set
IsSuffixOf
Fcf.Data.Text
IsTab
Fcf.Alg.Symbol
Keys
1 (Type/Class)
Fcf.Data.MapC
2 (Type/Class)
Fcf.Data.NatMap
Leaf
Fcf.Data.Bitree
LenAlg
Fcf.Alg.List
Length
Fcf.Data.Text
Levels
Fcf.Data.Tree
LiftA2
Fcf.Control.Monad
LiftA2_
Fcf.Control.Monad
Lines
Fcf.Data.Text
ListCmp
Fcf.Alg.Sort
ListCmpFnd
Fcf.Alg.Sort
ListF
Fcf.Alg.List
ListOrd
Fcf.Alg.Sort
ListRunAlg
Fcf.Alg.List
ListToFix
Fcf.Alg.List
ListToParaFix
Fcf.Alg.List
Lookup
1 (Type/Class)
Fcf.Data.MapC
2 (Type/Class)
Fcf.Data.NatMap
Lookup2
Fcf.Data.Text.Internal
LookupA
Fcf.Data.Text.Internal
LookupTable
Fcf.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
MapM
Fcf.Control.Monad
MapWithKey
Fcf.Data.MapC
Member
1 (Type/Class)
Fcf.Data.MapC
2 (Type/Class)
Fcf.Data.NatMap
3 (Type/Class)
Fcf.Data.Set
MToN
Fcf.Alg.List
MToNHelp
Fcf.Alg.List
NatF
Fcf.Alg.Tree
NatListOrd
Fcf.Alg.Sort
NatMap
1 (Type/Class)
Fcf.Data.NatMap
2 (Data Constructor)
Fcf.Data.NatMap
NatMapWithKey
Fcf.Data.NatMap
NatOrd
Fcf.Alg.Sort
NatToFix
Fcf.Alg.Tree
NilF
Fcf.Alg.List
Node
1 (Data Constructor)
Fcf.Data.Bitree
2 (Data Constructor)
Fcf.Data.Tree
NodeF
Fcf.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
NumIter
Fcf.Alg.List
PairMaybeToMaybePair
Fcf.Alg.Other
Para
Fcf.Alg.Morphism
PartCmp
Fcf.Alg.Sort
PartHlp
Fcf.Alg.Sort
Partition
1 (Type/Class)
Fcf.Data.MapC
2 (Type/Class)
Fcf.Data.NatMap
Plus1
Fcf.Control.Monad
Plus2
Fcf.Control.Monad
Plus2M
Fcf.Control.Monad
PowerSet
Fcf.Data.Set
ProdAlg
Fcf.Alg.List
PureXPlusY
Fcf.Control.Monad
Qsort
Fcf.Alg.Sort
RAlgebra
Fcf.Alg.Morphism
RecNTF
Fcf.Alg.Tree
Replace
Fcf.Data.Text
Return
Fcf.Control.Monad
Reverse
Fcf.Data.Text
RunInc
Fcf.Alg.List
Second
Fcf.Alg.Morphism
Sequence
Fcf.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
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
Sizes
Fcf.Alg.Tree
Sliding
Fcf.Alg.List
SlidingAlg
Fcf.Alg.List
Snoc
Fcf.Data.Text
Split
Fcf.Data.Text
SplitOn
Fcf.Data.Text
StarTx
Fcf.Data.Tree
Star_
Fcf.Control.Monad
Strip
1 (Type/Class)
Fcf.Alg.Morphism
2 (Type/Class)
Fcf.Data.Text
SubFLevels
Fcf.Data.Tree
Succ
Fcf.Alg.Tree
Sum
Fcf.Alg.List
SumAlg
Fcf.Alg.List
SumNodesAlg
Fcf.Alg.Tree
Symbol
Fcf.Alg.Symbol
SymbolListOrd
Fcf.Alg.Sort
SymbolOrd
Fcf.Alg.Symbol
SynthAlg
Fcf.Alg.Morphism
Synthesize
Fcf.Alg.Morphism
Tail
Fcf.Data.Text
Take
Fcf.Data.Text
TakeEnd
Fcf.Data.Text
TakeWhile
Fcf.Data.Text
TakeWhileEnd
Fcf.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.Internal
6 (Type/Class)
Fcf.Data.Text
ToList1
Fcf.Data.Text.Internal
ToList2
Fcf.Data.Text.Internal
ToListA
Fcf.Data.Text.Internal
ToSymbol
Fcf.Data.Text
ToSymbol2
Fcf.Data.Text.Internal
ToSymbolList
Fcf.Data.Text
Traverse
Fcf.Control.Monad
Tree
1 (Type/Class)
Fcf.Data.Bitree
2 (Type/Class)
Fcf.Data.Tree
TreeF
Fcf.Alg.Tree
TreeToFix
Fcf.Alg.Tree
Uncons
1 (Type/Class)
Fcf.Data.Text.Internal
2 (Type/Class)
Fcf.Data.Text
UnfoldForest
Fcf.Data.Tree
UnfoldTree
Fcf.Data.Tree
Union
1 (Type/Class)
Fcf.Data.MapC
2 (Type/Class)
Fcf.Data.NatMap
3 (Type/Class)
Fcf.Data.Set
Unlines
Fcf.Data.Text
Unsnoc
Fcf.Data.Text
Unwords
Fcf.Data.Text
Words
Fcf.Data.Text
XPlusYs
Fcf.Control.Monad
XsPlusYsMonadic
Fcf.Control.Monad
Zero
Fcf.Alg.Tree