Safe Haskell	None
Language	Haskell98

Test.Target.Types

Contents

Orphan instances

Documentation

data TargetException Source #

Constructors

SmtFailedToProduceOutput
SmtError String
ExpectedValues Response
PreconditionCheckFailed String
EvalError String

Instances

Show TargetException Source #
Methods showsPrec :: Int -> TargetException -> ShowS # show :: TargetException -> String # showList :: [TargetException] -> ShowS #
Exception TargetException Source #
Methods toException :: TargetException -> SomeException # fromException :: SomeException -> Maybe TargetException # displayException :: TargetException -> String #

ensureValues :: MonadThrow m => m Response -> m Response Source #

type Constraint = [Expr] Source #

type Variable = (Symbol, Sort) Source #

type Value = Text Source #

type DataConEnv = [(Symbol, SpecType)] Source #

type MeasureEnv = [Measure SpecType DataCon] Source #

boolsort :: Sort Source #

choicesort :: Sort Source #

data Result Source #

Constructors

Passed !Int
Failed !String
Errored !String

Instances

Show Result Source #
Methods showsPrec :: Int -> Result -> ShowS # show :: Result -> String # showList :: [Result] -> ShowS #

data Val Source #

Constructors

VB !Bool
VV !Constant
VX !SymConst
VS !(Set Val)
VC Symbol [Val]

Instances

Eq Val Source #
Methods (==) :: Val -> Val -> Bool # (/=) :: Val -> Val -> Bool #
Ord Val Source #
Methods compare :: Val -> Val -> Ordering # (<) :: Val -> Val -> Bool # (<=) :: Val -> Val -> Bool # (>) :: Val -> Val -> Bool # (>=) :: Val -> Val -> Bool # max :: Val -> Val -> Val # min :: Val -> Val -> Val #
Show Val Source #
Methods showsPrec :: Int -> Val -> ShowS # show :: Val -> String # showList :: [Val] -> ShowS #
Generic Val Source #
Associated Types type Rep Val :: * -> * # Methods from :: Val -> Rep Val x # to :: Rep Val x -> Val #
PPrint Val Source #
Methods pprintTidy :: Tidy -> Val -> Doc # pprintPrec :: Int -> Tidy -> Val -> Doc #
type Rep Val Source #
type Rep Val = D1 (MetaData "Val" "Test.Target.Types" "liquidhaskell-0.8.0.2-4zWDXa3VLIUKANK5k7Jte1" False) ((:+:) ((:+:) (C1 (MetaCons "VB" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool))) (C1 (MetaCons "VV" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Constant)))) ((:+:) (C1 (MetaCons "VX" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SymConst))) ((:+:) (C1 (MetaCons "VS" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Set Val)))) (C1 (MetaCons "VC" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Val])))))))

Orphan instances

Symbolic Variable Source #
Methods symbol :: Variable -> Symbol
SMTLIB2 Constraint Source #
Methods smt2 :: SymEnv -> Constraint -> Builder