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.InternedTerm.SomeTerm

Description

 

Documentation

data SomeTerm where Source #

Constructors

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

Instances

Instances details
Show SomeTerm Source # 
Instance details

Defined in Grisette.IR.SymPrim.Data.Prim.InternedTerm.SomeTerm

Methods

showsPrec :: Int -> SomeTerm -> ShowS #

show :: SomeTerm -> String #

showList :: [SomeTerm] -> ShowS #

Eq SomeTerm Source # 
Instance details

Defined in Grisette.IR.SymPrim.Data.Prim.InternedTerm.SomeTerm

Methods

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

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

Hashable SomeTerm Source # 
Instance details

Defined in Grisette.IR.SymPrim.Data.Prim.InternedTerm.SomeTerm

Methods

hashWithSalt :: Int -> SomeTerm -> Int #

hash :: SomeTerm -> Int #