Documentation

d_K'38'__106 :: p -> p -> p -> p -> p -> p -> () #

d_Tree_112 :: p -> p -> p -> p -> p -> p -> p -> p -> p -> () #

d_Value_114 :: p -> p -> p -> p -> p -> () #

d_const_120 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> () -> T_Value_38 #

du_const_120 :: T_Level_18 -> () -> T_Value_38 #

d_fromPair_128 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> T_Σ_14 -> T_K'38'__56 #

du_fromPair_128 :: T_Level_18 -> T_Value_38 -> T_Σ_14 -> T_K'38'__56 #

d_toPair_182 :: T_K'38'__56 -> T_Σ_14 #

d_key_204 :: T_K'38'__56 -> AgdaAny #

d_value_206 :: T_K'38'__56 -> AgdaAny #

d_family_216 :: T_Value_38 -> AgdaAny -> () #

d_respects_218 :: T_Value_38 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_Tree_254 :: p -> p -> p -> p -> p -> p -> () #

data T_Tree_254 #

d_Val_272 :: T_Value_38 -> AgdaAny -> () #

d_empty_274 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> T_Tree_254 #

du_empty_274 :: T_Tree_254 #

d_singleton_278 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> AgdaAny -> AgdaAny -> T_Tree_254 #

du_singleton_278 :: AgdaAny -> AgdaAny -> T_Tree_254 #

d_insert_286 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> AgdaAny -> AgdaAny -> T_Tree_254 -> T_Tree_254 #

du_insert_286 :: T_StrictTotalOrder_1036 -> T_Value_38 -> AgdaAny -> AgdaAny -> T_Tree_254 -> T_Tree_254 #

d_insertWith_296 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> AgdaAny -> (Maybe AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 #

du_insertWith_296 :: T_StrictTotalOrder_1036 -> T_Value_38 -> AgdaAny -> (Maybe AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 #

d_delete_304 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> AgdaAny -> T_Tree_254 -> T_Tree_254 #

du_delete_304 :: T_StrictTotalOrder_1036 -> AgdaAny -> T_Tree_254 -> T_Tree_254 #

d_lookup_312 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> T_Tree_254 -> AgdaAny -> Maybe AgdaAny #

du_lookup_312 :: T_StrictTotalOrder_1036 -> T_Value_38 -> T_Tree_254 -> AgdaAny -> Maybe AgdaAny #

d_Val_330 :: T_StrictTotalOrder_1036 -> T_Level_18 -> T_Level_18 -> T_Value_38 -> T_Value_38 -> AgdaAny -> () #

d_Wal_332 :: T_StrictTotalOrder_1036 -> T_Level_18 -> T_Level_18 -> T_Value_38 -> T_Value_38 -> AgdaAny -> () #

d_map_334 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Level_18 -> T_Value_38 -> T_Value_38 -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 #

du_map_334 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 #

d_Val_348 :: T_Value_38 -> AgdaAny -> () #

d_member_350 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> AgdaAny -> T_Tree_254 -> Bool #

du_member_350 :: T_StrictTotalOrder_1036 -> T_Value_38 -> AgdaAny -> T_Tree_254 -> Bool #

d_headTail_356 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> T_Tree_254 -> Maybe T_Σ_14 #

du_headTail_356 :: T_StrictTotalOrder_1036 -> T_Tree_254 -> Maybe T_Σ_14 #

d_initLast_368 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> T_Tree_254 -> Maybe T_Σ_14 #

du_initLast_368 :: T_StrictTotalOrder_1036 -> T_Tree_254 -> Maybe T_Σ_14 #

d_foldr_382 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T_Tree_254 -> AgdaAny #

du_foldr_382 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T_Tree_254 -> AgdaAny #

d_fromList_390 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> [T_K'38'__56] -> T_Tree_254 #

du_fromList_390 :: T_StrictTotalOrder_1036 -> T_Value_38 -> [T_K'38'__56] -> T_Tree_254 #

d_toList_392 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> T_Tree_254 -> [T_K'38'__56] #

du_toList_392 :: T_Tree_254 -> [T_K'38'__56] #

d_size_396 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> T_Tree_254 -> Integer #

du_size_396 :: T_Tree_254 -> Integer #

d_Val_412 :: T_StrictTotalOrder_1036 -> T_Level_18 -> T_Level_18 -> T_Value_38 -> T_Value_38 -> AgdaAny -> () #

d_Wal_414 :: T_StrictTotalOrder_1036 -> T_Level_18 -> T_Level_18 -> T_Value_38 -> T_Value_38 -> AgdaAny -> () #

d_unionWith_418 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Level_18 -> T_Value_38 -> T_Value_38 -> (AgdaAny -> AgdaAny -> Maybe AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

du_unionWith_418 :: T_StrictTotalOrder_1036 -> T_Value_38 -> (AgdaAny -> AgdaAny -> Maybe AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

d_Val_438 :: T_Value_38 -> AgdaAny -> () #

d_union_440 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

du_union_440 :: T_StrictTotalOrder_1036 -> T_Value_38 -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

d_unionsWith_444 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> (AgdaAny -> AgdaAny -> Maybe AgdaAny -> AgdaAny) -> [T_Tree_254] -> T_Tree_254 #

du_unionsWith_444 :: T_StrictTotalOrder_1036 -> T_Value_38 -> (AgdaAny -> AgdaAny -> Maybe AgdaAny -> AgdaAny) -> [T_Tree_254] -> T_Tree_254 #

d_unions_450 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> [T_Tree_254] -> T_Tree_254 #

du_unions_450 :: T_StrictTotalOrder_1036 -> T_Value_38 -> [T_Tree_254] -> T_Tree_254 #

d_Val_468 :: T_StrictTotalOrder_1036 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Value_38 -> T_Value_38 -> T_Value_38 -> AgdaAny -> () #

d_Wal_470 :: T_StrictTotalOrder_1036 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Value_38 -> T_Value_38 -> T_Value_38 -> AgdaAny -> () #

d_Xal_472 :: T_StrictTotalOrder_1036 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Value_38 -> T_Value_38 -> T_Value_38 -> AgdaAny -> () #

d_intersectionWith_476 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Value_38 -> T_Value_38 -> T_Value_38 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

du_intersectionWith_476 :: T_StrictTotalOrder_1036 -> T_Value_38 -> T_Value_38 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

d_cons_490 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Value_38 -> T_Value_38 -> T_Value_38 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Tree_254 -> T_Tree_254 -> AgdaAny -> AgdaAny -> T_Tree_254 -> T_Tree_254 #

du_cons_490 :: T_StrictTotalOrder_1036 -> T_Value_38 -> T_Value_38 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Tree_254 -> AgdaAny -> AgdaAny -> T_Tree_254 -> T_Tree_254 #

d_Val_508 :: T_Value_38 -> AgdaAny -> () #

d_intersection_510 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

du_intersection_510 :: T_StrictTotalOrder_1036 -> T_Value_38 -> T_Tree_254 -> T_Tree_254 -> T_Tree_254 #

d_intersectionsWith_514 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [T_Tree_254] -> T_Tree_254 #

du_intersectionsWith_514 :: T_StrictTotalOrder_1036 -> T_Value_38 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [T_Tree_254] -> T_Tree_254 #

d_intersections_524 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> [T_Tree_254] -> T_Tree_254 #

du_intersections_524 :: T_StrictTotalOrder_1036 -> T_Value_38 -> [T_Tree_254] -> T_Tree_254 #

d__'8712''63'__530 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_StrictTotalOrder_1036 -> T_Level_18 -> T_Value_38 -> AgdaAny -> T_Tree_254 -> Bool #

du__'8712''63'__530 :: T_StrictTotalOrder_1036 -> T_Value_38 -> AgdaAny -> T_Tree_254 -> Bool #