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

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_Zipper_84 ∷ p → () Source #

data T_Zipper_84 Source #

Constructors

C_'9633'_88 
C_force_90 T_Zipper_84 
C__'183'__92 T_Zipper_84 T__'8866'_14 

d_zipwk_94 ∷ () → T_Zipper_84 → T_Zipper_84 Source #

du_zipwk_94 ∷ T_Zipper_84 → T_Zipper_84 Source #

d_FD_120 ∷ p → p → p → p → p → () Source #

data T_FD_120 Source #

Constructors

C_force_126 T_FD_120 
C_delay_128 T_FD_120 
C_app_130 T_FD_120 T_Translation_16 
C_abs_132 T_FD_120 
C_last'45'delay_134 T_Translation_16 
C_last'45'abs_136 T_Translation_16 
C_ifThenElse_138 T_Pure_6 T_Pure_6 T_Translation_16 T_FD_120 T_FD_120 

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

d_simpleSuccess_150 ∷ T_FD_120 Source #

d_multiApplied_152 ∷ T_FD_120 Source #

d_nested_154 ∷ T_FD_120 Source #

d_forceDelaySimpleBefore_156 ∷ T__'8866'_14 Source #

d_forceDelaySimpleAfter_158 ∷ T__'8866'_14 Source #

d_forceDelaySimple_160 ∷ T_FD_120 Source #

d_lastDelayBreak_162 ∷ T_FD_120 → T_Irrelevant_20 Source #

d_lastAbsBreak_166 ∷ T_FD_120 → T_Irrelevant_20 Source #

d_ast0_182 ∷ T__'8866'_14 Source #

d_ast1_184 ∷ T__'8866'_14 Source #

d_ifThenElseProof_186 ∷ T_FD_120 Source #

d_isForceDelay'63'_192 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_28 Source #

du_isForceDelay'63'_192 ∷ T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_28 Source #

d_isFD'63'_200 ∷ () → T_DecEq_6 → T_Zipper_84 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_28 Source #

du_isFD'63'_200 ∷ T_DecEq_6 → T_Zipper_84 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_28 Source #

d_ForceFDNeverITE_218 ∷ () → T_DecEq_6 → T_Zipper_84 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda2_264 ∷ () → T__'8866'_14 → T_DecEq_6 → T__'8866'_14 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_FD_120 → T_Irrelevant_20 Source #

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

d_'46'extendedlambda4_366 ∷ () → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_28 → (T_isForce_268 → T_Irrelevant_20) → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda5_380 ∷ () → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → (T_isForce_268 → T_Irrelevant_20) → T_DecEq_6 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda6_494 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T__'8866'_14 → T_FD_120 → (T_Translation_16 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda7_536 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → T_FD_120 → T__'8866'_14 → T__'8866'_14 → T_FD_120 → (T_Translation_16 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda8_652 ∷ () → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → (T_Pure_6 → T_Irrelevant_20) → T_Dec_20 → T_ProofOrCE_28 → T_ProofOrCE_28 → T_ProofOrCE_28 → T_Builtin_2 → T_Builtin_2 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_28 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda9_706 ∷ () → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → T_Pure_6 → (T_Pure_6 → T_Irrelevant_20) → T_ProofOrCE_28 → T_ProofOrCE_28 → T_ProofOrCE_28 → T_Builtin_2 → T_Builtin_2 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_28 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda10_768 ∷ () → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → T_Pure_6 → T_Pure_6 → (T_Translation_16 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_28 → T_ProofOrCE_28 → T_Builtin_2 → T_Builtin_2 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_28 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda11_832 ∷ () → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → T_Pure_6 → T_Pure_6 → T_Translation_16 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_28 → T_Builtin_2 → T_Builtin_2 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_28 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda12_898 ∷ () → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → T_Pure_6 → T_Pure_6 → T_Translation_16 → T_FD_120 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_Builtin_2 → T_Builtin_2 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_28 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda13_1052 ∷ T_Builtin_2 → T_Builtin_2 → (T_Σ_14 → T_Irrelevant_20) → () → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → T_Pure_6 → T_Pure_6 → T_Translation_16 → T_FD_120 → T_FD_120 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_28 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda14_1092 ∷ () → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_28 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda15_1208 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → (T_Translation_16 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_Σ_14 → T_Irrelevant_20) → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda16_1232 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_Σ_14 → T_Irrelevant_20) → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda17_1256 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → T__'8866'_14 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_Σ_14 → T_Irrelevant_20) → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda18_1286 ∷ () → T__'8866'_14 → (T_isForce_268 → T_Irrelevant_20) → (T_isDelay_354 → T_Irrelevant_20) → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → T_DecEq_6 → T_Zipper_84 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda19_1358 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_isDelay_354 → T_Irrelevant_20) → (T_Σ_14 → T_Irrelevant_20) → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda20_1472 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → (T_Translation_16 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda21_1498 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda22_1524 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → T__'8866'_14 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda23_1592 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → T__'8866'_14 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_Σ_14 → T_Irrelevant_20) → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda24_1626 ∷ () → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → (T_isForce_268 → T_Irrelevant_20) → (T_Σ_14 → T_Irrelevant_20) → T_DecEq_6 → T_Zipper_84 → T__'8866'_14 → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda25_1716 ∷ () → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → T__'8866'_14 → T_FD_120 → (T_Translation_16 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_isForce_268 → T_Irrelevant_20) → (T_Σ_14 → T_Irrelevant_20) → T_FD_120 → T_Irrelevant_20 Source #

d_'46'extendedlambda26_1750 ∷ () → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T_Zipper_84 → T__'8866'_14 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_28 → (T_isForce_268 → T_Irrelevant_20) → (T_Σ_14 → T_Irrelevant_20) → T_FD_120 → T_Irrelevant_20 Source #