grisette-0.2.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 HaskellSafe-Inferred
LanguageHaskell2010

Grisette.IR.SymPrim.Data.Prim.ModelValue

Description

 

Documentation

data ModelValue where Source #

Constructors

ModelValue :: forall v. (Show v, Eq v, Hashable v) => TypeRep v -> v -> ModelValue 

Instances

Instances details
Show ModelValue Source # 
Instance details

Defined in Grisette.IR.SymPrim.Data.Prim.ModelValue

Methods

showsPrec :: Int -> ModelValue -> ShowS #

show :: ModelValue -> String #

showList :: [ModelValue] -> ShowS #

Eq ModelValue Source # 
Instance details

Defined in Grisette.IR.SymPrim.Data.Prim.ModelValue

Methods

(==) :: ModelValue -> ModelValue -> Bool #

(/=) :: ModelValue -> ModelValue -> Bool #

Hashable ModelValue Source # 
Instance details

Defined in Grisette.IR.SymPrim.Data.Prim.ModelValue

Methods

hashWithSalt :: Int -> ModelValue -> Int #

hash :: ModelValue -> Int #

toModelValue :: forall a. (Show a, Eq a, Hashable a, Typeable a) => a -> ModelValue Source #

unsafeFromModelValue :: forall a. Typeable a => ModelValue -> a Source #