F | SMType |
FastUnsafeListable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
filter | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
3 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
4 (Function) | Containers.PrismMap |
Filterable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
filterByFormat | SemigroupPresentation.Generator, SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
filterC | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
filterKeys | Containers.PrismMap |
filterStateName | TmsType |
filterWithKey | Containers.Map |
finalDState | DebuggingTMTypes |
finalState | TuringMachine.State, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
findIndex | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
findMax | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
findMin | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
findWithDefault | Containers.Map |
first | |
1 (Function) | Containers.Pair |
2 (Function) | CFG2TM |
first2 | CFG2TM |
firstPhase | TM2SymTM |
fold | Containers.Set |
foldl | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
foldl' | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
foldlWithKey | Containers.Map |
foldlWithKey' | Containers.Map |
foldMapWithKey | Containers.Map |
foldr | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
foldr' | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
foldrWithKey | Containers.Map |
foldrWithKey' | Containers.Map |
follow | CFG2TM |
for' | |
1 (Function) | SP2GP.Relations |
2 (Function) | TM2SP.Relations |
forAll | SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
format | Format |
format2str | Format |
forSs | TuringMachine.Constructors |
from | |
1 (Function) | SP2GP.Generators |
2 (Function) | TM2SP.Generators |
fromAscList | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
fromAscListWith | Containers.Map |
fromAscListWithKey | Containers.Map |
fromDescList | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
fromDescListWith | Containers.Map |
fromDescListWithKey | Containers.Map |
fromDistinctAscList | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
fromDistinctDescList | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
fromList | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
3 (Function) | Containers.Pair |
4 (Function) | Containers.Quadruple |
5 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
6 (Function) | Containers.PrismMap |
7 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
fromList' | Containers.IsoMap.Iso, Containers.IsoMap |
fromListWith | Containers.Map |
fromListWithKey | Containers.Map |
fromList_ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
fromSet | Containers.Map |
fromState | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
fromString | TuringMachine.Interpreter.Tape, TuringMachine.Interpreter |
fromSymbol | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
fSFT | CFG2TM |
fSST | CFG2TM |
fst3 | TmsType |