plutus-metatheory-1.60.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 -> () #

data T_pureFD_6 #

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 #

d_test4_72 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T__'8866'_14 -> T_pureFD_6 #

d_Zipper_78 :: p -> () #

data T_Zipper_78 #

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 #

d_FD_112 :: p -> p -> p -> p -> () #

data T_FD_112 #

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 -> () #

d_simpleSuccess_138 :: T_FD_112 #

d_multiApplied_140 :: T_FD_112 #

d_nested_142 :: T_FD_112 #

d_forceDelaySimpleBefore_144 :: T__'8866'_14 #

d_forceDelaySimpleAfter_146 :: T__'8866'_14 #

d_forceDelaySimple_148 :: T_FD_112 #

d_lastDelayBreak_150 :: T_FD_112 -> T_Irrelevant_20 #

d_lastAbsBreak_154 :: T_FD_112 -> T_Irrelevant_20 #

d_ast0_170 :: T__'8866'_14 #

d_ast1_172 :: T__'8866'_14 #

d_ifThenElseProof_174 :: T_FD_112 #

d_isForceDelay'63'_178 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38 #

d_isFD'63'_184 :: Integer -> T_Zipper_78 -> T__'8866'_14 -> T__'8866'_14 -> T_ProofOrCE_38 #

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 #

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 #

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_270 -> T_Irrelevant_20) -> T_FD_112 -> T_Irrelevant_20 #

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_38 -> (T_isForce_270 -> T_Irrelevant_20) -> T_FD_112 -> T_Irrelevant_20 #

d_'46'extendedlambda5_362 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> (T_Σ_14 -> T_Irrelevant_20) -> (T_isForce_270 -> T_Irrelevant_20) -> T_FD_112 -> T_Irrelevant_20 #

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 #

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 #

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_38 -> T_ProofOrCE_38 -> T_ProofOrCE_38 -> T_Builtin_2 -> T_Builtin_2 -> (T_FD_112 -> T_Irrelevant_20) -> () -> () -> T_SimplifierTag_4 -> AgdaAny -> AgdaAny -> T_ProofOrCE_38 -> T_FD_112 -> T_Irrelevant_20 #

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_38 -> T_ProofOrCE_38 -> T_ProofOrCE_38 -> T_Builtin_2 -> T_Builtin_2 -> (T_FD_112 -> T_Irrelevant_20) -> () -> () -> T_SimplifierTag_4 -> AgdaAny -> AgdaAny -> T_ProofOrCE_38 -> T_FD_112 -> T_Irrelevant_20 #

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_38 -> T_ProofOrCE_38 -> T_Builtin_2 -> T_Builtin_2 -> (T_FD_112 -> T_Irrelevant_20) -> () -> () -> T_SimplifierTag_4 -> AgdaAny -> AgdaAny -> T_ProofOrCE_38 -> T_FD_112 -> T_Irrelevant_20 #

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_38 -> T_Builtin_2 -> T_Builtin_2 -> (T_FD_112 -> T_Irrelevant_20) -> () -> () -> T_SimplifierTag_4 -> AgdaAny -> AgdaAny -> T_ProofOrCE_38 -> T_FD_112 -> T_Irrelevant_20 #

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_38 -> T_FD_112 -> T_Irrelevant_20 #

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_38 -> T_FD_112 -> T_Irrelevant_20 #

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_38 -> T_FD_112 -> T_Irrelevant_20 #

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 #

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 #

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 #

d_'46'extendedlambda18_1268 :: Integer -> T__'8866'_14 -> (T_isForce_270 -> T_Irrelevant_20) -> (T_isDelay_356 -> T_Irrelevant_20) -> T__'8866'_14 -> (T_Σ_14 -> T_Irrelevant_20) -> T_Zipper_78 -> T_FD_112 -> T_Irrelevant_20 #

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_356 -> T_Irrelevant_20) -> (T_Σ_14 -> T_Irrelevant_20) -> T_FD_112 -> T_Irrelevant_20 #

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 #

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 #

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 #

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 #

d_'46'extendedlambda24_1608 :: Integer -> T__'8866'_14 -> T__'8866'_14 -> (T_Σ_14 -> T_Irrelevant_20) -> (T_isForce_270 -> T_Irrelevant_20) -> (T_Σ_14 -> T_Irrelevant_20) -> T_Zipper_78 -> T__'8866'_14 -> T_FD_112 -> T_Irrelevant_20 #

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_270 -> T_Irrelevant_20) -> (T_Σ_14 -> T_Irrelevant_20) -> T_FD_112 -> T_Irrelevant_20 #

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_38 -> (T_isForce_270 -> T_Irrelevant_20) -> (T_Σ_14 -> T_Irrelevant_20) -> T_FD_112 -> T_Irrelevant_20 #