| Copyright | (c) Sirui Lu 2021-2023 |
|---|---|
| License | BSD-3-Clause (see the LICENSE file) |
| Maintainer | siruilu@cs.washington.edu |
| Stability | Experimental |
| Portability | GHC only |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Grisette.IR.SymPrim.Data.Prim.PartialEval.BV
Description
Documentation
pevalBVConcatTerm :: (SupportedPrim (s w), SupportedPrim (s w'), SupportedPrim (s w''), KnownNat w, KnownNat w', KnownNat w'', BVConcat (s w) (s w') (s w'')) => Term (s w) -> Term (s w') -> Term (s w'') Source #
pevalBVSelectTerm :: forall bv a ix w proxy. (SupportedPrim (bv a), SupportedPrim (bv w), KnownNat a, KnownNat w, KnownNat ix, BVSelect (bv a) ix w (bv w)) => proxy ix -> proxy w -> Term (bv a) -> Term (bv w) Source #
pevalBVExtendTerm :: forall proxy a n b bv. (KnownNat a, KnownNat b, KnownNat n, BVExtend (bv a) n (bv b), SupportedPrim (bv a), SupportedPrim (bv b)) => Bool -> proxy n -> Term (bv a) -> Term (bv b) Source #
pevalBVZeroExtendTerm :: forall proxy a n b bv. (KnownNat a, KnownNat b, KnownNat n, BVExtend (bv a) n (bv b), SupportedPrim (bv a), SupportedPrim (bv b)) => proxy n -> Term (bv a) -> Term (bv b) Source #
pevalBVSignExtendTerm :: forall proxy a n b bv. (KnownNat a, KnownNat b, KnownNat n, BVExtend (bv a) n (bv b), SupportedPrim (bv a), SupportedPrim (bv b)) => proxy n -> Term (bv a) -> Term (bv b) Source #