Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
MAlonzo.Code.VerifiedCompilation.UForceDelay
Documentation
d_pureFD_8 ∷ p → p → p → p → () Source #
data T_pureFD_8 Source #
d_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 #
d_ForceDelay_148 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → () Source #
d_isForceDelay'63'_192 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #
d_isFD'63'_200 ∷ () → T_DecEq_6 → T_Zipper_84 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 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_26 → (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_26 → T_ProofOrCE_26 → T_ProofOrCE_26 → T_Builtin_2 → T_Builtin_2 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_26 → 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_26 → T_ProofOrCE_26 → T_ProofOrCE_26 → T_Builtin_2 → T_Builtin_2 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_26 → 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_26 → T_ProofOrCE_26 → T_Builtin_2 → T_Builtin_2 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_26 → 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_26 → T_Builtin_2 → T_Builtin_2 → (T_FD_120 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → T_ProofOrCE_26 → 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_26 → 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_26 → 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_26 → 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_26 → (T_isForce_268 → T_Irrelevant_20) → (T_Σ_14 → T_Irrelevant_20) → T_FD_120 → T_Irrelevant_20 Source #