| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Runtime.Decompile
Documentation
decompile :: forall v. Var v => (Reference -> Maybe Reference) -> (Word64 -> Word64 -> Maybe (Term v ())) -> Val -> DecompResult v Source #
type DecompResult v = (Set DecompError, Term v ()) Source #
data DecompError Source #
Constructors
| BadBool !Word64 | |
| BadUnboxed !UnboxedTypeTag | |
| BadForeign !Reference | |
| BadData !Reference | |
| BadPAp !Reference | |
| UnkComb !Reference | |
| UnkLocal !Reference !Word64 | |
| Cont | |
| Exn |
Instances
| Eq DecompError Source # | |
Defined in Unison.Runtime.Decompile | |
| Ord DecompError Source # | |
Defined in Unison.Runtime.Decompile Methods compare :: DecompError -> DecompError -> Ordering # (<) :: DecompError -> DecompError -> Bool # (<=) :: DecompError -> DecompError -> Bool # (>) :: DecompError -> DecompError -> Bool # (>=) :: DecompError -> DecompError -> Bool # max :: DecompError -> DecompError -> DecompError # min :: DecompError -> DecompError -> DecompError # | |
renderDecompError :: DecompError -> Error Source #