Documentation

d_Tree_42 ∷ p → p → p → p → p → p → () Source #

d_Map_194 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → () Source #

d_empty_198 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Tree_254 Source #

du_empty_198 ∷ T_Tree_254 Source #

d_singleton_200 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → AgdaAny → AgdaAny → T_Tree_254 Source #

du_singleton_200 ∷ AgdaAny → AgdaAny → T_Tree_254 Source #

d_insert_202 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → AgdaAny → AgdaAny → T_Tree_254 → T_Tree_254 Source #

du_insert_202 ∷ T_StrictTotalOrder_1036 → AgdaAny → AgdaAny → T_Tree_254 → T_Tree_254 Source #

d_insertWith_204 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → AgdaAny → (Maybe AgdaAny → AgdaAny) → T_Tree_254 → T_Tree_254 Source #

du_insertWith_204 ∷ T_StrictTotalOrder_1036 → AgdaAny → (Maybe AgdaAny → AgdaAny) → T_Tree_254 → T_Tree_254 Source #

d_delete_206 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → AgdaAny → T_Tree_254 → T_Tree_254 Source #

du_delete_206 ∷ T_StrictTotalOrder_1036 → AgdaAny → T_Tree_254 → T_Tree_254 Source #

d_lookup_208 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Tree_254 → AgdaAny → Maybe AgdaAny Source #

du_lookup_208 ∷ T_StrictTotalOrder_1036 → T_Tree_254 → AgdaAny → Maybe AgdaAny Source #

d_map_210 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Tree_254 → T_Tree_254 Source #

du_map_210 ∷ (AgdaAny → AgdaAny) → T_Tree_254 → T_Tree_254 Source #

d_member_214 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → AgdaAny → T_Tree_254 → Bool Source #

du_member_214 ∷ T_StrictTotalOrder_1036 → AgdaAny → T_Tree_254 → Bool Source #

d_headTail_216 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Tree_254 → Maybe T_Σ_14 Source #

du_headTail_216 ∷ T_StrictTotalOrder_1036 → T_Tree_254 → Maybe T_Σ_14 Source #

d_initLast_218 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Tree_254 → Maybe T_Σ_14 Source #

du_initLast_218 ∷ T_StrictTotalOrder_1036 → T_Tree_254 → Maybe T_Σ_14 Source #

d_foldr_220 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T_Tree_254 → AgdaAny Source #

du_foldr_220 ∷ (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T_Tree_254 → AgdaAny Source #

d_fromList_226 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → [T_Σ_14] → T_Tree_254 Source #

du_fromList_226 ∷ T_StrictTotalOrder_1036 → [T_Σ_14] → T_Tree_254 Source #

d_toList_228 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Tree_254 → [T_Σ_14] Source #

du_toList_228 ∷ T_Tree_254 → [T_Σ_14] Source #

d_size_230 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Tree_254 → Integer Source #

du_size_230 ∷ T_Tree_254 → Integer Source #

d_unionWith_232 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny → AgdaAny) → T_Tree_254 → T_Tree_254 → T_Tree_254 Source #

du_unionWith_232 ∷ T_StrictTotalOrder_1036 → (AgdaAny → Maybe AgdaAny → AgdaAny) → T_Tree_254 → T_Tree_254 → T_Tree_254 Source #

d_union_236 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Tree_254 → T_Tree_254 → T_Tree_254 Source #

du_union_236 ∷ T_StrictTotalOrder_1036 → T_Tree_254 → T_Tree_254 → T_Tree_254 Source #

d_unionsWith_238 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → (AgdaAny → Maybe AgdaAny → AgdaAny) → [T_Tree_254] → T_Tree_254 Source #

du_unionsWith_238 ∷ T_StrictTotalOrder_1036 → (AgdaAny → Maybe AgdaAny → AgdaAny) → [T_Tree_254] → T_Tree_254 Source #

d_unions_242 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → [T_Tree_254] → T_Tree_254 Source #

du_unions_242 ∷ T_StrictTotalOrder_1036 → [T_Tree_254] → T_Tree_254 Source #

d_intersectionWith_244 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_Tree_254 → T_Tree_254 → T_Tree_254 Source #

du_intersectionWith_244 ∷ T_StrictTotalOrder_1036 → (AgdaAny → AgdaAny → AgdaAny) → T_Tree_254 → T_Tree_254 → T_Tree_254 Source #

d_intersection_248 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → T_Tree_254 → T_Tree_254 → T_Tree_254 Source #

du_intersection_248 ∷ T_StrictTotalOrder_1036 → T_Tree_254 → T_Tree_254 → T_Tree_254 Source #

d_intersectionsWith_250 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [T_Tree_254] → T_Tree_254 Source #

du_intersectionsWith_250 ∷ T_StrictTotalOrder_1036 → (AgdaAny → AgdaAny → AgdaAny) → [T_Tree_254] → T_Tree_254 Source #

d_intersections_254 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → [T_Tree_254] → T_Tree_254 Source #

du_intersections_254 ∷ T_StrictTotalOrder_1036 → [T_Tree_254] → T_Tree_254 Source #

d__'8712''63'__256 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_1036 → T_Level_18 → () → AgdaAny → T_Tree_254 → Bool Source #

du__'8712''63'__256 ∷ T_StrictTotalOrder_1036 → AgdaAny → T_Tree_254 → Bool Source #