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

Index

/=Fcf.Alg.Nat
< 
1 (Type/Class)Fcf.Data.Char
2 (Type/Class)Fcf.Alg.Symbol
<*>Fcf.Control.Monad
<= 
1 (Type/Class)Fcf.Data.Char
2 (Type/Class)Fcf.Alg.Symbol
== 
1 (Type/Class)Fcf.Alg.Nat
2 (Type/Class)Fcf.Data.Char
3 (Type/Class)Fcf.Alg.Symbol
> 
1 (Type/Class)Fcf.Data.Char
2 (Type/Class)Fcf.Alg.Symbol
>= 
1 (Type/Class)Fcf.Data.Char
2 (Type/Class)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
3 (Type/Class)Fcf.Data.NewText
AllSymbolFcf.Data.NewText
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
3 (Type/Class)Fcf.Data.NewText
AnySymbolFcf.Data.NewText
App2Fcf.Control.Monad
App3Fcf.Control.Monad
App4Fcf.Control.Monad
App5Fcf.Control.Monad
Append 
1 (Type/Class)Fcf.Alg.Symbol
2 (Type/Class)Fcf.Data.Text
3 (Type/Class)Fcf.Data.OldText
4 (Type/Class)Fcf.Data.NewText
AppendSymbolFcf.Data.Symbol, Fcf.Alg.Symbol
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
CharOrdFcf.Data.Char
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
3 (Type/Class)Fcf.Data.NewText
Concat 
1 (Type/Class)Fcf.Data.Symbol, Fcf.Alg.Symbol
2 (Type/Class)Fcf.Data.Text
3 (Type/Class)Fcf.Data.OldText
4 (Type/Class)Fcf.Data.NewText
ConcatCharsFcf.Data.Symbol, Fcf.Alg.Symbol
ConcatMapFcf.Data.NewText
ConcatMapCSFcf.Data.NewText
ConcatMapSymbolFcf.Data.NewText
Cons 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
ConsCharFcf.Data.Symbol, Fcf.Alg.Symbol
ConsFFcf.Alg.List
ConsHelperFcf.Control.Monad
ConsSymbolFcf.Data.NewText
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
3 (Type/Class)Fcf.Data.NewText
DropAround 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
DropAroundSymbolFcf.Data.NewText
DropEnd 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
DropWhile 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
DropWhileEnd 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
DropWhileEndSymbolFcf.Data.NewText
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
6 (Type/Class)Fcf.Data.NewText
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
3 (Type/Class)Fcf.Data.NewText
FMapSymbolFcf.Data.NewText
FMapTFcf.Data.NewText
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
6 (Type/Class)Fcf.Data.NewText
FromSymbolFcf.Data.NewText
FromSymbolList 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
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
HandlePairFcf.Data.Symbol, Fcf.Alg.Symbol
Head 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
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
3 (Type/Class)Fcf.Data.NewText
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
4 (Type/Class)Fcf.Data.NewText
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
3 (Type/Class)Fcf.Data.NewText
IntersperseSymbolFcf.Data.NewText
IsDigit 
1 (Type/Class)Fcf.Data.Char
2 (Type/Class)Fcf.Alg.Symbol
IsInfixOf 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
IsNewLine 
1 (Type/Class)Fcf.Data.Char
2 (Type/Class)Fcf.Alg.Symbol
IsPrefixOf 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
IsProperSubsetOfFcf.Data.Set
IsSpace 
1 (Type/Class)Fcf.Data.Char
2 (Type/Class)Fcf.Alg.Symbol
IsSpaceDelim 
1 (Type/Class)Fcf.Data.Char
2 (Type/Class)Fcf.Alg.Symbol
IsSubsetOfFcf.Data.Set
IsSuffixOf 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
IsTab 
1 (Type/Class)Fcf.Data.Char
2 (Type/Class)Fcf.Alg.Symbol
Keys 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
KnownNatsFcf.Data.Reflect
KnownValFcf.Data.Reflect
LastFcf.Data.NewText
LeafFcf.Data.Bitree
LenAlgFcf.Alg.List
Length 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
LevelsFcf.Data.Tree
LiftA2Fcf.Control.Monad
LiftA3Fcf.Control.Monad
LiftA4Fcf.Control.Monad
LiftA5Fcf.Control.Monad
Lines 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
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
6 (Type/Class)Fcf.Data.NewText
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
3 (Type/Class)Fcf.Data.NewText
ReturnFcf.Control.Monad
Reverse 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
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
6 (Type/Class)Fcf.Data.NewText
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
3 (Type/Class)Fcf.Data.NewText
SnocSymbolFcf.Data.NewText
Split 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
SplitOn 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
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
4 (Type/Class)Fcf.Data.NewText
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
3 (Type/Class)Fcf.Data.NewText
Take 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
TakeEnd 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
TakeWhile 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
TakeWhileEnd 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
TakeWhileEndSymbolFcf.Data.NewText
TakeWhileSymbolFcf.Data.NewText
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
5 (Type/Class)Fcf.Data.NewText
6 (Data Constructor)Fcf.Data.NewText
ToCharList 
1 (Type/Class)Fcf.Data.Symbol, Fcf.Alg.Symbol
2 (Type/Class)Fcf.Data.NewText
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
8 (Type/Class)Fcf.Data.NewText
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
3 (Type/Class)Fcf.Data.NewText
TraverseFcf.Control.Monad
Tree 
1 (Type/Class)Fcf.Data.Bitree
2 (Type/Class)Fcf.Data.Tree
TreeFFcf.Alg.Tree
TreeToFixFcf.Alg.Tree
Tuple2Fcf.Data.Tuple
Tuple3Fcf.Data.Tuple
Tuple4Fcf.Data.Tuple
Tuple5Fcf.Data.Tuple
Uncons 
1 (Type/Class)Fcf.Data.Text.Internal
2 (Type/Class)Fcf.Data.Text
3 (Type/Class)Fcf.Data.OldText
4 (Type/Class)Fcf.Data.NewText
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
3 (Type/Class)Fcf.Data.NewText
UnpackFcf.Data.NewText
Unsnoc 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
Unwords 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
Words 
1 (Type/Class)Fcf.Data.Text
2 (Type/Class)Fcf.Data.OldText
3 (Type/Class)Fcf.Data.NewText
XPlusYsFcf.Control.Monad
XsPlusYsMonadicFcf.Control.Monad
ZeroFcf.Alg.Tree