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

MAlonzo.Code.VerifiedCompilation

Documentation

d_Transformation_2 ∷ p → p → p → p → () Source #

data T_Transformation_2 Source #

Constructors

C_isCoC_10 T_Translation_12 
C_isFD_18 T_Translation_12 
C_isFlD_26 T_Translation_12 
C_isCSE_34 T_Translation_12 
C_inlineNotImplemented_42 
C_isCaseReduce_50 T_Translation_12 
C_forceCaseDelayNotImplemented_58 

d_Trace_62 ∷ p → p → () Source #

data T_Trace_62 Source #

Constructors

C_empty_66 
C_cons_78 T_Transformation_2 T_Trace_62 

d_isTransformation'63'_88 ∷ Integer → T_SimplifierTag_4 → T__'8866'_14 → T__'8866'_14 → T_CertResult_28 Source #

d_isTrace'63'_296 ∷ Integer → T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T__'8866'_14 T__'8866'_14)) → T_CertResult_28 Source #

type T_FileHandle_426 = Handle Source #

d_FileHandle_426 ∷ a Source #

d_writeFile_428 ∷ T_String_6 → T_String_6 → T_IO_8 () T_'8868'_6 Source #

d_stderr_430 ∷ T_FileHandle_426 Source #

d_hPutStrLn_432 ∷ T_FileHandle_426 → T_String_6 → T_IO_8 () T_'8868'_6 Source #

d_putStrLn_434 ∷ T_String_6 → T_IO_8 () T_'8868'_6 Source #

d_buildPairs_438 ∷ Integer → T_List_414 T__'8866'_14 → T_List_414 (T__'215'__396 T__'8866'_14 T__'8866'_14) Source #

du_buildPairs_438 ∷ T_List_414 T__'8866'_14 → T_List_414 (T__'215'__396 T__'8866'_14 T__'8866'_14) Source #

d_traverseEitherList_454 ∷ () → () → () → (AgdaAny → T_Either_6 AgdaAny AgdaAny) → T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 AgdaAny AgdaAny)) → T_Either_6 AgdaAny (T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 AgdaAny AgdaAny))) Source #

du_traverseEitherList_454 ∷ (AgdaAny → T_Either_6 AgdaAny AgdaAny) → T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 AgdaAny AgdaAny)) → T_Either_6 AgdaAny (T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 AgdaAny AgdaAny))) Source #

d_Cert_562 ∷ () Source #

data T_Cert_562 Source #

Constructors

C_cert_568 Integer (T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T__'8866'_14 T__'8866'_14))) T_CertResult_28 

d_runCertifier_570 ∷ T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Untyped_208 T_Untyped_208)) → Maybe T_Cert_562 Source #

d_getCE_592 ∷ () → () → Maybe T_Cert_562 → Maybe T_Σ_14 Source #

du_getCE_592 ∷ Maybe T_Cert_562 → Maybe T_Σ_14 Source #

d_passed'63'_604 ∷ Maybe T_Cert_562 → Bool Source #

runCertifierMain ∷ T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Untyped_208 T_Untyped_208)) → T_Maybe_10 () Bool Source #

d_runCertifierMain_606 ∷ T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Untyped_208 T_Untyped_208)) → Maybe Bool Source #