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

Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.VerifiedCompilation.UForceDelay

Documentation

d_pureFD_8 ∷ p → p → p → p → () Source #

data T_pureFD_8 Source #

Constructors

C_forcedelay_18 T_pureFD_8
C_pushfd_28 T_pureFD_8 T_pureFD_8
C__'10814'__36 T__'8866'_14 T_pureFD_8 T_pureFD_8
C_translationfd_42 T_Translation_16
C_appfd_50
C_appfd'8315''185'_58

d_forceappdelay_62 ∷ T_pureFD_8 Source #

d_test4_78 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_pureFD_8 Source #

du_test4_78 ∷ T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_pureFD_8 Source #

d_FD_84 ∷ p → p → p → p → p → p → () Source #

data T_FD_84 Source #

Constructors

C_forcefd_98 T_FD_84
C_delayfd_108 T_FD_84
C_lastdelay_118 Integer Integer T_Translation_16
C_multiappliedfd_132 T_Translation_16 T_FD_84
C_multiabstractfd_142 T_FD_84

d_ForceDelay_160 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → () Source #

d_t_162 ∷ T__'8866'_14 Source #

d_t''_164 ∷ T__'8866'_14 Source #

d_test'45'ffdd_166 ∷ T_FD_84 Source #

d_isForceDelay'63'_176 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #

du_isForceDelay'63'_176 ∷ T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #

d_isFD'63'_186 ∷ () → T_DecEq_6 → Integer → Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #

du_isFD'63'_186 ∷ T_DecEq_6 → Integer → Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #

d_'46'extendedlambda0_208 ∷ () → T__'8866'_14 → (T_isForce_268 → T_Irrelevant_20) → T_DecEq_6 → Integer → T__'8866'_14 → T_FD_84 → T_Irrelevant_20 Source #

d_'46'extendedlambda1_246 ∷ () → T__'8866'_14 → (T_isDelay_354 → T_Irrelevant_20) → (T_isForce_268 → T_Irrelevant_20) → T_DecEq_6 → Integer → Integer → T__'8866'_14 → T_FD_84 → T_Irrelevant_20 Source #

d_'46'extendedlambda2_322 ∷ Integer → Integer → () → T__'8866'_14 → T_DecEq_6 → T__'8866'_14 → (T_FD_84 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_Σ_14 → T_Irrelevant_20) → (T_isForce_268 → T_Irrelevant_20) → T_FD_84 → T_Irrelevant_20 Source #

d_'46'extendedlambda3_384 ∷ () → T__'8866'_14 → T_DecEq_6 → T__'8866'_14 → (T_Translation_16 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_isForce_268 → T_Irrelevant_20) → T_FD_84 → T_Irrelevant_20 Source #

d_'46'extendedlambda4_456 ∷ () → T__'8866'_14 → (T_isApp_142 → T_Irrelevant_20) → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → Integer → Integer → T_FD_84 → T_Irrelevant_20 Source #

d_'46'extendedlambda5_510 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → Integer → Integer → (T_FD_84 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T__'8866'_14 → T_FD_84 → T_Irrelevant_20 Source #

d_'46'extendedlambda6_568 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → (T_Translation_16 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T__'8866'_14 → Integer → Integer → T_FD_84 → T_FD_84 → T_Irrelevant_20 Source #

d_'46'extendedlambda7_646 ∷ () → T__'8866'_14 → (T_isLambda_54 → T_Irrelevant_20) → T__'8866'_14 → (T_isApp_142 → T_Irrelevant_20) → T_DecEq_6 → Integer → Integer → T_FD_84 → T_Irrelevant_20 Source #

d_'46'extendedlambda8_694 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → Integer → Integer → (T_FD_84 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_isApp_142 → T_Irrelevant_20) → T_FD_84 → T_Irrelevant_20 Source #

d_'46'extendedlambda9_728 ∷ () → T__'8866'_14 → (T_isApp_142 → T_Irrelevant_20) → T_DecEq_6 → Integer → T__'8866'_14 → T_FD_84 → T_Irrelevant_20 Source #

d_'46'extendedlambda10_786 ∷ () → T__'8866'_14 → T_DecEq_6 → Integer → Integer → T__'8866'_14 → (T_FD_84 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_isLambda_54 → T_Irrelevant_20) → (T_isApp_142 → T_Irrelevant_20) → T_FD_84 → T_Irrelevant_20 Source #