plutus-metatheory-1.65.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Certifier

Documentation

d_runCertifier_2 ∷ T_NonEmptySep_90 (T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12) T_Hints_80) T_Untyped_208 → T_Either_6 T_Error_2 T_Σ_14 Source #

runCertifierMain ∷ T_NonEmptySep_90 (T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12) T_Hints_80) T_Untyped_208 → T_List_10 () T_EvalResult_122 → T_Maybe_10 () (T__'215'__436 Bool T_String_6) Source #

d_runCertifierMain_10 ∷ T_NonEmptySep_90 (T__'215'__436 (T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_12) T_Hints_80) T_Untyped_208 → [T_EvalResult_122] → Maybe (T__'215'__436 Bool T_String_6) Source #