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.TermUtils

Description

 

Documentation

identityWithTypeRep :: forall t. Term t -> (TypeRep, Id) Source #

introSupportedPrimConstraint :: forall t a. Term t -> (SupportedPrim t => a) -> a Source #

castTerm :: forall a b. Typeable b => Term a -> Maybe (Term b) Source #

pformat :: forall t. SupportedPrim t => Term t -> String Source #