Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Instances
Instances
data Identifier Source #
Instances
Instances
Eq Index Source # | |
Read Index Source # | |
Show Index Source # | |
Generic Index Source # | |
Hashable Index Source # | |
Defined in Sygus.Syntax | |
type Rep Index Source # | |
Defined in Sygus.Syntax type Rep Index = D1 (MetaData "Index" "Sygus.Syntax" "language-sygus-0.1.1.2-FhPJX0wzClvHYBu97mWxNf" False) (C1 (MetaCons "IndNumeral" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "IndSymb" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol))) |
Instances
Eq Sort Source # | |
Read Sort Source # | |
Show Sort Source # | |
Generic Sort Source # | |
Hashable Sort Source # | |
Defined in Sygus.Syntax | |
type Rep Sort Source # | |
Defined in Sygus.Syntax type Rep Sort = D1 (MetaData "Sort" "Sygus.Syntax" "language-sygus-0.1.1.2-FhPJX0wzClvHYBu97mWxNf" False) (C1 (MetaCons "IdentSort" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Identifier)) :+: C1 (MetaCons "IdentSortSort" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Identifier) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Sort]))) |
TermIdent Identifier | |
TermLit Lit | |
TermCall Identifier [Term] | |
TermExists [SortedVar] Term | |
TermForAll [SortedVar] Term | |
TermLet [VarBinding] Term |
Instances
Instances
Eq BfTerm Source # | |
Read BfTerm Source # | |
Show BfTerm Source # | |
Generic BfTerm Source # | |
Hashable BfTerm Source # | |
Defined in Sygus.Syntax | |
type Rep BfTerm Source # | |
Defined in Sygus.Syntax type Rep BfTerm = D1 (MetaData "BfTerm" "Sygus.Syntax" "language-sygus-0.1.1.2-FhPJX0wzClvHYBu97mWxNf" False) (C1 (MetaCons "BfIdentifier" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Identifier)) :+: (C1 (MetaCons "BfLiteral" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Lit)) :+: C1 (MetaCons "BfIdentifierBfs" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Identifier) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [BfTerm])))) |
Instances
Eq SortedVar Source # | |
Read SortedVar Source # | |
Show SortedVar Source # | |
Generic SortedVar Source # | |
Hashable SortedVar Source # | |
Defined in Sygus.Syntax | |
type Rep SortedVar Source # | |
Defined in Sygus.Syntax type Rep SortedVar = D1 (MetaData "SortedVar" "Sygus.Syntax" "language-sygus-0.1.1.2-FhPJX0wzClvHYBu97mWxNf" False) (C1 (MetaCons "SortedVar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Sort))) |
data VarBinding Source #
Instances
Instances
Eq Feature Source # | |
Read Feature Source # | |
Show Feature Source # | |
Generic Feature Source # | |
Hashable Feature Source # | |
Defined in Sygus.Syntax | |
type Rep Feature Source # | |
Defined in Sygus.Syntax type Rep Feature = D1 (MetaData "Feature" "Sygus.Syntax" "language-sygus-0.1.1.2-FhPJX0wzClvHYBu97mWxNf" False) (C1 (MetaCons "Grammars" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "FwdDecls" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Recursion" PrefixI False) (U1 :: Type -> Type))) |
DeclareDatatype Symbol DTDec | |
DeclareDatatypes [SortDecl] [DTDec] | |
DeclareSort Symbol Integer | |
DefineFun Symbol [SortedVar] Sort Term | |
DefineSort Symbol Sort | |
SetLogic Symbol | |
SetOption Symbol Lit |
Instances
Instances
Eq SortDecl Source # | |
Read SortDecl Source # | |
Show SortDecl Source # | |
Generic SortDecl Source # | |
Hashable SortDecl Source # | |
Defined in Sygus.Syntax | |
type Rep SortDecl Source # | |
Defined in Sygus.Syntax type Rep SortDecl = D1 (MetaData "SortDecl" "Sygus.Syntax" "language-sygus-0.1.1.2-FhPJX0wzClvHYBu97mWxNf" False) (C1 (MetaCons "SortDecl" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) |
Instances
Eq DTConsDec Source # | |
Read DTConsDec Source # | |
Show DTConsDec Source # | |
Generic DTConsDec Source # | |
Hashable DTConsDec Source # | |
Defined in Sygus.Syntax | |
type Rep DTConsDec Source # | |
Defined in Sygus.Syntax type Rep DTConsDec = D1 (MetaData "DTConsDec" "Sygus.Syntax" "language-sygus-0.1.1.2-FhPJX0wzClvHYBu97mWxNf" False) (C1 (MetaCons "DTConsDec" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SortedVar]))) |
data GrammarDef Source #
Instances
data GroupedRuleList Source #
Instances
Instances
Eq GTerm Source # | |
Read GTerm Source # | |
Show GTerm Source # | |
Generic GTerm Source # | |
Hashable GTerm Source # | |
Defined in Sygus.Syntax | |
type Rep GTerm Source # | |
Defined in Sygus.Syntax type Rep GTerm = D1 (MetaData "GTerm" "Sygus.Syntax" "language-sygus-0.1.1.2-FhPJX0wzClvHYBu97mWxNf" False) (C1 (MetaCons "GConstant" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Sort)) :+: (C1 (MetaCons "GVariable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Sort)) :+: C1 (MetaCons "GBfTerm" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BfTerm)))) |