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

MAlonzo.Code.VerifiedCompilation.UForceDelay

Documentation

d_pureFD_6 ∷ p → p → p → () Source #

data T_pureFD_6 Source #

Constructors

C_forcedelay_14 T_pureFD_6 
C_pushfd_24 T_pureFD_6 T_pureFD_6 
C__'10814'__32 T__'8866'_14 T_pureFD_6 T_pureFD_6 
C_translationfd_38 T_Translation_12 
C_appfd_46 
C_appfd'8315''185'_54 

d_forceappdelay_58 ∷ T_pureFD_6 Source #

d_test4_72 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_pureFD_6 Source #

d_Zipper_78 ∷ p → () Source #

data T_Zipper_78 Source #

Constructors

C_'9633'_82 
C_force_84 T_Zipper_78 
C__'183'__86 T_Zipper_78 T__'8866'_14 

d_zipwk_88 ∷ Integer → T_Zipper_78 → T_Zipper_78 Source #

d_FD_112 ∷ p → p → p → p → () Source #

data T_FD_112 Source #

Constructors

C_force_116 T_FD_112 
C_delay_118 T_FD_112 
C_app_120 T_FD_112 T_Translation_12 
C_abs_122 T_FD_112 
C_last'45'delay_124 T_Translation_12 
C_last'45'abs_126 T_Translation_12 
C_ifThenElse_128 T_Pure_6 T_Pure_6 T_Translation_12 T_FD_112 T_FD_112 

d_ForceDelay_136 ∷ Integer → T__'8866'_14 → T__'8866'_14 → () Source #

d_simpleSuccess_138 ∷ T_FD_112 Source #

d_multiApplied_140 ∷ T_FD_112 Source #

d_nested_142 ∷ T_FD_112 Source #

d_forceDelaySimpleBefore_144 ∷ T__'8866'_14 Source #

d_forceDelaySimpleAfter_146 ∷ T__'8866'_14 Source #

d_forceDelaySimple_148 ∷ T_FD_112 Source #

d_lastDelayBreak_150 ∷ T_FD_112 → T_Irrelevant_20 Source #

d_lastAbsBreak_154 ∷ T_FD_112 → T_Irrelevant_20 Source #

d_ast0_170 ∷ T__'8866'_14 Source #

d_ast1_172 ∷ T__'8866'_14 Source #

d_ifThenElseProof_174 ∷ T_FD_112 Source #

d_isForceDelay'63'_178 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_54 Source #

d_isFD'63'_184 ∷ Integer → T_Zipper_78 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_54 Source #

d_ForceFDNeverITE_200 ∷ Integer → T_Zipper_78 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda2_246 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda3_320 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_FD_112 → (T_Translation_12 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_isForce_268 → T_Irrelevant_20) → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda4_348 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_54 → (T_isForce_268 → T_Irrelevant_20) → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda5_362 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → (T_isForce_268 → T_Irrelevant_20) → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda6_476 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T__'8866'_14 → T_FD_112 → (T_Translation_12 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda7_518 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → T_FD_112 → T__'8866'_14 → T__'8866'_14 → T_FD_112 → (T_Translation_12 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda8_634 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → (T_Pure_6 → T_Irrelevant_20) → T_Dec_20 → T_ProofOrCE_54 → T_ProofOrCE_54 → T_ProofOrCE_54 → T_Builtin_2 → T_Builtin_2 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_54 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda9_688 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → T_Pure_6 → (T_Pure_6 → T_Irrelevant_20) → T_ProofOrCE_54 → T_ProofOrCE_54 → T_ProofOrCE_54 → T_Builtin_2 → T_Builtin_2 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_54 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda10_750 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → T_Pure_6 → T_Pure_6 → (T_Translation_12 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_54 → T_ProofOrCE_54 → T_Builtin_2 → T_Builtin_2 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_54 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda11_814 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → T_Pure_6 → T_Pure_6 → T_Translation_12 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_54 → T_Builtin_2 → T_Builtin_2 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_54 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda12_880 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → T_Pure_6 → T_Pure_6 → T_Translation_12 → T_FD_112 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_Builtin_2 → T_Builtin_2 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_54 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda13_1034 ∷ T_Builtin_2 → T_Builtin_2 → (T_Σ_14 → T_Irrelevant_20) → Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → T_Pure_6 → T_Pure_6 → T_Translation_12 → T_FD_112 → T_FD_112 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_54 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda14_1074 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_54 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda15_1190 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T_Translation_12 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_Σ_14 → T_Irrelevant_20) → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda16_1214 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_Σ_14 → T_Irrelevant_20) → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda17_1238 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → T__'8866'_14 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_Σ_14 → T_Irrelevant_20) → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda18_1268 ∷ Integer → T__'8866'_14 → (T_isForce_268 → T_Irrelevant_20) → (T_isDelay_354 → T_Irrelevant_20) → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → T_Zipper_78 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda19_1340 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_isDelay_354 → T_Irrelevant_20) → (T_Σ_14 → T_Irrelevant_20) → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda20_1454 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T_Translation_12 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda21_1480 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda22_1506 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → T__'8866'_14 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T__'8866'_14 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda23_1574 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → T__'8866'_14 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_Σ_14 → T_Irrelevant_20) → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda24_1608 ∷ Integer → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → (T_isForce_268 → T_Irrelevant_20) → (T_Σ_14 → T_Irrelevant_20) → T_Zipper_78 → T__'8866'_14 → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda25_1698 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → T__'8866'_14 → T_FD_112 → (T_Translation_12 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → (T_isForce_268 → T_Irrelevant_20) → (T_Σ_14 → T_Irrelevant_20) → T_FD_112 → T_Irrelevant_20 Source #

d_'46'extendedlambda26_1732 ∷ Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T_Zipper_78 → T__'8866'_14 → (T_FD_112 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_54 → (T_isForce_268 → T_Irrelevant_20) → (T_Σ_14 → T_Irrelevant_20) → T_FD_112 → T_Irrelevant_20 Source #