Data.SBV
type SBool
type SWord8
type SWord16
type SWord32
type SWord64
type SInt8
type SInt16
type SInt32
type SInt64
type SInteger
type SFloat
type SDouble
class IEEEFloating a
class IEEEFloatConvertable a
data RoundingMode
type SRoundingMode
type SReal
data AlgReal
data SBV a
class SymArray array
data SArray a b
data SFunArray a b
class FromBits a
class Splittable a b
class Mergeable a
class EqSymbolic a
class OrdSymbolic a
class SIntegral a
class SDivisible a
class Boolean b
class PrettyNum a
class Uninterpreted a
type Predicate
type Goal
class Provable a
class Equality a
class SExecutable a
data Tactic a
data OptimizeStyle
data Penalty
data Objective a
data ExtCW
data GeneralizedCW
data ThmResult
data SatResult
data AllSatResult
data SafeResult
data OptimizeResult
data SMTResult
class SatModel a
class Modelable a
data SMTConfig
data SMTLibVersion
data SMTLibLogic
data Logic
data Solver
data SMTSolver
data Timing
data TimedStep
type TimingInfo
data CW
class HasKind a
data Kind
data Symbolic a
class SymWord a
data SBVCodeGen a
SInteger and SReal typesdata CgSRealType