/= | 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 | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
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 | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
Append | |
1 (Type/Class) | Fcf.Alg.Symbol |
2 (Type/Class) | Fcf.Data.Text |
3 (Type/Class) | Fcf.Data.OldText |
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 |
CharToNat | Fcf.Data.Symbol, Fcf.Alg.Symbol |
CharToSymbol | Fcf.Data.Symbol, Fcf.Alg.Symbol |
CmpChar | Fcf.Data.Symbol, Fcf.Alg.Symbol |
CmpSymbol | Fcf.Data.Symbol, Fcf.Alg.Symbol |
CoAlgebra | Fcf.Alg.Morphism |
CompareLength | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
Concat | |
1 (Type/Class) | Fcf.Data.Symbol, Fcf.Alg.Symbol |
2 (Type/Class) | Fcf.Data.Text |
3 (Type/Class) | Fcf.Data.OldText |
ConcatChars | Fcf.Data.Symbol, Fcf.Alg.Symbol |
Cons | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
ConsChar | Fcf.Data.Symbol, Fcf.Alg.Symbol |
ConsF | Fcf.Alg.List |
ConsHelper | 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 | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
DropAround | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
DropEnd | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
DropWhile | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
DropWhileEnd | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
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 |
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 | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
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 | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
Foldl | Fcf.Data.List.Utils |
FoldlM | Fcf.Control.Monad |
FoldlMHelper | Fcf.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 |
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 |
5 (Type/Class) | Fcf.Data.OldText |
FromSymbolList | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
fromType | Fcf.Data.Reflect |
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 | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
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 | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
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 |
3 (Type/Class) | Fcf.Data.OldText |
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 |
IsDigit | Fcf.Alg.Symbol |
IsInfixOf | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
IsNewLine | Fcf.Alg.Symbol |
IsPrefixOf | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
IsProperSubsetOf | Fcf.Data.Set |
IsSpace | Fcf.Alg.Symbol |
IsSpaceDelim | Fcf.Alg.Symbol |
IsSubsetOf | Fcf.Data.Set |
IsSuffixOf | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
IsTab | Fcf.Alg.Symbol |
Keys | |
1 (Type/Class) | Fcf.Data.MapC |
2 (Type/Class) | Fcf.Data.NatMap |
KnownNats | Fcf.Data.Reflect |
KnownVal | Fcf.Data.Reflect |
Leaf | Fcf.Data.Bitree |
LenAlg | Fcf.Alg.List |
Length | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
Levels | Fcf.Data.Tree |
LiftA2 | Fcf.Control.Monad |
LiftA2_ | Fcf.Control.Monad |
Lines | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
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 |
MaybeToList | Fcf.Data.List.Utils |
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 |
NatToChar | Fcf.Data.Symbol, Fcf.Alg.Symbol |
NatToFix | Fcf.Alg.Tree |
natVals | Fcf.Data.Reflect |
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 |
5 (Type/Class) | Fcf.Data.OldText |
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 | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
Return | Fcf.Control.Monad |
Reverse | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
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 |
5 (Type/Class) | Fcf.Data.OldText |
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 | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
Split | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
SplitOn | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
StarTx | Fcf.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 |
SubFLevels | Fcf.Data.Tree |
Succ | Fcf.Alg.Tree |
Sum | Fcf.Alg.List |
SumAlg | Fcf.Alg.List |
SumNodesAlg | Fcf.Alg.Tree |
Swap | Fcf.Data.Tuple |
SymbolListOrd | Fcf.Alg.Sort |
SymbolOrd | Fcf.Alg.Symbol |
SynthAlg | Fcf.Alg.Morphism |
Synthesize | Fcf.Alg.Morphism |
Tail | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
Take | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
TakeEnd | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
TakeWhile | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
TakeWhileEnd | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
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 |
ToCharList | Fcf.Data.Symbol, Fcf.Alg.Symbol |
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 |
ToList1 | Fcf.Data.Text.Internal |
ToList2 | Fcf.Data.Text.Internal |
ToListA | Fcf.Data.Text.Internal |
ToSymbol | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
ToSymbol2 | Fcf.Data.Text.Internal |
ToSymbolList | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
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 |
3 (Type/Class) | Fcf.Data.OldText |
UnconsSymbol | Fcf.Data.Symbol, Fcf.Alg.Symbol |
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 | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
Unsnoc | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
Unwords | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
Words | |
1 (Type/Class) | Fcf.Data.Text |
2 (Type/Class) | Fcf.Data.OldText |
XPlusYs | Fcf.Control.Monad |
XsPlusYsMonadic | Fcf.Control.Monad |
Zero | Fcf.Alg.Tree |