Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Sygus.LexSygus
Documentation
Constructors
TLit Lit | |
TUnderscore | |
TOpenBracket | |
TCloseBracket | |
TColon | |
TSymbol String |
Constructors
LitNum Integer | |
LitDec Integer Integer | |
LitBool Bool | |
Hexidecimal String | |
Binary String | |
LitStr String |