Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_DiffList_12 ∷ T_Level_18 → () → () Source #
d_lift_16 ∷ T_Level_18 → () → ([AgdaAny] → [AgdaAny]) → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #
d_'91''93'_24 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] Source #
du_'91''93'_24 ∷ [AgdaAny] → [AgdaAny] Source #
d__'8759'__28 ∷ T_Level_18 → () → AgdaAny → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #
d_'91'_'93'_34 ∷ T_Level_18 → () → AgdaAny → [AgdaAny] → [AgdaAny] Source #
d__'43''43'__38 ∷ T_Level_18 → () → ([AgdaAny] → [AgdaAny]) → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #
du__'43''43'__38 ∷ ([AgdaAny] → [AgdaAny]) → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #
d__'8759''691'__46 ∷ T_Level_18 → () → ([AgdaAny] → [AgdaAny]) → AgdaAny → [AgdaAny] → [AgdaAny] Source #
d_toList_54 ∷ T_Level_18 → () → ([AgdaAny] → [AgdaAny]) → [AgdaAny] Source #
d_fromList_58 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #
d_map_64 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #
d_concat_72 ∷ T_Level_18 → () → ([[AgdaAny] → [AgdaAny]] → [[AgdaAny] → [AgdaAny]]) → [AgdaAny] → [AgdaAny] Source #
d_concat'8242'_80 ∷ T_Level_18 → () → ([[AgdaAny] → [AgdaAny]] → [[AgdaAny] → [AgdaAny]]) → T_Level_18 → () → [[AgdaAny] → [AgdaAny]] → [AgdaAny] → [AgdaAny] Source #