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 |