Documentation

d_DiffList_12 ∷ T_Level_18 → () → () Source #

d_lift_16 ∷ T_Level_18 → () → ([AgdaAny] → [AgdaAny]) → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #

du_lift_16 ∷ ([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 #

du__'8759'__28 ∷ AgdaAny → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #

d_'91'_'93'_34 ∷ T_Level_18 → () → AgdaAny → [AgdaAny] → [AgdaAny] Source #

du_'91'_'93'_34 ∷ 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 #

du__'8759''691'__46 ∷ ([AgdaAny] → [AgdaAny]) → AgdaAny → [AgdaAny] → [AgdaAny] Source #

d_toList_54 ∷ T_Level_18 → () → ([AgdaAny] → [AgdaAny]) → [AgdaAny] Source #

du_toList_54 ∷ ([AgdaAny] → [AgdaAny]) → [AgdaAny] Source #

d_fromList_58 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du_fromList_58 ∷ [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_map_64 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #

du_map_64 ∷ (AgdaAny → AgdaAny) → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #

d_concat_72 ∷ T_Level_18 → () → ([[AgdaAny] → [AgdaAny]] → [[AgdaAny] → [AgdaAny]]) → [AgdaAny] → [AgdaAny] Source #

du_concat_72 ∷ ([[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 #

du_concat'8242'_80 ∷ [[AgdaAny] → [AgdaAny]] → [AgdaAny] → [AgdaAny] Source #

d_take_82 ∷ T_Level_18 → () → Integer → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #

du_take_82 ∷ Integer → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #

d_drop_86 ∷ T_Level_18 → () → Integer → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #

du_drop_86 ∷ Integer → ([AgdaAny] → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #