| Copyright | (c) Galois Inc. 2025 |
|---|---|
| Maintainer | Langston Barrett <langston@galois.com> |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Lang.Crucible.Pretty
Description
Synopsis
- newtype IntrinsicPrettyFn sym nm = IntrinsicPrettyFn (forall ctx ann. Assignment TypeRepr ctx -> Intrinsic sym nm ctx -> Doc ann)
- newtype IntrinsicPrinters sym = IntrinsicPrinters {}
- ppRegVal :: forall sym tp ann. IsExpr (SymExpr sym) => IntrinsicPrinters sym -> TypeRepr tp -> RegValue' sym tp -> Doc ann
Documentation
newtype IntrinsicPrettyFn sym nm Source #
Function for pretty-printing an intrinsic type
TODO: Upstream to Crucible
Constructors
| IntrinsicPrettyFn (forall ctx ann. Assignment TypeRepr ctx -> Intrinsic sym nm ctx -> Doc ann) |
newtype IntrinsicPrinters sym Source #
Constructors
| IntrinsicPrinters | |
Fields | |