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

Safe HaskellNone
LanguageHaskell2010

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 #