s2Terms | Language.PiSigma.Parser |
Scope | |
1 (Type/Class) | Language.PiSigma.Syntax |
2 (Data Constructor) | Language.PiSigma.Syntax |
semi | |
1 (Function) | Language.PiSigma.Pretty |
2 (Function) | Language.PiSigma.Lexer |
semiBraces | Language.PiSigma.Pretty |
semiSep | Language.PiSigma.Lexer |
semiSep1 | Language.PiSigma.Lexer |
sep | Language.PiSigma.Pretty |
Seq | |
1 (Data Constructor) | Language.PiSigma.Pretty |
2 (Type/Class) | Language.PiSigma.Pretty |
seqEmpty | Language.PiSigma.Pretty |
setE | Language.PiSigma.Syntax |
Sigma | Language.PiSigma.Syntax |
sigmas | Language.PiSigma.Syntax |
SimpleChar | Language.PiSigma.Pretty |
SimpleEmpty | Language.PiSigma.Pretty |
SimpleLine | Language.PiSigma.Pretty |
SimplePretty | Language.PiSigma.Pretty |
SimpleSGR | Language.PiSigma.Pretty |
SimpleText | Language.PiSigma.Pretty |
singleton | Language.PiSigma.Pretty |
softBreak | Language.PiSigma.Pretty |
softLine | Language.PiSigma.Pretty |
space | Language.PiSigma.Pretty |
spaces | Language.PiSigma.Pretty |
span | Language.PiSigma.Util.String.Parser |
sPhrase | Language.PiSigma.Parser |
Split | Language.PiSigma.Syntax |
split | Language.PiSigma.Syntax |
splitAt | Language.PiSigma.Pretty |
sProg | Language.PiSigma.Parser |
squares | Language.PiSigma.Lexer |
stBackground | Language.PiSigma.Pretty |
sTerm | Language.PiSigma.Parser |
stForeground | Language.PiSigma.Pretty |
stIntensity | Language.PiSigma.Pretty |
String | |
1 (Type/Class) | Language.PiSigma.Util.String.Parser |
2 (Type/Class) | Language.PiSigma.Util.String.Internal |
stringLiteral | Language.PiSigma.Lexer |
stUnderlining | Language.PiSigma.Pretty |
subst | Language.PiSigma.Evaluate |
symbol | Language.PiSigma.Lexer |