unison-runtime-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 
Aff 

Instances

Instances details
Eq DecompError Source # 
Instance details

Defined in Unison.Runtime.Decompile

Methods

(==) :: DecompError -> DecompError -> Bool #

(/=) :: DecompError -> DecompError -> Bool #

Ord DecompError Source # 
Instance details

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 #