grisette-0.1.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.Helpers

Description

 

Documentation

pattern UnaryTermPatt :: forall a b tag. (Typeable tag, Typeable b) => tag -> Term b -> Term a Source #

pattern BinaryTermPatt :: forall a b c tag. (Typeable tag, Typeable b, Typeable c) => tag -> Term b -> Term c -> Term a Source #

pattern TernaryTermPatt :: forall a b c d tag. (Typeable tag, Typeable b, Typeable c, Typeable d) => tag -> Term b -> Term c -> Term d -> Term a Source #

pattern UnsafeUnaryTermPatt :: forall a b tag. Typeable tag => tag -> Term b -> Term a Source #

pattern UnsafeBinaryTermPatt :: forall a b c tag. Typeable tag => tag -> Term b -> Term c -> Term a Source #

pattern Unsafe1t21BinaryTermPatt :: forall a b tag. (Typeable tag, Typeable b) => tag -> Term b -> Term b -> Term a Source #

pattern Unsafe1u2t32TernaryTermPatt :: forall a b c tag. (Typeable tag, Typeable c) => tag -> Term b -> Term c -> Term c -> Term a Source #