filename | Language.PiSigma.Syntax |
fill | Language.PiSigma.Pretty |
fillBreak | Language.PiSigma.Pretty |
fillCat | Language.PiSigma.Pretty |
fillSep | Language.PiSigma.Pretty |
flatten | Language.PiSigma.Pretty |
float | Language.PiSigma.Lexer |
Fold | Language.PiSigma.Syntax |
fold | Language.PiSigma.Pretty |
Force | Language.PiSigma.Syntax |
force | Language.PiSigma.Evaluate |
FormatState | |
1 (Data Constructor) | Language.PiSigma.Pretty |
2 (Type/Class) | Language.PiSigma.Pretty |
fromPretty | Language.PiSigma.Pretty |
fromString | |
1 (Function) | Language.PiSigma.Util.String.Parser |
2 (Function) | Language.PiSigma.Util.String.Internal |