| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Untyped.Purity
Documentation
Constructors
d_isPure'63'_82 ∷ () → T__'8866'_14 → T_Dec_20 Source #
d_allPure'63'_88 ∷ () → [T__'8866'_14] → T_Dec_20 Source #
d_'46'extendedlambda0_112 ∷ () → T__'8866'_14 → [T__'8866'_14] → (T_Σ_14 → T_Irrelevant_20) → T_All_44 → T_Irrelevant_20 Source #
d_'46'extendedlambda1_158 ∷ () → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda2_182 ∷ () → T__'8866'_14 → T__'8801'__12 → (T_isLambda_54 → T_Irrelevant_20) → T__'8866'_14 → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda3_200 ∷ () → T__'8866'_14 → T__'8801'__12 → (T_isLambda_54 → T_Irrelevant_20) → T__'8866'_14 → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda4_214 ∷ () → T__'8866'_14 → T__'8801'__12 → (T_isLambda_54 → T_Irrelevant_20) → T__'8866'_14 → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda5_232 ∷ () → T__'8866'_14 → Integer → Integer → T__'8801'__12 → (T_isLambda_54 → T_Irrelevant_20) → T__'8866'_14 → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda6_274 ∷ () → T__'8866'_14 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → Integer → T__'8801'__12 → (T_isLambda_54 → T_Irrelevant_20) → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda7_302 ∷ () → T__'8866'_14 → T__'8801'__12 → (T_isDelay_354 → T_Irrelevant_20) → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda8_320 ∷ () → T__'8866'_14 → Integer → T__'8801'__12 → (T_isDelay_354 → T_Irrelevant_20) → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda9_334 ∷ () → T__'8866'_14 → T__'8801'__12 → (T_isDelay_354 → T_Irrelevant_20) → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda10_362 ∷ () → T__'8866'_14 → (T_Pure_6 → T_Irrelevant_20) → Integer → T__'8801'__12 → (T_isDelay_354 → T_Irrelevant_20) → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda11_402 ∷ () → T__'8866'_14 → (T_Pure_6 → T_Irrelevant_20) → Integer → Integer → T__'8801'__12 → (T_isDelay_354 → T_Irrelevant_20) → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda12_442 ∷ () → T__'8866'_14 → (T_Pure_6 → T_Irrelevant_20) → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda13_470 ∷ () → [T__'8866'_14] → (T_All_44 → T_Irrelevant_20) → Integer → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda14_518 ∷ () → Integer → [T__'8866'_14] → T__'8801'__12 → [T__'8866'_14] → T_Pure_6 → T_Irrelevant_20 Source #
d_'46'extendedlambda15_556 ∷ () → T__'8866'_14 → [T__'8866'_14] → (T_Pure_6 → T_Irrelevant_20) → Integer → [T__'8866'_14] → T__'8801'__12 → T_Pure_6 → T_Irrelevant_20 Source #