Documentation

d_Tree_44 ∷ p → p → p → p → p → p → () Source #

d_Map_206 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → () Source #

d_empty_210 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Tree_266 Source #

du_empty_210 ∷ T_Tree_266 Source #

d_singleton_212 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → AgdaAny → AgdaAny → T_Tree_266 Source #

du_singleton_212 ∷ AgdaAny → AgdaAny → T_Tree_266 Source #

d_insert_214 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → AgdaAny → AgdaAny → T_Tree_266 → T_Tree_266 Source #

du_insert_214 ∷ T_StrictTotalOrder_1280 → AgdaAny → AgdaAny → T_Tree_266 → T_Tree_266 Source #

d_insertWith_216 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → AgdaAny → (Maybe AgdaAny → AgdaAny) → T_Tree_266 → T_Tree_266 Source #

du_insertWith_216 ∷ T_StrictTotalOrder_1280 → AgdaAny → (Maybe AgdaAny → AgdaAny) → T_Tree_266 → T_Tree_266 Source #

d_delete_218 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → AgdaAny → T_Tree_266 → T_Tree_266 Source #

du_delete_218 ∷ T_StrictTotalOrder_1280 → AgdaAny → T_Tree_266 → T_Tree_266 Source #

d_lookup_220 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Tree_266 → AgdaAny → Maybe AgdaAny Source #

du_lookup_220 ∷ T_StrictTotalOrder_1280 → T_Tree_266 → AgdaAny → Maybe AgdaAny Source #

d_map_222 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Tree_266 → T_Tree_266 Source #

du_map_222 ∷ (AgdaAny → AgdaAny) → T_Tree_266 → T_Tree_266 Source #

d_member_226 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → AgdaAny → T_Tree_266 → Bool Source #

du_member_226 ∷ T_StrictTotalOrder_1280 → AgdaAny → T_Tree_266 → Bool Source #

d_headTail_228 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Tree_266 → Maybe T_Σ_14 Source #

du_headTail_228 ∷ T_StrictTotalOrder_1280 → T_Tree_266 → Maybe T_Σ_14 Source #

d_initLast_230 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Tree_266 → Maybe T_Σ_14 Source #

du_initLast_230 ∷ T_StrictTotalOrder_1280 → T_Tree_266 → Maybe T_Σ_14 Source #

d_foldr_232 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T_Tree_266 → AgdaAny Source #

du_foldr_232 ∷ (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T_Tree_266 → AgdaAny Source #

d_fromList_238 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → [T_Σ_14] → T_Tree_266 Source #

du_fromList_238 ∷ T_StrictTotalOrder_1280 → [T_Σ_14] → T_Tree_266 Source #

d_toList_240 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Tree_266 → [T_Σ_14] Source #

du_toList_240 ∷ T_Tree_266 → [T_Σ_14] Source #

d_size_242 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Tree_266 → Integer Source #

du_size_242 ∷ T_Tree_266 → Integer Source #

d_unionWith_244 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny → AgdaAny) → T_Tree_266 → T_Tree_266 → T_Tree_266 Source #

du_unionWith_244 ∷ T_StrictTotalOrder_1280 → (AgdaAny → Maybe AgdaAny → AgdaAny) → T_Tree_266 → T_Tree_266 → T_Tree_266 Source #

d_union_248 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Tree_266 → T_Tree_266 → T_Tree_266 Source #

du_union_248 ∷ T_StrictTotalOrder_1280 → T_Tree_266 → T_Tree_266 → T_Tree_266 Source #

d_unionsWith_250 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → (AgdaAny → Maybe AgdaAny → AgdaAny) → [T_Tree_266] → T_Tree_266 Source #

du_unionsWith_250 ∷ T_StrictTotalOrder_1280 → (AgdaAny → Maybe AgdaAny → AgdaAny) → [T_Tree_266] → T_Tree_266 Source #

d_unions_254 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → [T_Tree_266] → T_Tree_266 Source #

du_unions_254 ∷ T_StrictTotalOrder_1280 → [T_Tree_266] → T_Tree_266 Source #

d_intersectionWith_256 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_Tree_266 → T_Tree_266 → T_Tree_266 Source #

du_intersectionWith_256 ∷ T_StrictTotalOrder_1280 → (AgdaAny → AgdaAny → AgdaAny) → T_Tree_266 → T_Tree_266 → T_Tree_266 Source #

d_intersection_260 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → T_Tree_266 → T_Tree_266 → T_Tree_266 Source #

du_intersection_260 ∷ T_StrictTotalOrder_1280 → T_Tree_266 → T_Tree_266 → T_Tree_266 Source #

d_intersectionsWith_262 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [T_Tree_266] → T_Tree_266 Source #

du_intersectionsWith_262 ∷ T_StrictTotalOrder_1280 → (AgdaAny → AgdaAny → AgdaAny) → [T_Tree_266] → T_Tree_266 Source #

d_intersections_266 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → [T_Tree_266] → T_Tree_266 Source #

du_intersections_266 ∷ T_StrictTotalOrder_1280 → [T_Tree_266] → T_Tree_266 Source #

d__'8712''63'__268 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1280 → T_Level_18 → () → AgdaAny → T_Tree_266 → Bool Source #

du__'8712''63'__268 ∷ T_StrictTotalOrder_1280 → AgdaAny → T_Tree_266 → Bool Source #