Documentation

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

d_Map_178 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → () Source #

d_empty_182 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → T_Tree_240 Source #

du_empty_182 ∷ T_Tree_240 Source #

d_singleton_184 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → AgdaAny → AgdaAny → T_Tree_240 Source #

du_singleton_184 ∷ AgdaAny → AgdaAny → T_Tree_240 Source #

d_insert_186 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → AgdaAny → AgdaAny → T_Tree_240 → T_Tree_240 Source #

du_insert_186 ∷ T_StrictTotalOrder_864 → AgdaAny → AgdaAny → T_Tree_240 → T_Tree_240 Source #

d_insertWith_188 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → AgdaAny → (Maybe AgdaAny → AgdaAny) → T_Tree_240 → T_Tree_240 Source #

du_insertWith_188 ∷ T_StrictTotalOrder_864 → AgdaAny → (Maybe AgdaAny → AgdaAny) → T_Tree_240 → T_Tree_240 Source #

d_delete_190 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → AgdaAny → T_Tree_240 → T_Tree_240 Source #

du_delete_190 ∷ T_StrictTotalOrder_864 → AgdaAny → T_Tree_240 → T_Tree_240 Source #

d_lookup_192 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → AgdaAny → T_Tree_240 → Maybe AgdaAny Source #

du_lookup_192 ∷ T_StrictTotalOrder_864 → AgdaAny → T_Tree_240 → Maybe AgdaAny Source #

d_map_194 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Tree_240 → T_Tree_240 Source #

du_map_194 ∷ (AgdaAny → AgdaAny) → T_Tree_240 → T_Tree_240 Source #

d__'8712''63'__198 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → AgdaAny → T_Tree_240 → Bool Source #

du__'8712''63'__198 ∷ T_StrictTotalOrder_864 → AgdaAny → T_Tree_240 → Bool Source #

d_headTail_200 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → T_Tree_240 → Maybe T_Σ_14 Source #

du_headTail_200 ∷ T_StrictTotalOrder_864 → T_Tree_240 → Maybe T_Σ_14 Source #

d_initLast_202 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → T_Tree_240 → Maybe T_Σ_14 Source #

du_initLast_202 ∷ T_StrictTotalOrder_864 → T_Tree_240 → Maybe T_Σ_14 Source #

d_foldr_204 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T_Tree_240 → AgdaAny Source #

du_foldr_204 ∷ (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T_Tree_240 → AgdaAny Source #

d_fromList_210 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → [T_Σ_14] → T_Tree_240 Source #

du_fromList_210 ∷ T_StrictTotalOrder_864 → [T_Σ_14] → T_Tree_240 Source #

d_toList_212 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → T_Tree_240 → [T_Σ_14] Source #

du_toList_212 ∷ T_Tree_240 → [T_Σ_14] Source #

d_size_214 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → T_Tree_240 → Integer Source #

du_size_214 ∷ T_Tree_240 → Integer Source #

d_unionWith_216 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny → AgdaAny) → T_Tree_240 → T_Tree_240 → T_Tree_240 Source #

du_unionWith_216 ∷ T_StrictTotalOrder_864 → (AgdaAny → Maybe AgdaAny → AgdaAny) → T_Tree_240 → T_Tree_240 → T_Tree_240 Source #

d_union_220 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → T_Tree_240 → T_Tree_240 → T_Tree_240 Source #

du_union_220 ∷ T_StrictTotalOrder_864 → T_Tree_240 → T_Tree_240 → T_Tree_240 Source #

d_unionsWith_222 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → (AgdaAny → Maybe AgdaAny → AgdaAny) → [T_Tree_240] → T_Tree_240 Source #

du_unionsWith_222 ∷ T_StrictTotalOrder_864 → (AgdaAny → Maybe AgdaAny → AgdaAny) → [T_Tree_240] → T_Tree_240 Source #

d_unions_226 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → [T_Tree_240] → T_Tree_240 Source #

du_unions_226 ∷ T_StrictTotalOrder_864 → [T_Tree_240] → T_Tree_240 Source #

d_intersectionWith_228 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_Tree_240 → T_Tree_240 → T_Tree_240 Source #

du_intersectionWith_228 ∷ T_StrictTotalOrder_864 → (AgdaAny → AgdaAny → AgdaAny) → T_Tree_240 → T_Tree_240 → T_Tree_240 Source #

d_intersection_232 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → T_Tree_240 → T_Tree_240 → T_Tree_240 Source #

du_intersection_232 ∷ T_StrictTotalOrder_864 → T_Tree_240 → T_Tree_240 → T_Tree_240 Source #

d_intersectionsWith_234 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [T_Tree_240] → T_Tree_240 Source #

du_intersectionsWith_234 ∷ T_StrictTotalOrder_864 → (AgdaAny → AgdaAny → AgdaAny) → [T_Tree_240] → T_Tree_240 Source #

d_intersections_238 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_StrictTotalOrder_864 → T_Level_18 → () → [T_Tree_240] → T_Tree_240 Source #

du_intersections_238 ∷ T_StrictTotalOrder_864 → [T_Tree_240] → T_Tree_240 Source #