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

Grisette.Internal.SymPrim.Prim.SomeTerm

Description

 
Synopsis

Documentation

data SomeTerm where Source #

Existential wrapper for symbolic Grisette terms.

Constructors

SomeTerm :: forall a. SupportedPrim a => Term a -> SomeTerm 

Instances

Instances details
Show SomeTerm Source # 
Instance details

Defined in Grisette.Internal.SymPrim.Prim.SomeTerm

Methods

showsPrec :: Int -> SomeTerm -> ShowS #

show :: SomeTerm -> String #

showList :: [SomeTerm] -> ShowS #

Eq SomeTerm Source # 
Instance details

Defined in Grisette.Internal.SymPrim.Prim.SomeTerm

Methods

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

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

Hashable SomeTerm Source # 
Instance details

Defined in Grisette.Internal.SymPrim.Prim.SomeTerm

Methods

hashWithSalt :: Int -> SomeTerm -> Int #

hash :: SomeTerm -> Int #