Documentation

d__'62''62''61'__32 :: T_Level_14 -> () -> () -> T_'8868'_6 -> T_'8868'_6 -> T_'8868'_6 -> [AgdaAny] -> (AgdaAny -> [AgdaAny]) -> [AgdaAny] Source #

du__'62''62''61'__32 :: () -> () -> T_'8868'_6 -> T_'8868'_6 -> T_'8868'_6 -> [AgdaAny] -> (AgdaAny -> [AgdaAny]) -> [AgdaAny] Source #

d__'8855'__34 :: T_Level_14 -> () -> () -> T_'8868'_6 -> T_'8868'_6 -> T_'8868'_6 -> [AgdaAny] -> [AgdaAny] -> [T_Σ_14] Source #

du__'8855'__34 :: () -> () -> T_'8868'_6 -> T_'8868'_6 -> T_'8868'_6 -> [AgdaAny] -> [AgdaAny] -> [T_Σ_14] Source #

d__'8859'__36 :: T_Level_14 -> () -> () -> T_'8868'_6 -> T_'8868'_6 -> T_'8868'_6 -> [AgdaAny -> AgdaAny] -> [AgdaAny] -> [AgdaAny] Source #

du__'8859'__36 :: () -> () -> T_'8868'_6 -> T_'8868'_6 -> T_'8868'_6 -> [AgdaAny -> AgdaAny] -> [AgdaAny] -> [AgdaAny] Source #

d_return_48 :: T_Level_14 -> () -> T_'8868'_6 -> AgdaAny -> [AgdaAny] Source #

du_return_48 :: () -> T_'8868'_6 -> AgdaAny -> [AgdaAny] Source #

d_lift'45'resp_90 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Any_34 -> T_Any_34 Source #

du_lift'45'resp_90 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Any_34 -> T_Any_34 Source #

d_here'45'injective_112 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #

d_there'45'injective_118 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> AgdaAny -> T_Any_34 -> T_Any_34 -> T__'8801'__12 -> T__'8801'__12 Source #

d_'172'Any'91''93'_120 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Any_34 -> T_'8869'_4 Source #

d_Any'45'cong_128 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Kind_6 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

du_Any'45'cong_128 :: [AgdaAny] -> [AgdaAny] -> T_Kind_6 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

d_map'45'id_158 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T_Any_34 -> T__'8801'__12 Source #

d_map'45''8728'_178 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Any_34 -> T__'8801'__12 Source #

d_lookup'45'result_194 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> AgdaAny Source #

du_lookup'45'result_194 :: [AgdaAny] -> T_Any_34 -> AgdaAny Source #

d_lookup'45'index_202 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> AgdaAny Source #

du_lookup'45'index_202 :: [AgdaAny] -> T_Any_34 -> AgdaAny Source #

d_swap_214 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> [AgdaAny] -> [AgdaAny] -> (AgdaAny -> AgdaAny -> ()) -> T_Any_34 -> T_Any_34 Source #

du_swap_214 :: [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_swap'45'there_226 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> [AgdaAny] -> [AgdaAny] -> AgdaAny -> (AgdaAny -> AgdaAny -> ()) -> T_Any_34 -> T__'8801'__12 Source #

d_swap'45'invol_238 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> [AgdaAny] -> [AgdaAny] -> (AgdaAny -> AgdaAny -> ()) -> T_Any_34 -> T__'8801'__12 Source #

d_swap'8596'_252 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> [AgdaAny] -> [AgdaAny] -> (AgdaAny -> AgdaAny -> ()) -> T_Inverse_58 Source #

du_swap'8596'_252 :: [AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #

d_'8869''8596'Any'8869'_254 :: T_Level_14 -> () -> [AgdaAny] -> T_Inverse_58 Source #

du_'8869''8596'Any'8869'_254 :: [AgdaAny] -> T_Inverse_58 Source #

d_from_260 :: T_Level_14 -> () -> [AgdaAny] -> T_Level_14 -> () -> [AgdaAny] -> T_Level_14 -> () -> T_Any_34 -> AgdaAny Source #

du_from_260 :: [AgdaAny] -> T_Any_34 -> AgdaAny Source #

d_'8869''8596'Any'91''93'_268 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Inverse_58 Source #

du_'8869''8596'Any'91''93'_268 :: T_Inverse_58 Source #

d_any'8314'_272 :: T_Level_14 -> () -> [AgdaAny] -> (AgdaAny -> Bool) -> T_Any_34 -> AgdaAny Source #

du_any'8314'_272 :: [AgdaAny] -> (AgdaAny -> Bool) -> T_Any_34 -> AgdaAny Source #

d_any'8315'_304 :: T_Level_14 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> AgdaAny -> T_Any_34 Source #

du_any'8315'_304 :: (AgdaAny -> Bool) -> [AgdaAny] -> T_Any_34 Source #

d_any'8660'_338 :: T_Level_14 -> () -> [AgdaAny] -> (AgdaAny -> Bool) -> T_Equivalence_16 Source #

du_any'8660'_338 :: [AgdaAny] -> (AgdaAny -> Bool) -> T_Equivalence_16 Source #

d_Any'45''8846''8314'_342 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Level_14 -> (AgdaAny -> ()) -> T__'8846'__30 -> T_Any_34 Source #

du_Any'45''8846''8314'_342 :: [AgdaAny] -> T__'8846'__30 -> T_Any_34 Source #

d_Any'45''8846''8315'_346 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T__'8846'__30 Source #

du_Any'45''8846''8315'_346 :: [AgdaAny] -> T_Any_34 -> T__'8846'__30 Source #

d_'8846''8596'_356 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Level_14 -> (AgdaAny -> ()) -> T_Inverse_58 Source #

du_'8846''8596'_356 :: [AgdaAny] -> T_Inverse_58 Source #

d_from'8728'to_368 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T__'8846'__30 -> T__'8801'__12 Source #

d_to'8728'from_390 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T__'8801'__12 Source #

d_Any'45''215''8314'_410 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Σ_14 -> T_Any_34 Source #

du_Any'45''215''8314'_410 :: [AgdaAny] -> [AgdaAny] -> T_Σ_14 -> T_Any_34 Source #

d_Any'45''215''8315'_424 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Σ_14 Source #

du_Any'45''215''8315'_424 :: [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Σ_14 Source #

d_'215''8596'_454 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #

du_'215''8596'_454 :: [AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #

d_from'8728'to_470 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Σ_14 -> T__'8801'__12 Source #

d_to'8728'from_558 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T__'8801'__12 Source #

d_helper_624 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> AgdaAny -> AgdaAny -> T_Any_34 -> AgdaAny -> AgdaAny -> T_Any_34 -> T_Any_34 -> ((AgdaAny -> T__'8801'__12 -> T_Σ_14) -> T__'8801'__12 -> T__'8801'__12) -> T_Any_34 -> ((AgdaAny -> T__'8801'__12 -> T_Any_34) -> T__'8801'__12 -> T__'8801'__12) -> T__'8801'__12 Source #

d_Any'45'Σ'8314''691'_654 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> T_Σ_14 -> T_Any_34 Source #

du_Any'45'Σ'8314''691'_654 :: [AgdaAny] -> T_Σ_14 -> T_Any_34 Source #

d_Any'45'Σ'8315''691'_668 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Σ_14 Source #

du_Any'45'Σ'8315''691'_668 :: [AgdaAny] -> T_Any_34 -> T_Σ_14 Source #

d_singleton'8314'_676 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T_Any_34 Source #

du_singleton'8314'_676 :: AgdaAny -> T_Any_34 Source #

d_singleton'8315'_680 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> T_Any_34 -> AgdaAny Source #

du_singleton'8315'_680 :: T_Any_34 -> AgdaAny Source #

d_map'8314'_694 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_map'8314'_694 :: [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_map'8315'_700 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_map'8315'_700 :: [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_map'8314''8728'map'8315'_716 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T__'8801'__12 Source #

d_map'8315''8728'map'8314'_734 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> T_Level_14 -> [AgdaAny] -> (AgdaAny -> ()) -> T_Any_34 -> T__'8801'__12 Source #

d_map'8596'_744 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Inverse_58 Source #

du_map'8596'_744 :: [AgdaAny] -> T_Inverse_58 Source #

d_gmap_746 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_gmap_746 :: (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_mapMaybe'8314'_762 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> Maybe AgdaAny) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_mapMaybe'8314'_762 :: (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_'43''43''8314''737'_808 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_'43''43''8314''737'_808 :: [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_'43''43''8314''691'_818 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_'43''43''8314''691'_818 :: [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_'43''43''8315'_832 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T__'8846'__30 Source #

du_'43''43''8315'_832 :: [AgdaAny] -> T_Any_34 -> T__'8846'__30 Source #

d_'43''43''8314''8728''43''43''8315'_854 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T__'8801'__12 Source #

d_'43''43''8315''8728''43''43''8314'_900 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T__'8846'__30 -> T__'8801'__12 Source #

d_'43''43''8596'_936 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #

du_'43''43''8596'_936 :: [AgdaAny] -> T_Inverse_58 Source #

d_'43''43''45'comm_944 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_'43''43''45'comm_944 :: [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_'43''43''45'comm'8728''43''43''45'comm_956 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T__'8801'__12 Source #

d_'43''43''8596''43''43'_1024 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #

du_'43''43''8596''43''43'_1024 :: [AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #

d_'43''43''45'insert_1034 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> AgdaAny -> T_Any_34 Source #

du_'43''43''45'insert_1034 :: AgdaAny -> [AgdaAny] -> AgdaAny -> T_Any_34 Source #

d_concat'8314'_1052 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [[AgdaAny]] -> T_Any_34 -> T_Any_34 Source #

du_concat'8314'_1052 :: [[AgdaAny]] -> T_Any_34 -> T_Any_34 Source #

d_concat'8315'_1062 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [[AgdaAny]] -> T_Any_34 -> T_Any_34 Source #

du_concat'8315'_1062 :: [[AgdaAny]] -> T_Any_34 -> T_Any_34 Source #

d_concat'8315''8728''43''43''8314''737'_1114 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [[AgdaAny]] -> T_Any_34 -> T__'8801'__12 Source #

d_concat'8315''8728''43''43''8314''691'_1134 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [[AgdaAny]] -> T_Any_34 -> T__'8801'__12 Source #

d_concat'8314''8728'concat'8315'_1156 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [[AgdaAny]] -> T_Any_34 -> T__'8801'__12 Source #

d_concat'8315''8728'concat'8314'_1206 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [[AgdaAny]] -> T_Any_34 -> T__'8801'__12 Source #

d_concat'8596'_1222 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [[AgdaAny]] -> T_Inverse_58 Source #

du_concat'8596'_1222 :: [[AgdaAny]] -> T_Inverse_58 Source #

d_cartesianProductWith'8314'_1242 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Any_34 -> T_Any_34 -> T_Any_34 Source #

du_cartesianProductWith'8314'_1242 :: (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Any_34 -> T_Any_34 -> T_Any_34 Source #

d_cartesianProductWith'8315'_1264 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Σ_14 Source #

du_cartesianProductWith'8315'_1264 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Σ_14 Source #

d_cartesianProduct'8314'_1342 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Any_34 -> T_Any_34 Source #

du_cartesianProduct'8314'_1342 :: [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Any_34 -> T_Any_34 Source #

d_cartesianProduct'8315'_1348 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Σ_14 Source #

du_cartesianProduct'8315'_1348 :: [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Σ_14 Source #

d_applyUpTo'8314'_1356 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (Integer -> AgdaAny) -> Integer -> Integer -> AgdaAny -> T__'8804'__18 -> T_Any_34 Source #

du_applyUpTo'8314'_1356 :: AgdaAny -> T__'8804'__18 -> T_Any_34 Source #

d_applyUpTo'8315'_1372 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (Integer -> AgdaAny) -> Integer -> T_Any_34 -> T_Σ_14 Source #

du_applyUpTo'8315'_1372 :: T_Any_34 -> T_Σ_14 Source #

d_applyDownFrom'8314'_1418 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (Integer -> AgdaAny) -> Integer -> Integer -> AgdaAny -> T__'8804'__18 -> T_Any_34 Source #

du_applyDownFrom'8314'_1418 :: Integer -> Integer -> AgdaAny -> T__'8804'__18 -> T_Any_34 Source #

d_applyDownFrom'8315'_1462 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (Integer -> AgdaAny) -> Integer -> T_Any_34 -> T_Σ_14 Source #

du_applyDownFrom'8315'_1462 :: Integer -> T_Any_34 -> T_Σ_14 Source #

d_tabulate'8314'_1498 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> Integer -> (T_Fin_6 -> AgdaAny) -> T_Fin_6 -> AgdaAny -> T_Any_34 Source #

du_tabulate'8314'_1498 :: T_Fin_6 -> AgdaAny -> T_Any_34 Source #

d_tabulate'8315'_1512 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> Integer -> (T_Fin_6 -> AgdaAny) -> T_Any_34 -> T_Σ_14 Source #

du_tabulate'8315'_1512 :: T_Any_34 -> T_Σ_14 Source #

d_filter'8314'_1532 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T__'8846'__30 Source #

du_filter'8314'_1532 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Any_34 -> T__'8846'__30 Source #

d_filter'8315'_1568 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_filter'8315'_1568 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_derun'8314''45'aux_1620 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T_Any_34 Source #

du_derun'8314''45'aux_1620 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T_Any_34 Source #

d_derun'8314'_1664 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Any_34 -> T_Any_34 Source #

du_derun'8314'_1664 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Any_34 -> T_Any_34 Source #

d_deduplicate'8314'_1710 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Any_34 -> T_Any_34 Source #

du_deduplicate'8314'_1710 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Any_34 -> T_Any_34 Source #

d_derun'8315''45'aux_1768 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_derun'8315''45'aux_1768 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_derun'8315'_1808 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_derun'8315'_1808 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_deduplicate'8315'_1816 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_deduplicate'8315'_1816 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_map'45'with'45''8712''8314'_1846 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_Σ_14 -> T_Any_34 Source #

du_map'45'with'45''8712''8314'_1846 :: [AgdaAny] -> T_Σ_14 -> T_Any_34 Source #

d_map'45'with'45''8712''8315'_1868 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_Any_34 -> T_Σ_14 Source #

du_map'45'with'45''8712''8315'_1868 :: [AgdaAny] -> T_Any_34 -> T_Σ_14 Source #

d_map'45'with'45''8712''8596'_1896 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_Inverse_58 Source #

du_map'45'with'45''8712''8596'_1896 :: [AgdaAny] -> T_Inverse_58 Source #

d_from'8728'to_1914 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_Level_14 -> () -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_Σ_14 -> T__'8801'__12 Source #

d_to'8728'from_1938 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_Level_14 -> () -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_Any_34 -> T__'8801'__12 Source #

d_reverseAcc'8314'_1960 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T__'8846'__30 -> T_Any_34 Source #

du_reverseAcc'8314'_1960 :: [AgdaAny] -> T__'8846'__30 -> T_Any_34 Source #

d_reverseAcc'8315'_1994 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T__'8846'__30 Source #

du_reverseAcc'8315'_1994 :: [AgdaAny] -> T_Any_34 -> T__'8846'__30 Source #

d_reverse'8314'_2062 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_reverse'8314'_2062 :: [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_reverse'8315'_2066 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

du_reverse'8315'_2066 :: [AgdaAny] -> T_Any_34 -> T_Any_34 Source #

d_return'8314'_2088 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T_Any_34 Source #

du_return'8314'_2088 :: AgdaAny -> T_Any_34 Source #

d_return'8315'_2090 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> T_Any_34 -> AgdaAny Source #

du_return'8315'_2090 :: T_Any_34 -> AgdaAny Source #

d_return'8314''8728'return'8315'_2096 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> T_Any_34 -> T__'8801'__12 Source #

d_return'8315''8728'return'8314'_2102 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> AgdaAny -> T__'8801'__12 Source #

d_return'8596'_2106 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> T_Inverse_58 Source #

du_return'8596'_2106 :: T_Inverse_58 Source #

d_'8759''8596'_2118 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_Inverse_58 Source #

du_'8759''8596'_2118 :: AgdaAny -> T_Inverse_58 Source #

d_'62''62''61''8596'_2144 :: T_Level_14 -> T_Level_14 -> () -> () -> (AgdaAny -> ()) -> (AgdaAny -> [AgdaAny]) -> [AgdaAny] -> T_Inverse_58 Source #

du_'62''62''61''8596'_2144 :: (AgdaAny -> [AgdaAny]) -> [AgdaAny] -> T_Inverse_58 Source #

d_'8859''8596'_2160 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> ()) -> [AgdaAny -> AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #

du_'8859''8596'_2160 :: [AgdaAny -> AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #

d_'8859''8314''8242'_2192 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> [AgdaAny -> AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Any_34 -> T_Any_34 Source #

du_'8859''8314''8242'_2192 :: [AgdaAny -> AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Any_34 -> T_Any_34 Source #

d_'8855''8596'_2212 :: T_Level_14 -> () -> () -> T_Level_14 -> (T_Σ_14 -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #

du_'8855''8596'_2212 :: [AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #

d_'8855''8596''8242'_2244 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #

du_'8855''8596''8242'_2244 :: [AgdaAny] -> [AgdaAny] -> T_Inverse_58 Source #