| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.VerifiedCompilation.UCaseReduce
Documentation
d_iterApp_6 ∷ () → T__'8866'_14 → [T__'8866'_14] → T__'8866'_14 Source #
d_CaseReduce_16 ∷ p → p → p → p → () Source #
data T_CaseReduce_16 Source #
Constructors
| C_casereduce_32 T__'8866'_14 T_Translation_16 |
d_isCaseReduce'63'_38 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #
d_justEq_46 ∷ () → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #
d_isCR'63'_52 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #
d_'46'extendedlambda0_68 ∷ () → T_DecEq_6 → T__'8866'_14 → (T_isCase_574 → T_Irrelevant_20) → T__'8866'_14 → T_CaseReduce_16 → T_Irrelevant_20 Source #
d_'46'extendedlambda1_96 ∷ () → T_DecEq_6 → [T__'8866'_14] → Integer → T__'8801'__12 → [T__'8866'_14] → T__'8866'_14 → T_CaseReduce_16 → T_Irrelevant_20 Source #
d_'46'extendedlambda2_100 ∷ () → T_DecEq_6 → [T__'8866'_14] → Integer → T__'8801'__12 → [T__'8866'_14] → T__'8866'_14 → T__'8866'_14 → T__'8801'__12 → T_Translation_16 → T__'8801'__12 → T_Irrelevant_20 Source #
d_'46'extendedlambda3_146 ∷ () → T_DecEq_6 → [T__'8866'_14] → Integer → T__'8866'_14 → T__'8801'__12 → [T__'8866'_14] → T__'8866'_14 → (T_Translation_16 → T_Irrelevant_20) → T_CaseReduce_16 → T_Irrelevant_20 Source #
d_UCaseReduce_154 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → () Source #
d_con'45'integer_160 ∷ () → Integer → T__'8866'_14 Source #