liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Test.Target.Types

Contents

Documentation

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

type Constraint = [Expr] Source #

type Variable = (Symbol, Sort) Source #

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

boolsort :: Sort Source #

data Result Source #

Constructors

Passed !Int 
Failed !String 
Errored !String 

Instances

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 # 

Orphan instances

Symbolic Variable Source # 

Methods

symbol :: Variable -> Symbol

SMTLIB2 Constraint Source # 

Methods

smt2 :: SymEnv -> Constraint -> Builder