Safe Haskell	Safe-Inferred
Language	Haskell2010

Sygus.LexSygus

Documentation

data Token Source #

Constructors

TLit Lit
TUnderscore
TOpenBracket
TCloseBracket
TColon
TSymbol String

Instances

Instances details

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 Integer Integer
LitBool Bool
Hexidecimal String
Binary String
LitStr String

Instances

Instances details

Generic Lit Source #
Instance details Defined in Sygus.Syntax Associated Types type Rep Lit :: Type -> Type # Methods from :: Lit -> Rep Lit x # to :: Rep Lit x -> Lit #
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 #
Eq Lit Source #
Instance details Defined in Sygus.Syntax Methods (==) :: Lit -> Lit -> Bool # (/=) :: Lit -> Lit -> Bool #
Hashable Lit Source #
Instance details Defined in Sygus.Syntax Methods hashWithSalt :: Int -> Lit -> Int # hash :: Lit -> Int #
type Rep Lit Source #
Instance details 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] Source #