plutus-metatheory-1.50.0.0: Command line tool for running plutus core programs

Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.VerifiedCompilation

Documentation

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

data T_Transformation_2 Source #

Constructors

C_isCoC_12 T_Translation_16
C_isFD_22 T_Translation_16
C_isFlD_32 T_Translation_16
C_isCSE_42 T_Translation_16
C_inlineNotImplemented_52
C_isCaseReduce_62 T_Translation_16
C_forceCaseDelayNotImplemented_72

d_Trace_78 ∷ p → p → p → () Source #

data T_Trace_78 Source #

Constructors

C_empty_84
C_cons_98 T_Transformation_2 T_Trace_78

d_isTransformation'63'_106 ∷ () → T_DecEq_6 → T_SimplifierTag_4 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_28 Source #

du_isTransformation'63'_106 ∷ T_DecEq_6 → T_SimplifierTag_4 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_28 Source #

d_isTrace'63'_316 ∷ () → T_DecEq_6 → T_List_384 (T__'215'__366 T_SimplifierTag_4 (T__'215'__366 T__'8866'_14 T__'8866'_14)) → T_ProofOrCE_28 Source #

du_isTrace'63'_316 ∷ T_DecEq_6 → T_List_384 (T__'215'__366 T_SimplifierTag_4 (T__'215'__366 T__'8866'_14 T__'8866'_14)) → T_ProofOrCE_28 Source #

type T_FileHandle_412 = Handle Source #

d_FileHandle_412 ∷ a Source #

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

d_stderr_416 ∷ T_FileHandle_412 Source #

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

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

d_buildPairs_424 ∷ () → T_List_384 T__'8866'_14 → T_List_384 (T__'215'__366 T__'8866'_14 T__'8866'_14) Source #

du_buildPairs_424 ∷ T_List_384 T__'8866'_14 → T_List_384 (T__'215'__366 T__'8866'_14 T__'8866'_14) Source #

d_traverseEitherList_440 ∷ () → () → () → (AgdaAny → T_Either_6 AgdaAny AgdaAny) → T_List_384 (T__'215'__366 T_SimplifierTag_4 (T__'215'__366 AgdaAny AgdaAny)) → T_Either_6 AgdaAny (T_List_384 (T__'215'__366 T_SimplifierTag_4 (T__'215'__366 AgdaAny AgdaAny))) Source #

d_Cert_548 ∷ () Source #

data T_Cert_548 Source #

Constructors

C_cert_556 (T_List_384 (T__'215'__366 T_SimplifierTag_4 (T__'215'__366 T__'8866'_14 T__'8866'_14))) T_DecEq_6 T_ProofOrCE_28

d_runCertifier_558 ∷ T_List_384 (T__'215'__366 T_SimplifierTag_4 (T__'215'__366 T_Untyped_208 T_Untyped_208)) → Maybe T_Cert_548 Source #

d_getCE_580 ∷ () → () → Maybe T_Cert_548 → Maybe T_Σ_14 Source #

du_getCE_580 ∷ Maybe T_Cert_548 → Maybe T_Σ_14 Source #

d_passed'63'_592 ∷ Maybe T_Cert_548 → Bool Source #

runCertifierMain ∷ T_List_384 (T__'215'__366 T_SimplifierTag_4 (T__'215'__366 T_Untyped_208 T_Untyped_208)) → T_Maybe_10 () Bool Source #

d_runCertifierMain_594 ∷ T_List_384 (T__'215'__366 T_SimplifierTag_4 (T__'215'__366 T_Untyped_208 T_Untyped_208)) → Maybe Bool Source #