Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_UntypedCSE_26 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → () Source #
d_isUntypedCSE'63'_32 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #
d_isUCSE'63'_38 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #
d_'46'extendedlambda0_54 ∷ () → T__'8866'_14 → (T_isApp_142 → T_Irrelevant_20) → T_DecEq_6 → T__'8866'_14 → T_UCSE_4 → T_Irrelevant_20 Source #
d_'46'extendedlambda1_82 ∷ () → T__'8866'_14 → T__'8866'_14 → T_DecEq_6 → T__'8866'_14 → (T_Σ_14 → T_Irrelevant_20) → T_UCSE_4 → T_Irrelevant_20 Source #