grisette-0.6.0.0: Symbolic evaluation as a library
Copyright(c) Sirui Lu 2021-2023
LicenseBSD-3-Clause (see the LICENSE file)
Maintainersiruilu@cs.washington.edu
StabilityExperimental
PortabilityGHC only
Safe HaskellTrustworthy
LanguageHaskell2010

Grisette.Internal.Core.Control.Exception

Description

 
Synopsis

Predefined exceptions

data AssertionError Source #

Assertion error.

Constructors

AssertionError 

Instances

Instances details
Generic AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

Associated Types

type Rep AssertionError :: Type -> Type #

Show AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

NFData AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

Methods

rnf :: AssertionError -> () #

Eq AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

Ord AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

EvaluateSym AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.EvaluateSym

ExtractSymbolics AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.ExtractSymbolics

Mergeable AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.Mergeable

SEq AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.SEq

SOrd AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.SOrd

SimpleMergeable AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.SimpleMergeable

AllSyms AssertionError Source # 
Instance details

Defined in Grisette.Internal.SymPrim.AllSyms

TransformError ArithException AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.Error

TransformError ArrayException AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.Error

TransformError AssertionError AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.Error

TransformError AssertionError VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.Error

ToCon AssertionError AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.ToCon

ToSym AssertionError AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.ToSym

type Rep AssertionError Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

type Rep AssertionError = D1 ('MetaData "AssertionError" "Grisette.Internal.Core.Control.Exception" "grisette-0.6.0.0-LwdEaDUg4LU9IthQ8SjToU" 'False) (C1 ('MetaCons "AssertionError" 'PrefixI 'False) (U1 :: Type -> Type))

data VerificationConditions Source #

Verification conditions. A crashed program path can terminate with either assertion violation errors or assumption violation errors.

Instances

Instances details
Generic VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

Associated Types

type Rep VerificationConditions :: Type -> Type #

Show VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

NFData VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

Methods

rnf :: VerificationConditions -> () #

Eq VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

Ord VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

EvaluateSym VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.EvaluateSym

ExtractSymbolics VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.ExtractSymbolics

Mergeable VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.Mergeable

SEq VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.SEq

SOrd VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.SOrd

AllSyms VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.SymPrim.AllSyms

TransformError AssertionError VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.Error

TransformError VerificationConditions VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.Error

ToCon VerificationConditions VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.ToCon

ToSym VerificationConditions VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Data.Class.ToSym

type Rep VerificationConditions Source # 
Instance details

Defined in Grisette.Internal.Core.Control.Exception

type Rep VerificationConditions = D1 ('MetaData "VerificationConditions" "Grisette.Internal.Core.Control.Exception" "grisette-0.6.0.0-LwdEaDUg4LU9IthQ8SjToU" 'False) (C1 ('MetaCons "AssertionViolation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AssumptionViolation" 'PrefixI 'False) (U1 :: Type -> Type))