Documentation

d_All_44 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #

data T_All_44 Source #

d__'91'_'93''61'__74 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> p9 -> () Source #

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

d_Null_106 :: T_Level_14 -> () -> [AgdaAny] -> () Source #

d_uncons_110 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_All_44 -> T_Σ_14 Source #

du_uncons_110 :: T_All_44 -> T_Σ_14 Source #

d_head_116 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

du_head_116 :: T_All_44 -> AgdaAny Source #

d_tail_118 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_All_44 -> T_All_44 Source #

du_tail_118 :: T_All_44 -> T_All_44 Source #

d_reduce_124 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> [AgdaAny] Source #

du_reduce_124 :: [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> [AgdaAny] Source #

d_construct_138 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14 Source #

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

d_fromList_150 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [T_Σ_14] -> T_All_44 Source #

du_fromList_150 :: [T_Σ_14] -> T_All_44 Source #

d_toList_158 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_All_44 -> [T_Σ_14] Source #

du_toList_158 :: [AgdaAny] -> T_All_44 -> [T_Σ_14] Source #

d_map_166 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> T_All_44 Source #

du_map_166 :: (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> T_All_44 Source #

d_zipWith_176 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Σ_14 -> AgdaAny) -> [AgdaAny] -> T_Σ_14 -> T_All_44 Source #

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

d_unzipWith_190 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_All_44 -> T_Σ_14 Source #

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

d_zip_200 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Σ_14 -> T_All_44 Source #

du_zip_200 :: [AgdaAny] -> T_Σ_14 -> T_All_44 Source #

d_unzip_202 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_All_44 -> T_Σ_14 Source #

du_unzip_202 :: [AgdaAny] -> T_All_44 -> T_Σ_14 Source #

d__'8712'__242 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> () Source #

d_tabulate'8347'_260 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> ()) -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_All_44 Source #

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

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

du_tabulate_272 :: [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_All_44 Source #

d_self_276 :: T_Level_14 -> () -> [AgdaAny] -> T_All_44 Source #

du_self_276 :: [AgdaAny] -> T_All_44 Source #

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

du_updateAt_282 :: [AgdaAny] -> T_Any_34 -> (AgdaAny -> AgdaAny) -> T_All_44 -> T_All_44 Source #

d__'91'_'93''37''61'__300 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> [AgdaAny] -> AgdaAny -> T_All_44 -> T_Any_34 -> (AgdaAny -> AgdaAny) -> T_All_44 Source #

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

d__'91'_'93''8788'__308 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> [AgdaAny] -> AgdaAny -> T_All_44 -> T_Any_34 -> AgdaAny -> T_All_44 Source #

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

d_sequenceA_356 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIApplicative_38 -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

du_sequenceA_356 :: T_RawIApplicative_38 -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

d_mapA_364 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIApplicative_38 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

du_mapA_364 :: T_RawIApplicative_38 -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

d_forA_370 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIApplicative_38 -> T_Level_14 -> [AgdaAny] -> (AgdaAny -> ()) -> T_All_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny Source #

du_forA_370 :: T_RawIApplicative_38 -> [AgdaAny] -> T_All_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny Source #

d_App_392 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIMonad_32 -> T_RawIApplicative_38 Source #

du_App_392 :: T_RawIMonad_32 -> T_RawIApplicative_38 Source #

d_sequenceM_394 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIMonad_32 -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

du_sequenceM_394 :: T_RawIMonad_32 -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

d_mapM_398 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIMonad_32 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

du_mapM_398 :: T_RawIMonad_32 -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

d_forM_402 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIMonad_32 -> T_Level_14 -> [AgdaAny] -> (AgdaAny -> ()) -> T_All_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny Source #

du_forM_402 :: T_RawIMonad_32 -> [AgdaAny] -> T_All_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny Source #

d_lookupAny_406 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Level_14 -> (AgdaAny -> ()) -> T_All_44 -> T_Any_34 -> T_Σ_14 Source #

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

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

du_lookupWith_422 :: [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> T_Any_34 -> AgdaAny Source #

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

du_lookup_432 :: [AgdaAny] -> T_All_44 -> T_Any_34 -> AgdaAny Source #

d__'8776'__456 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> ()) -> AgdaAny -> AgdaAny -> () Source #

d__'8712'__478 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> () Source #

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

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

d_all'63'_506 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Dec_32 Source #

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

d_universal_516 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 Source #

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

d_irrelevant_526 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T_All_44 -> T_All_44 -> T__'8801'__12 Source #

d_satisfiable_540 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Σ_14 Source #

du_satisfiable_540 :: T_Σ_14 Source #

d_decide_542 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T__'8846'__30) -> [AgdaAny] -> T__'8846'__30 Source #

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

d_all_574 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Dec_32 Source #