Documentation

d_All_44 :: p -> p -> p -> p -> p -> () #

data T_All_44 #

d__'91'_'93''61'__74 :: p -> p -> p -> p -> p -> p -> p -> p -> p -> () #

data T__'91'_'93''61'__74 #

d_Null_106 :: T_Level_18 -> () -> [AgdaAny] -> () #

d_uncons_108 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_All_44 -> T_Σ_14 #

du_uncons_108 :: T_All_44 -> T_Σ_14 #

d_head_114 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_All_44 -> AgdaAny #

du_head_114 :: T_All_44 -> AgdaAny #

d_tail_116 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_All_44 -> T_All_44 #

du_tail_116 :: T_All_44 -> T_All_44 #

d_reduce_122 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> () -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> [AgdaAny] #

du_reduce_122 :: [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> [AgdaAny] #

d_construct_136 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14 #

du_construct_136 :: (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14 #

d_fromList_148 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> [T_Σ_14] -> T_All_44 #

du_fromList_148 :: [T_Σ_14] -> T_All_44 #

d_toList_156 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> [AgdaAny] -> T_All_44 -> [T_Σ_14] #

du_toList_156 :: [AgdaAny] -> T_All_44 -> [T_Σ_14] #

d_map_164 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> T_All_44 #

du_map_164 :: (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> T_All_44 #

d_zipWith_174 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Σ_14 -> AgdaAny) -> [AgdaAny] -> T_Σ_14 -> T_All_44 #

du_zipWith_174 :: (AgdaAny -> T_Σ_14 -> AgdaAny) -> [AgdaAny] -> T_Σ_14 -> T_All_44 #

d_unzipWith_188 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_All_44 -> T_Σ_14 #

du_unzipWith_188 :: (AgdaAny -> AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_All_44 -> T_Σ_14 #

d_zip_198 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Σ_14 -> T_All_44 #

du_zip_198 :: [AgdaAny] -> T_Σ_14 -> T_All_44 #

d_unzip_200 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> [AgdaAny] -> T_All_44 -> T_Σ_14 #

du_unzip_200 :: [AgdaAny] -> T_All_44 -> T_Σ_14 #

d__'8712'__240 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> () #

d_tabulate'8347'_256 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> (AgdaAny -> ()) -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_All_44 #

du_tabulate'8347'_256 :: T_Setoid_44 -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_All_44 #

d_tabulate_264 :: T_Level_18 -> () -> [AgdaAny] -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_All_44 #

du_tabulate_264 :: [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_All_44 #

d_self_268 :: T_Level_18 -> () -> [AgdaAny] -> T_All_44 #

du_self_268 :: [AgdaAny] -> T_All_44 #

d_updateAt_274 :: T_Level_18 -> () -> AgdaAny -> [AgdaAny] -> T_Level_18 -> (AgdaAny -> ()) -> T_Any_34 -> (AgdaAny -> AgdaAny) -> T_All_44 -> T_All_44 #

du_updateAt_274 :: [AgdaAny] -> T_Any_34 -> (AgdaAny -> AgdaAny) -> T_All_44 -> T_All_44 #

d__'91'_'93''37''61'__292 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> [AgdaAny] -> AgdaAny -> T_All_44 -> T_Any_34 -> (AgdaAny -> AgdaAny) -> T_All_44 #

du__'91'_'93''37''61'__292 :: [AgdaAny] -> T_All_44 -> T_Any_34 -> (AgdaAny -> AgdaAny) -> T_All_44 #

d__'91'_'93''8788'__300 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> [AgdaAny] -> AgdaAny -> T_All_44 -> T_Any_34 -> AgdaAny -> T_All_44 #

du__'91'_'93''8788'__300 :: [AgdaAny] -> T_All_44 -> T_Any_34 -> AgdaAny -> T_All_44 #

d_sequenceA_358 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawApplicative_20 -> [AgdaAny] -> T_All_44 -> AgdaAny #

du_sequenceA_358 :: T_RawApplicative_20 -> [AgdaAny] -> T_All_44 -> AgdaAny #

d_mapA_366 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> AgdaAny #

du_mapA_366 :: T_RawApplicative_20 -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> AgdaAny #

d_forA_372 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_Level_18 -> [AgdaAny] -> (AgdaAny -> ()) -> T_All_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny #

du_forA_372 :: T_RawApplicative_20 -> [AgdaAny] -> T_All_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny #

d_App_394 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawMonad_24 -> T_RawApplicative_20 #

du_App_394 :: T_RawMonad_24 -> T_RawApplicative_20 #

d_sequenceM_396 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawMonad_24 -> [AgdaAny] -> T_All_44 -> AgdaAny #

du_sequenceM_396 :: T_RawMonad_24 -> [AgdaAny] -> T_All_44 -> AgdaAny #

d_mapM_400 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawMonad_24 -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> AgdaAny #

du_mapM_400 :: T_RawMonad_24 -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> AgdaAny #

d_forM_404 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawMonad_24 -> T_Level_18 -> [AgdaAny] -> (AgdaAny -> ()) -> T_All_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny #

du_forM_404 :: T_RawMonad_24 -> [AgdaAny] -> T_All_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny #

d_lookupAny_408 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Level_18 -> (AgdaAny -> ()) -> T_All_44 -> T_Any_34 -> T_Σ_14 #

du_lookupAny_408 :: [AgdaAny] -> T_All_44 -> T_Any_34 -> T_Σ_14 #

d_lookupWith_424 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> T_Any_34 -> AgdaAny #

du_lookupWith_424 :: [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> T_Any_34 -> AgdaAny #

d_lookup_434 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> [AgdaAny] -> T_All_44 -> AgdaAny -> T_Any_34 -> AgdaAny #

du_lookup_434 :: [AgdaAny] -> T_All_44 -> T_Any_34 -> AgdaAny #

d_'46'extendedlambda0_438 :: T_Level_18 -> T_Level_18 -> () -> (AgdaAny -> ()) -> [AgdaAny] -> T_All_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny #

du_'46'extendedlambda0_438 :: AgdaAny -> AgdaAny #

d__'8776'__458 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> (AgdaAny -> ()) -> AgdaAny -> AgdaAny -> () #

d__'8712'__480 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> () #

d_lookup'8347'_496 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> (AgdaAny -> ()) -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> AgdaAny -> T_Any_34 -> AgdaAny #

du_lookup'8347'_496 :: T_Setoid_44 -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> AgdaAny -> T_Any_34 -> AgdaAny #

d_all'63'_506 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Dec_20 #

du_all'63'_506 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Dec_20 #

d_universal_516 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 #

du_universal_516 :: (AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 #

d_universal'45'U_526 :: T_Level_18 -> () -> [AgdaAny] -> T_All_44 #

du_universal'45'U_526 :: [AgdaAny] -> T_All_44 #

d_irrelevant_528 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T_All_44 -> T_All_44 -> T__'8801'__12 #

d_satisfiable_542 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> T_Σ_14 #

du_satisfiable_542 :: T_Σ_14 #

d_decide_544 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T__'8846'__30) -> [AgdaAny] -> T__'8846'__30 #

du_decide_544 :: (AgdaAny -> T__'8846'__30) -> [AgdaAny] -> T__'8846'__30 #

d_all_576 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Dec_20 #