Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_names_10 ∷ T_String_6 → [T_String_6] Source #
d_lastName_14 ∷ T_String_6 → [T_String_6] → T_String_6 Source #
d_map2_56 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] Source #
d_map2''_70 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #
d_mkList_134 ∷ [T_Term_154] → T_Term_154 Source #