| Safe Haskell | None |
|---|
MAlonzo.Code.Data.List.Properties
Documentation
d_'8759''45'injective_42 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T_Σ_14 Source #
d_'8759''45'injective'737'_44 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_'8759''45'injective'691'_46 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_'8759''45'dec_48 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T_Dec_32 -> T_Dec_32 -> T_Dec_32 Source #
d_'8801''45'dec_54 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> T_Dec_32 Source #
du_'8801''45'dec_54 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> T_Dec_32 Source #
d_map'45'id_80 :: T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_map'45'id'8322'_94 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> T__'8801'__12 Source #
d_map'45''43''43''45'commute_106 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_map'45'cong_126 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 Source #
d_map'45'cong'8322'_144 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> T__'8801'__12 Source #
d_length'45'map_154 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 Source #
d_map'45'compose_168 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 Source #
d_map'45'injective_178 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_mapMaybe'45'just_202 :: T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_mapMaybe'45'nothing_214 :: T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_mapMaybe'45'concatMap_230 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45'mapMaybe_254 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> T__'8804'__18 Source #
du_length'45'mapMaybe_254 :: (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> T__'8804'__18 Source #
d_length'45''43''43'_278 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_Associative_312 :: T_Level_14 -> () -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () Source #
d_Cancellative_314 :: T_Level_14 -> () -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () Source #
d_Conical_322 :: T_Level_14 -> () -> [AgdaAny] -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () Source #
d_Identity_328 :: T_Level_14 -> () -> [AgdaAny] -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () Source #
d_LeftIdentity_348 :: T_Level_14 -> () -> [AgdaAny] -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () Source #
d_RightIdentity_366 :: T_Level_14 -> () -> [AgdaAny] -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> () Source #
d_IsMagma_406 :: p1 -> p2 -> p3 -> () Source #
d_IsMonoid_408 :: p1 -> p2 -> p3 -> p4 -> () Source #
d_IsSemigroup_420 :: p1 -> p2 -> p3 -> () Source #
d_'43''43''45'assoc_1852 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_'43''43''45'identity'737'_1868 :: T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_'43''43''45'identity'691'_1872 :: T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_'43''43''45'identity_1880 :: T_Level_14 -> () -> T_Σ_14 Source #
d_'43''43''45'identity'691''45'unique_1886 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_'43''43''45'identity'737''45'unique_1898 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_'43''43''45'cancel'737'_1936 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_'43''43''45'cancel'691'_1952 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_'43''43''45'cancel_1980 :: T_Level_14 -> () -> T_Σ_14 Source #
d_'43''43''45'conical'737'_1986 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_'43''43''45'conical'691'_1992 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_'43''43''45'conical_1994 :: T_Level_14 -> () -> T_Σ_14 Source #
d_'43''43''45'isMagma_1996 :: T_Level_14 -> () -> T_IsMagma_98 Source #
d_'43''43''45'isSemigroup_1998 :: T_Level_14 -> () -> T_IsSemigroup_206 Source #
d_'43''43''45'isMonoid_2000 :: T_Level_14 -> () -> T_IsMonoid_370 Source #
d_'43''43''45'semigroup_2010 :: T_Level_14 -> () -> T_Semigroup_206 Source #
d_'43''43''45'monoid_2012 :: T_Level_14 -> () -> T_Monoid_502 Source #
d_alignWith'45'cong_2030 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (T_These_38 -> AgdaAny) -> (T_These_38 -> AgdaAny) -> (T_These_38 -> T__'8801'__12) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45'alignWith_2054 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (T_These_38 -> AgdaAny) -> (T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_alignWith'45'map_2076 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (T_These_38 -> AgdaAny) -> (T_These_38 -> AgdaAny) -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_map'45'alignWith_2108 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (T_These_38 -> AgdaAny) -> (T_These_38 -> AgdaAny) -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_zipWith'45'comm_2146 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_zipWith'45'zero'737'_2186 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 Source #
d_zipWith'45'zero'691'_2194 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45'zipWith_2204 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_zipWith'45'map_2242 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Level_14 -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_map'45'zipWith_2290 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_unalignWith'45'this_2318 :: T_Level_14 -> () -> T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_unalignWith'45'that_2328 :: T_Level_14 -> () -> T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_unalignWith'45'cong_2350 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_These_38) -> (AgdaAny -> T_These_38) -> (AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 Source #
d_unalignWith'45'map_2414 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_These_38) -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 Source #
d_map'45'unalignWith_2466 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_These_38) -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 Source #
d_unalignWith'45'alignWith_2530 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_These_38) -> (T_These_38 -> AgdaAny) -> (T_These_38 -> T__'8801'__12) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45'unzipWith'8321'_2578 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45'unzipWith'8322'_2586 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T__'8801'__12 Source #
d_zipWith'45'unzipWith_2594 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_Σ_14) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 Source #
d_foldr'45'universal_2618 :: T_Level_14 -> () -> T_Level_14 -> () -> ([AgdaAny] -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> T__'8801'__12 -> (AgdaAny -> [AgdaAny] -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 Source #
d_foldr'45'cong_2656 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T__'8801'__12 -> [AgdaAny] -> T__'8801'__12 Source #
d_foldr'45'fusion_2684 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T__'8801'__12 Source #
d_id'45'is'45'foldr_2700 :: T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_'43''43''45'is'45'foldr_2710 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_foldr'45''43''43'_2732 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_map'45'is'45'foldr_2756 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 Source #
d_foldr'45''8759''691'_2778 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> [AgdaAny] -> T__'8801'__12 Source #
d_foldr'45'forces'7495'_2816 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> [AgdaAny] -> AgdaAny -> T_All_44 Source #
du_foldr'45'forces'7495'_2816 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> [AgdaAny] -> AgdaAny -> T_All_44 Source #
d_foldr'45'preserves'7495'_2850 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny -> T_All_44 -> AgdaAny Source #
du_foldr'45'preserves'7495'_2850 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny -> T_All_44 -> AgdaAny Source #
d_foldr'45'preserves'691'_2870 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> [AgdaAny] -> AgdaAny Source #
du_foldr'45'preserves'691'_2870 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> [AgdaAny] -> AgdaAny Source #
d_foldr'45'preserves'7506'_2890 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8846'__30 -> AgdaAny Source #
du_foldr'45'preserves'7506'_2890 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8846'__30 -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8846'__30 -> AgdaAny Source #
d_foldl'45''43''43'_2936 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_foldl'45''8759''691'_2962 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> [AgdaAny] -> T__'8801'__12 Source #
d_concat'45'map_2982 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> [[AgdaAny]] -> T__'8801'__12 Source #
d_concat'45''43''43'_3004 :: T_Level_14 -> () -> [[AgdaAny]] -> [[AgdaAny]] -> T__'8801'__12 Source #
d_concat'45'concat_3022 :: T_Level_14 -> () -> [[[AgdaAny]]] -> T__'8801'__12 Source #
d_concat'45''91''45''93'_3030 :: T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_sum'45''43''43''45'commute_3042 :: [Integer] -> [Integer] -> T__'8801'__12 Source #
d_'8712''8658''8739'product_3058 :: Integer -> [Integer] -> T_Any_34 -> T__'8739'__12 Source #
du_'8712''8658''8739'product_3058 :: [Integer] -> T_Any_34 -> T__'8739'__12 Source #
d_length'45'replicate_3076 :: T_Level_14 -> () -> Integer -> AgdaAny -> T__'8801'__12 Source #
d_scanr'45'defn_3084 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8801'__12 Source #
d_scanl'45'defn_3166 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45'applyUpTo_3190 :: T_Level_14 -> () -> (Integer -> AgdaAny) -> Integer -> T__'8801'__12 Source #
d_lookup'45'applyUpTo_3204 :: T_Level_14 -> () -> (Integer -> AgdaAny) -> Integer -> T_Fin_6 -> T__'8801'__12 Source #
d_length'45'applyDownFrom_3226 :: T_Level_14 -> () -> (Integer -> AgdaAny) -> Integer -> T__'8801'__12 Source #
d_lookup'45'applyDownFrom_3234 :: T_Level_14 -> () -> (Integer -> AgdaAny) -> Integer -> T_Fin_6 -> T__'8801'__12 Source #
d_length'45'upTo_3244 :: Integer -> T__'8801'__12 Source #
d_lookup'45'upTo_3250 :: Integer -> T_Fin_6 -> T__'8801'__12 Source #
d_length'45'downFrom_3254 :: Integer -> T__'8801'__12 Source #
d_lookup'45'downFrom_3260 :: Integer -> T_Fin_6 -> T__'8801'__12 Source #
d_tabulate'45'cong_3268 :: T_Level_14 -> () -> Integer -> (T_Fin_6 -> AgdaAny) -> (T_Fin_6 -> AgdaAny) -> (T_Fin_6 -> T__'8801'__12) -> T__'8801'__12 Source #
d_tabulate'45'lookup_3278 :: T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45'tabulate_3290 :: T_Level_14 -> () -> Integer -> (T_Fin_6 -> AgdaAny) -> T__'8801'__12 Source #
d_lookup'45'tabulate_3308 :: T_Level_14 -> () -> Integer -> (T_Fin_6 -> AgdaAny) -> T_Fin_6 -> T__'8801'__12 Source #
d_map'45'tabulate_3322 :: T_Level_14 -> () -> T_Level_14 -> () -> Integer -> (T_Fin_6 -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8801'__12 Source #
d_length'45''37''61'_3342 :: T_Level_14 -> () -> [AgdaAny] -> T_Fin_6 -> (AgdaAny -> AgdaAny) -> T__'8801'__12 Source #
d_length'45''8759''61'_3364 :: T_Level_14 -> () -> [AgdaAny] -> T_Fin_6 -> AgdaAny -> T__'8801'__12 Source #
d_map'45''8759''61'_3382 :: T_Level_14 -> () -> T_Level_14 -> () -> [AgdaAny] -> T_Fin_6 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T__'8801'__12 Source #
d_length'45''9472'_3408 :: T_Level_14 -> () -> [AgdaAny] -> T_Fin_6 -> T__'8801'__12 Source #
d_map'45''9472'_3430 :: T_Level_14 -> () -> T_Level_14 -> () -> [AgdaAny] -> T_Fin_6 -> (AgdaAny -> AgdaAny) -> T__'8801'__12 Source #
d_length'45'take_3452 :: T_Level_14 -> () -> Integer -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45'drop_3468 :: T_Level_14 -> () -> Integer -> [AgdaAny] -> T__'8801'__12 Source #
d_take'43''43'drop_3484 :: T_Level_14 -> () -> Integer -> [AgdaAny] -> T__'8801'__12 Source #
d_splitAt'45'defn_3500 :: T_Level_14 -> () -> Integer -> [AgdaAny] -> T__'8801'__12 Source #
d_takeWhile'43''43'dropWhile_3544 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T__'8801'__12 Source #
d_span'45'defn_3564 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45'filter_3598 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T__'8804'__18 Source #
du_length'45'filter_3598 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T__'8804'__18 Source #
d_filter'45'all_3618 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_All_44 -> T__'8801'__12 Source #
d_filter'45'notAll_3654 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Any_34 -> T__'8804'__18 Source #
du_filter'45'notAll_3654 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Any_34 -> T__'8804'__18 Source #
d_filter'45'some_3704 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Any_34 -> T__'8804'__18 Source #
du_filter'45'some_3704 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Any_34 -> T__'8804'__18 Source #
d_filter'45'none_3754 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_All_44 -> T__'8801'__12 Source #
d_filter'45'complete_3788 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_filter'45'accept_3820 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> AgdaAny -> [AgdaAny] -> AgdaAny -> T__'8801'__12 Source #
d_filter'45'reject_3844 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> AgdaAny -> [AgdaAny] -> (AgdaAny -> T_'8869'_4) -> T__'8801'__12 Source #
d_filter'45'idem_3864 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T__'8801'__12 Source #
d_filter'45''43''43'_3894 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45'derun_3936 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> T__'8804'__18 Source #
du_length'45'derun_3936 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> T__'8804'__18 Source #
d_length'45'deduplicate_3968 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> T__'8804'__18 Source #
du_length'45'deduplicate_3968 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> T__'8804'__18 Source #
d_r_3978 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> [AgdaAny] -> [AgdaAny] Source #
d_derun'45'reject_3986 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> [AgdaAny] -> AgdaAny -> T__'8801'__12 Source #
d_derun'45'accept_4024 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> [AgdaAny] -> (AgdaAny -> T_'8869'_4) -> T__'8801'__12 Source #
d_partition'45'defn_4068 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45'partition_4096 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14 Source #
d_'691''43''43''45'defn_4122 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_'691''43''43''45''43''43'_4138 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_'691''43''43''45''691''43''43'_4154 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_length'45''691''43''43'_4168 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_map'45''691''43''43'_4182 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_foldr'45''691''43''43'_4202 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_foldl'45''691''43''43'_4226 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_unfold'45'reverse_4246 :: T_Level_14 -> () -> AgdaAny -> [AgdaAny] -> T__'8801'__12 Source #
d_reverse'45''43''43''45'commute_4256 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 Source #
d_reverse'45'involutive_4262 :: T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_reverse'45'injective_4270 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_length'45'reverse_4274 :: T_Level_14 -> () -> [AgdaAny] -> T__'8801'__12 Source #
d_reverse'45'map'45'commute_4280 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 Source #
d_reverse'45'foldr_4290 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8801'__12 Source #
d_reverse'45'foldl_4304 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T__'8801'__12 Source #
d_'8759''691''45'injective_4326 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T_Σ_14 Source #
d_'8759''691''45'injective'737'_4360 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_'8759''691''45'injective'691'_4372 :: T_Level_14 -> () -> AgdaAny -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 Source #
d_zipWith'45'identity'737'_4380 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 Source #
d_zipWith'45'identity'691'_4382 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T__'8801'__12 Source #