Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hsmtlib.Solvers.Cmd.Parser.Syntax
Documentation
data SpecConstant Source
Constructors
SpecConstantNumeral Integer | |
SpecConstantDecimal String | |
SpecConstantHexadecimal String | |
SpecConstantBinary String | |
SpecConstantString String |
Instances
Constructors
SexprSpecConstant SpecConstant | |
SexprSymbol String | |
SexprKeyword String | |
SexprSxp [Sexpr] |
Constructors
AttrValueConstant SpecConstant | |
AttrValueSymbol String | |
AttrValueSexpr [Sexpr] |
Constructors
Attribute String | |
AttributeVal String AttrValue |
data QualIdentifier Source
Constructors
QIdentifier Identifier | |
QIdentifierAs Identifier Sort |
Instances
type GetInfoResponse = [InfoResponse] Source
data InfoResponse Source
Constructors
ResponseErrorBehavior ErrorBehavior | |
ResponseName String | |
ResponseAuthors String | |
ResponseVersion String | |
ResponseReasonUnknown ReasonUnknown | |
ResponseAttribute Attribute |
Instances
type GetAssertionsResponse = [Term] Source
type GetProofResponse = Sexpr Source
type GetUnsatCoreResponse = [String] Source
type GetValueResponse = [ValuationPair] Source
type GetAssignmentResponse = [TValuationPair] Source
type GetOptionResponse = AttrValue Source
data CmdResponse Source
Constructors
Instances