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

identity :: Term t -> Id Source #

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

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

extractSymbolicsTerm :: SupportedPrim a => Term a -> HashSet SomeTypedSymbol Source #

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

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

someTermsSize :: [SomeTerm] -> Int Source #

someTermSize :: SomeTerm -> Int Source #

termSize :: Term a -> Int Source #

termsSize :: [Term a] -> Int Source #