language-sygus-0.1.1.0: A parser and printer for the SyGuS 2.0 language.

Safe Haskell	None
Language	Haskell2010

Sygus.LexSygus

Documentation

data Token Source #

Constructors

TLit Lit
TUnderscore
TOpenBracket
TCloseBracket
TColon
TSymbol String

Instances

Read Token Source #
Instance details Defined in Sygus.LexSygus Methods readsPrec :: Int -> ReadS Token # readList :: ReadS [Token] # readPrec :: ReadPrec Token # readListPrec :: ReadPrec [Token] #
Show Token Source #
Instance details Defined in Sygus.LexSygus Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #

data Lit Source #

Constructors

LitNum Integer
LitDec String
LitBool Bool
Hexidecimal String
Binary String
LitStr String

Instances

Eq Lit Source #
Instance details Defined in Sygus.Syntax Methods (==) :: Lit -> Lit -> Bool # (/=) :: Lit -> Lit -> Bool #
Read Lit Source #
Instance details Defined in Sygus.Syntax Methods readsPrec :: Int -> ReadS Lit # readList :: ReadS [Lit] # readPrec :: ReadPrec Lit # readListPrec :: ReadPrec [Lit] #
Show Lit Source #
Instance details Defined in Sygus.Syntax Methods showsPrec :: Int -> Lit -> ShowS # show :: Lit -> String # showList :: [Lit] -> ShowS #

lexSygus :: String -> [Token] Source #