| 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'_42 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #
d_justEq_50 ∷ () → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #
d_isCR'63'_60 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_ProofOrCE_26 Source #
d_'46'extendedlambda0_76 ∷ () → T__'8866'_14 → (T_isCase_574 → T_Irrelevant_20) → T_DecEq_6 → T__'8866'_14 → T_CaseReduce_16 → T_Irrelevant_20 Source #
d_'46'extendedlambda1_104 ∷ () → [T__'8866'_14] → Integer → T__'8801'__12 → [T__'8866'_14] → T_DecEq_6 → T__'8866'_14 → T_CaseReduce_16 → T_Irrelevant_20 Source #
d_'46'extendedlambda2_108 ∷ () → [T__'8866'_14] → Integer → T__'8801'__12 → [T__'8866'_14] → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T__'8801'__12 → T_Translation_16 → T__'8801'__12 → T_Irrelevant_20 Source #
d_'46'extendedlambda3_160 ∷ () → T__'8866'_14 → [T__'8866'_14] → T_DecEq_6 → T__'8866'_14 → (T_Translation_16 → T_Irrelevant_20) → () → () → T_SimplifierTag_4 → AgdaAny → AgdaAny → [T__'8866'_14] → Integer → T__'8801'__12 → T_CaseReduce_16 → T_Irrelevant_20 Source #
d_UCaseReduce_168 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → () Source #
d_con'45'integer_174 ∷ () → Integer → T__'8866'_14 Source #