| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Sum.Base
Documentation
d__'8846'__30 ∷ p → p → p → p → () Source #
data T__'8846'__30 Source #
Constructors
| C_inj'8321'_38 AgdaAny | |
| C_inj'8322'_42 AgdaAny |
d_'91'_'44'_'93'_52 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (T__'8846'__30 → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #
du_'91'_'44'_'93'_52 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #
d_'91'_'44'_'93''8242'_66 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #
du_'91'_'44'_'93''8242'_66 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #
d_fromInj'8321'_68 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #
du_fromInj'8321'_68 ∷ (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #
d_fromInj'8322'_72 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #
du_fromInj'8322'_72 ∷ (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #
d_reduce_76 ∷ T_Level_18 → () → T__'8846'__30 → AgdaAny Source #
d_swap_78 ∷ T_Level_18 → () → T_Level_18 → () → T__'8846'__30 → T__'8846'__30 Source #
d_map_84 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T__'8846'__30 → T__'8846'__30 Source #
du_map_84 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T__'8846'__30 → T__'8846'__30 Source #
d_map'8321'_90 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T__'8846'__30 → T__'8846'__30 Source #
du_map'8321'_90 ∷ (AgdaAny → AgdaAny) → T__'8846'__30 → T__'8846'__30 Source #
d_map'8322'_94 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T__'8846'__30 → T__'8846'__30 Source #
du_map'8322'_94 ∷ (AgdaAny → AgdaAny) → T__'8846'__30 → T__'8846'__30 Source #
d_assoc'691'_96 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T__'8846'__30 → T__'8846'__30 Source #
d_assoc'737'_98 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T__'8846'__30 → T__'8846'__30 Source #
d__'45''8846''45'__100 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → AgdaAny → AgdaAny → () Source #
d_fromDec_106 ∷ T_Level_18 → () → T_Dec_32 → T__'8846'__30 Source #
d_toDec_112 ∷ T_Level_18 → () → T__'8846'__30 → T_Dec_32 Source #