Grisette.Internal.SymPrim.Prim.ModelValue

Documentation

data ModelValue where

A value with its type information.

Constructors

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

Instances

Show ModelValue

Defined in Grisette.Internal.SymPrim.Prim.ModelValue

Methods

showsPrec :: Int -> ModelValue -> ShowS

show :: ModelValue -> String

showList :: [ModelValue] -> ShowS

Eq ModelValue

Defined in Grisette.Internal.SymPrim.Prim.ModelValue

Methods

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

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

PPrint ModelValue

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

Methods

pformat :: ModelValue -> Doc ann

pformatPrec :: Int -> ModelValue -> Doc ann

pformatList :: [ModelValue] -> Doc ann

Hashable ModelValue

Defined in Grisette.Internal.SymPrim.Prim.ModelValue

Methods

hashWithSalt :: Int -> ModelValue -> Int

hash :: ModelValue -> Int

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

Convert to a model value.

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

Convert from a model value. Crashes if the types does not match.