Copyright	(c) Sirui Lu 2021-2024
License	BSD-3-Clause (see the LICENSE file)
Maintainer	siruilu@cs.washington.edu
Stability	Experimental
Portability	GHC only
Safe Haskell	None
Language	Haskell2010

Grisette.Internal.SymPrim.Prim.SomeTerm

Description

Synopsis

Documentation

Existential wrapper for symbolic Grisette terms.

Constructors

Instances details

Binary SomeTerm Source #
Instance details Defined in Grisette.Internal.SymPrim.Prim.Internal.Serialize Methods put :: SomeTerm -> Put # get :: Get SomeTerm # putList :: [SomeTerm] -> Put #
Serial SomeTerm Source #
Instance details Defined in Grisette.Internal.SymPrim.Prim.Internal.Serialize Methods serialize :: MonadPut m => SomeTerm -> m () # deserialize :: MonadGet m => m SomeTerm #
Serialize SomeTerm Source #
Instance details Defined in Grisette.Internal.SymPrim.Prim.Internal.Serialize Methods put :: Putter SomeTerm # get :: Get SomeTerm #
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 #
PPrint SomeTerm Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.PPrint Methods pformat :: SomeTerm -> Doc ann Source # pformatPrec :: Int -> SomeTerm -> Doc ann Source # pformatList :: [SomeTerm] -> Doc ann Source #
Hashable SomeTerm Source #
Instance details Defined in Grisette.Internal.SymPrim.Prim.SomeTerm Methods hashWithSalt :: Int -> SomeTerm -> Int # hash :: SomeTerm -> Int #

Wrap a symbolic term into SomeTerm.

Get the unique identifier of a symbolic term.