Sygus.LexSygus

Documentation

data Token

Constructors

TLit Lit

TUnderscore

TOpenBracket

TCloseBracket

TColon

TSymbol String

Instances

Read Token

Defined in Sygus.LexSygus

Methods

readsPrec :: Int -> ReadS Token

readList :: ReadS [Token]

readPrec :: ReadPrec Token

readListPrec :: ReadPrec [Token]

Show Token

Defined in Sygus.LexSygus

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

data Lit

Constructors

LitNum Integer

LitDec Integer Integer

LitBool Bool

Hexidecimal String

Binary String

LitStr String

Instances

Generic Lit

Defined in Sygus.Syntax

Associated Types

type Rep Lit :: Type -> Type

Methods

from :: Lit -> Rep Lit x

to :: Rep Lit x -> Lit

Read Lit

Defined in Sygus.Syntax

Methods

readsPrec :: Int -> ReadS Lit

readList :: ReadS [Lit]

readPrec :: ReadPrec Lit

readListPrec :: ReadPrec [Lit]

Show Lit

Defined in Sygus.Syntax

Methods

showsPrec :: Int -> Lit -> ShowS

show :: Lit -> String

showList :: [Lit] -> ShowS

Eq Lit

Defined in Sygus.Syntax

Methods

(==) :: Lit -> Lit -> Bool

(/=) :: Lit -> Lit -> Bool

Hashable Lit

Defined in Sygus.Syntax

Methods

hashWithSalt :: Int -> Lit -> Int

hash :: Lit -> Int

type Rep Lit

Defined in Sygus.Syntax

type Rep Lit = D1 ('MetaData "Lit" "Sygus.Syntax" "language-sygus-0.1.1.3-8ANx6Jkwy2873RS2baX0uE" 'False) ((C1 ('MetaCons "LitNum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: (C1 ('MetaCons "LitDec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "LitBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) :+: (C1 ('MetaCons "Hexidecimal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "Binary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "LitStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

lexSygus :: String -> [Token]