Documentation

d_'8759''45'injective_46 ∷ T_Level_18 → () → AgdaAny → [AgdaAny] → AgdaAny → [AgdaAny] → T__'8801'__12 → T_Σ_14 Source #

du_'8759''45'injective_46 ∷ T_Σ_14 Source #

d_'8759''45'injective'737'_48 ∷ T_Level_18 → () → AgdaAny → [AgdaAny] → AgdaAny → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_'8759''45'injective'691'_50 ∷ T_Level_18 → () → AgdaAny → [AgdaAny] → AgdaAny → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_'8759''45'dec_52 ∷ T_Level_18 → () → AgdaAny → AgdaAny → [AgdaAny] → [AgdaAny] → T_Dec_20 → T_Dec_20 → T_Dec_20 Source #

du_'8759''45'dec_52 ∷ T_Dec_20 → T_Dec_20 → T_Dec_20 Source #

d_'8801''45'dec_58 ∷ T_Level_18 → () → (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] → T_Dec_20 Source #

du_'8801''45'dec_58 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] → T_Dec_20 Source #

d_map'45'id_84 ∷ T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_map'45'id'45'local_98 ∷ T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T_All_44 → T__'8801'__12 Source #

d_map'45''43''43'_110 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_map'45'cong_130 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → (AgdaAny → T__'8801'__12) → [AgdaAny] → T__'8801'__12 Source #

d_map'45'cong'45'local_148 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → [AgdaAny] → T_All_44 → T__'8801'__12 Source #

d_length'45'map_158 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_map'45''8728'_172 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_map'45'injective_182 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12) → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_length'45''43''43'_208 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_Associative_246 ∷ T_Level_18 → () → ([AgdaAny] → [AgdaAny] → [AgdaAny]) → () Source #

d_Cancellative_248 ∷ T_Level_18 → () → ([AgdaAny] → [AgdaAny] → [AgdaAny]) → () Source #

d_Conical_256 ∷ T_Level_18 → () → [AgdaAny] → ([AgdaAny] → [AgdaAny] → [AgdaAny]) → () Source #

d_Identity_266 ∷ T_Level_18 → () → [AgdaAny] → ([AgdaAny] → [AgdaAny] → [AgdaAny]) → () Source #

d_LeftCancellative_280 ∷ T_Level_18 → () → ([AgdaAny] → [AgdaAny] → [AgdaAny]) → () Source #

d_LeftIdentity_292 ∷ T_Level_18 → () → [AgdaAny] → ([AgdaAny] → [AgdaAny] → [AgdaAny]) → () Source #

d_RightCancellative_310 ∷ T_Level_18 → () → ([AgdaAny] → [AgdaAny] → [AgdaAny]) → () Source #

d_RightIdentity_322 ∷ T_Level_18 → () → [AgdaAny] → ([AgdaAny] → [AgdaAny] → [AgdaAny]) → () Source #

d_IsMagma_398 ∷ p → p → p → () Source #

d_IsMonoid_404 ∷ p → p → p → p → () Source #

d_IsSemigroup_426 ∷ p → p → p → () Source #

d_isEquivalence_1698 ∷ T_IsMagma_176 → T_IsEquivalence_26 Source #

d_'8729''45'cong_1712 ∷ T_IsMagma_176 → [AgdaAny] → [AgdaAny] → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 → T__'8801'__12 Source #

d_identity_1808 ∷ T_IsMonoid_686 → T_Σ_14 Source #

d_isSemigroup_1820 ∷ T_IsMonoid_686 → T_IsSemigroup_472 Source #

d_assoc_2552 ∷ T_IsSemigroup_472 → [AgdaAny] → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_isMagma_2556 ∷ T_IsSemigroup_472 → T_IsMagma_176 Source #

d_'43''43''45'assoc_2866 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_'43''43''45'identity'737'_2882 ∷ T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_'43''43''45'identity'691'_2886 ∷ T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_'43''43''45'identity_2894 ∷ T_Level_18 → () → T_Σ_14 Source #

du_'43''43''45'identity_2894 ∷ T_Σ_14 Source #

d_'43''43''45'identity'691''45'unique_2900 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_'43''43''45'identity'737''45'unique_2912 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_'43''43''45'cancel'737'_2944 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_'43''43''45'cancel'691'_2954 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_'43''43''45'cancel_2982 ∷ T_Level_18 → () → T_Σ_14 Source #

du_'43''43''45'cancel_2982 ∷ T_Σ_14 Source #

d_'43''43''45'conical'737'_2988 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_'43''43''45'conical'691'_2994 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_'43''43''45'conical_2996 ∷ T_Level_18 → () → T_Σ_14 Source #

du_'43''43''45'conical_2996 ∷ T_Σ_14 Source #

d_'43''43''45'isMagma_2998 ∷ T_Level_18 → () → T_IsMagma_176 Source #

du_'43''43''45'isMagma_2998 ∷ T_IsMagma_176 Source #

d_'43''43''45'isSemigroup_3000 ∷ T_Level_18 → () → T_IsSemigroup_472 Source #

du_'43''43''45'isSemigroup_3000 ∷ T_IsSemigroup_472 Source #

d_'43''43''45'isMonoid_3002 ∷ T_Level_18 → () → T_IsMonoid_686 Source #

du_'43''43''45'isMonoid_3002 ∷ T_IsMonoid_686 Source #

d_'43''43''45'semigroup_3012 ∷ T_Level_18 → () → T_Semigroup_536 Source #

du_'43''43''45'semigroup_3012 ∷ T_Semigroup_536 Source #

d_'43''43''45'monoid_3014 ∷ T_Level_18 → () → T_Monoid_882 Source #

du_'43''43''45'monoid_3014 ∷ T_Monoid_882 Source #

d_length'45'isMagmaHomomorphism_3024 ∷ T_Level_18 → () → T_IsMagmaHomomorphism_176 Source #

du_length'45'isMagmaHomomorphism_3024 ∷ T_IsMagmaHomomorphism_176 Source #

d_length'45'isMonoidHomomorphism_3030 ∷ T_Level_18 → () → T_IsMonoidHomomorphism_350 Source #

du_length'45'isMonoidHomomorphism_3030 ∷ T_IsMonoidHomomorphism_350 Source #

d_prod_3044 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du_prod_3044 ∷ (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_cartesianProductWith'45'zero'737'_3048 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_cartesianProductWith'45'zero'691'_3052 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_cartesianProductWith'45'distrib'691''45''43''43'_3064 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_alignWith'45'cong_3096 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (T_These_38 → AgdaAny) → (T_These_38 → AgdaAny) → (T_These_38 → T__'8801'__12) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_length'45'alignWith_3132 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (T_These_38 → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_alignWith'45'map_3154 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (T_These_38 → AgdaAny) → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_map'45'alignWith_3186 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (T_These_38 → AgdaAny) → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_alignWith'45'flip_3210 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (T_These_38 → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_alignWith'45'comm_3244 ∷ T_Level_18 → () → T_Level_18 → () → (T_These_38 → AgdaAny) → (T_These_38 → T__'8801'__12) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_align'45'map_3260 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_align'45'flip_3274 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_zipWith'45'cong_3300 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → T__'8801'__12) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_zipWith'45'zero'737'_3334 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_zipWith'45'zero'691'_3342 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_length'45'zipWith_3352 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_zipWith'45'map_3382 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_map'45'zipWith_3426 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_zipWith'45'flip_3456 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_zipWith'45'comm_3494 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → T__'8801'__12) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_zip'45'map_3510 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_zip'45'flip_3528 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_unalignWith'45'this_3536 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_unalignWith'45'that_3546 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_unalignWith'45'cong_3568 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_These_38) → (AgdaAny → T_These_38) → (AgdaAny → T__'8801'__12) → [AgdaAny] → T__'8801'__12 Source #

d_unalignWith'45'map_3632 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_These_38) → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_map'45'unalignWith_3684 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_These_38) → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_unalignWith'45'alignWith_3748 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_These_38) → (T_These_38 → AgdaAny) → (T_These_38 → T__'8801'__12) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_unzipWith'45'cong_3796 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Σ_14) → (AgdaAny → T_Σ_14) → (AgdaAny → T__'8801'__12) → [AgdaAny] → T__'8801'__12 Source #

d_length'45'unzipWith'8321'_3820 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Σ_14) → [AgdaAny] → T__'8801'__12 Source #

d_length'45'unzipWith'8322'_3828 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Σ_14) → [AgdaAny] → T__'8801'__12 Source #

d_zipWith'45'unzipWith_3836 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Σ_14) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → T__'8801'__12) → [AgdaAny] → T__'8801'__12 Source #

d_unzipWith'45'zipWith_3856 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Σ_14) → (AgdaAny → AgdaAny → AgdaAny) → (T_Σ_14 → T__'8801'__12) → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_unzipWith'45'map_3880 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Σ_14) → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_map'45'unzipWith_3894 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Σ_14) → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_unzipWith'45'swap_3908 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Σ_14) → [AgdaAny] → T__'8801'__12 Source #

d_unzipWith'45''43''43'_3918 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Σ_14) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_unzip'45'map_3932 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → [T_Σ_14] → T__'8801'__12 Source #

d_unzip'45'swap_3940 ∷ T_Level_18 → () → T_Level_18 → () → [T_Σ_14] → T__'8801'__12 Source #

d_zip'45'unzip_3944 ∷ T_Level_18 → () → T_Level_18 → () → [T_Σ_14] → T__'8801'__12 Source #

d_unzip'45'zip_3952 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_foldr'45'universal_3966 ∷ T_Level_18 → () → T_Level_18 → () → ([AgdaAny] → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T__'8801'__12 → (AgdaAny → [AgdaAny] → T__'8801'__12) → [AgdaAny] → T__'8801'__12 Source #

d_foldr'45'cong_4004 ∷ T_Level_18 → () → T_Level_18 → () → (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_4032 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (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_4048 ∷ T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_'43''43''45'is'45'foldr_4058 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_foldr'45''43''43'_4080 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_map'45'is'45'foldr_4104 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_foldr'45''8759''691'_4126 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → [AgdaAny] → T__'8801'__12 Source #

d_foldr'45'map_4152 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T__'8801'__12 Source #

d_foldr'45'forces'7495'_4190 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → T_Σ_14) → AgdaAny → [AgdaAny] → AgdaAny → T_All_44 Source #

du_foldr'45'forces'7495'_4190 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → T_Σ_14) → AgdaAny → [AgdaAny] → AgdaAny → T_All_44 Source #

d_foldr'45'preserves'7495'_4212 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → AgdaAny → T_All_44 → AgdaAny Source #

du_foldr'45'preserves'7495'_4212 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → AgdaAny → T_All_44 → AgdaAny Source #

d_foldr'45'preserves'691'_4232 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → [AgdaAny] → AgdaAny Source #

du_foldr'45'preserves'691'_4232 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → [AgdaAny] → AgdaAny Source #

d_foldr'45'preserves'7506'_4252 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny) → AgdaAny → [AgdaAny] → T__'8846'__30 → AgdaAny Source #

du_foldr'45'preserves'7506'_4252 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny) → AgdaAny → [AgdaAny] → T__'8846'__30 → AgdaAny Source #

d_foldl'45'cong_4300 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → T__'8801'__12) → AgdaAny → [AgdaAny] → T__'8801'__12 Source #

d_foldl'45''43''43'_4326 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_foldl'45''8759''691'_4352 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → [AgdaAny] → T__'8801'__12 Source #

d_foldl'45'map_4378 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T__'8801'__12 Source #

d_concat'45'map_4398 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [[AgdaAny]] → T__'8801'__12 Source #

d_concat'45''43''43'_4420 ∷ T_Level_18 → () → [[AgdaAny]] → [[AgdaAny]] → T__'8801'__12 Source #

d_concat'45'concat_4438 ∷ T_Level_18 → () → [[[AgdaAny]]] → T__'8801'__12 Source #

d_concat'45''91''45''93'_4446 ∷ T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_concatMap'45'cong_4458 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → [AgdaAny]) → (AgdaAny → [AgdaAny]) → (AgdaAny → T__'8801'__12) → [AgdaAny] → T__'8801'__12 Source #

d_concatMap'45'pure_4464 ∷ T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_concatMap'45'map_4472 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → [AgdaAny]) → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_map'45'concatMap_4484 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → [AgdaAny]) → [AgdaAny] → T__'8801'__12 Source #

d_catMaybes'45'concatMap_4492 ∷ T_Level_18 → () → [Maybe AgdaAny] → T__'8801'__12 Source #

d_length'45'catMaybes_4504 ∷ T_Level_18 → () → [Maybe AgdaAny] → T__'8804'__22 Source #

du_length'45'catMaybes_4504 ∷ [Maybe AgdaAny] → T__'8804'__22 Source #

d_catMaybes'45''43''43'_4514 ∷ T_Level_18 → () → [Maybe AgdaAny] → [Maybe AgdaAny] → T__'8801'__12 Source #

d_map'45'catMaybes_4530 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [Maybe AgdaAny] → T__'8801'__12 Source #

d_Any'45'catMaybes'8314'_4548 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [Maybe AgdaAny] → T_Any_34 → T_Any_34 Source #

du_Any'45'catMaybes'8314'_4548 ∷ [Maybe AgdaAny] → T_Any_34 → T_Any_34 Source #

d_mapMaybe'45'cong_4570 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny) → (AgdaAny → Maybe AgdaAny) → (AgdaAny → T__'8801'__12) → [AgdaAny] → T__'8801'__12 Source #

d_mapMaybe'45'just_4576 ∷ T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_mapMaybe'45'nothing_4588 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_mapMaybe'45'concatMap_4604 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_length'45'mapMaybe_4610 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny) → [AgdaAny] → T__'8804'__22 Source #

du_length'45'mapMaybe_4610 ∷ (AgdaAny → Maybe AgdaAny) → [AgdaAny] → T__'8804'__22 Source #

d_mapMaybe'45''43''43'_4622 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_mapMaybe'45'map_4642 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny) → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_map'45'mapMaybe_4658 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → Maybe AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_mapMaybe'45'map'45'retract_4674 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny) → (AgdaAny → AgdaAny) → (AgdaAny → T__'8801'__12) → [AgdaAny] → T__'8801'__12 Source #

d_mapMaybe'45'map'45'none_4694 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny) → (AgdaAny → AgdaAny) → (AgdaAny → T__'8801'__12) → [AgdaAny] → T__'8801'__12 Source #

d_mapMaybeIsInj'8321''8728'mapInj'8321'_4702 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_mapMaybeIsInj'8321''8728'mapInj'8322'_4708 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_mapMaybeIsInj'8322''8728'mapInj'8322'_4714 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_mapMaybeIsInj'8322''8728'mapInj'8321'_4720 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_sum'45''43''43'_4728 ∷ [Integer] → [Integer] → T__'8801'__12 Source #

d_'8712''8658''8739'product_4744 ∷ Integer → [Integer] → T_Any_34 → T__'8739'__20 Source #

du_'8712''8658''8739'product_4744 ∷ [Integer] → T_Any_34 → T__'8739'__20 Source #

d_length'45'applyUpTo_4762 ∷ T_Level_18 → () → (Integer → AgdaAny) → Integer → T__'8801'__12 Source #

d_lookup'45'applyUpTo_4776 ∷ T_Level_18 → () → (Integer → AgdaAny) → Integer → T_Fin_10 → T__'8801'__12 Source #

d_applyUpTo'45''8759''691'_4792 ∷ T_Level_18 → () → (Integer → AgdaAny) → Integer → T__'8801'__12 Source #

d_length'45'applyDownFrom_4812 ∷ T_Level_18 → () → (Integer → AgdaAny) → Integer → T__'8801'__12 Source #

d_lookup'45'applyDownFrom_4820 ∷ T_Level_18 → () → (Integer → AgdaAny) → Integer → T_Fin_10 → T__'8801'__12 Source #

d_applyDownFrom'45''8759''691'_4830 ∷ T_Level_18 → () → (Integer → AgdaAny) → Integer → T__'8801'__12 Source #

d_length'45'upTo_4838 ∷ Integer → T__'8801'__12 Source #

d_lookup'45'upTo_4844 ∷ Integer → T_Fin_10 → T__'8801'__12 Source #

d_upTo'45''8759''691'_4848 ∷ Integer → T__'8801'__12 Source #

d_length'45'downFrom_4852 ∷ Integer → T__'8801'__12 Source #

d_lookup'45'downFrom_4858 ∷ Integer → T_Fin_10 → T__'8801'__12 Source #

d_downFrom'45''8759''691'_4862 ∷ Integer → T__'8801'__12 Source #

d_tabulate'45'cong_4870 ∷ T_Level_18 → () → Integer → (T_Fin_10 → AgdaAny) → (T_Fin_10 → AgdaAny) → (T_Fin_10 → T__'8801'__12) → T__'8801'__12 Source #

d_tabulate'45'lookup_4880 ∷ T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_length'45'tabulate_4892 ∷ T_Level_18 → () → Integer → (T_Fin_10 → AgdaAny) → T__'8801'__12 Source #

d_lookup'45'tabulate_4910 ∷ T_Level_18 → () → Integer → (T_Fin_10 → AgdaAny) → T_Fin_10 → T__'8801'__12 Source #

d_map'45'tabulate_4924 ∷ T_Level_18 → () → T_Level_18 → () → Integer → (T_Fin_10 → AgdaAny) → (AgdaAny → AgdaAny) → T__'8801'__12 Source #

d_length'45''37''61'_4944 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → (AgdaAny → AgdaAny) → T__'8801'__12 Source #

d_length'45''8759''61'_4966 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → AgdaAny → T__'8801'__12 Source #

d_map'45''8759''61'_4984 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → T_Fin_10 → AgdaAny → (AgdaAny → AgdaAny) → T__'8801'__12 Source #

d_length'45'insertAt_5012 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → AgdaAny → T__'8801'__12 Source #

d_length'45'removeAt_5030 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → T__'8801'__12 Source #

d_length'45'removeAt'8242'_5046 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → T__'8801'__12 Source #

d_map'45'removeAt_5064 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → T_Fin_10 → (AgdaAny → AgdaAny) → T__'8801'__12 Source #

d_removeAt'45'insertAt_5088 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → AgdaAny → T__'8801'__12 Source #

d_insertAt'45'removeAt_5108 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → T__'8801'__12 Source #

d_length'45'take_5126 ∷ T_Level_18 → () → Integer → [AgdaAny] → T__'8801'__12 Source #

d_take'45'map_5144 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → Integer → [AgdaAny] → T__'8801'__12 Source #

d_take'45'suc_5164 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → T__'8801'__12 Source #

d_take'45'suc'45'tabulate_5186 ∷ T_Level_18 → () → Integer → (T_Fin_10 → AgdaAny) → T_Fin_10 → T__'8801'__12 Source #

d_take'45'all_5204 ∷ T_Level_18 → () → Integer → [AgdaAny] → T__'8804'__22 → T__'8801'__12 Source #

d_take'45''91''93'_5218 ∷ T_Level_18 → () → Integer → T__'8801'__12 Source #

d_take'45'take_5228 ∷ T_Level_18 → () → Integer → Integer → [AgdaAny] → T__'8801'__12 Source #

d_take'45'drop_5258 ∷ T_Level_18 → () → Integer → Integer → [AgdaAny] → T__'8801'__12 Source #

d_length'45'drop_5280 ∷ T_Level_18 → () → Integer → [AgdaAny] → T__'8801'__12 Source #

d_drop'45'map_5298 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → Integer → [AgdaAny] → T__'8801'__12 Source #

d_drop'45''91''93'_5312 ∷ T_Level_18 → () → Integer → T__'8801'__12 Source #

d_take'43''43'drop'8801'id_5320 ∷ T_Level_18 → () → Integer → [AgdaAny] → T__'8801'__12 Source #

d_drop'45'take'45'suc_5340 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → T__'8801'__12 Source #

d_drop'45'take'45'suc'45'tabulate_5360 ∷ T_Level_18 → () → Integer → (T_Fin_10 → AgdaAny) → T_Fin_10 → T__'8801'__12 Source #

d_drop'45'drop_5380 ∷ T_Level_18 → () → Integer → Integer → [AgdaAny] → T__'8801'__12 Source #

d_drop'45'all_5402 ∷ T_Level_18 → () → Integer → [AgdaAny] → T__'8804'__22 → T__'8801'__12 Source #

d_length'45'replicate_5418 ∷ T_Level_18 → () → Integer → AgdaAny → T__'8801'__12 Source #

d_lookup'45'replicate_5428 ∷ T_Level_18 → () → Integer → AgdaAny → T_Fin_10 → T__'8801'__12 Source #

d_map'45'replicate_5446 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → Integer → AgdaAny → T__'8801'__12 Source #

d_zipWith'45'replicate_5468 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → Integer → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8801'__12 Source #

d_length'45'iterate_5492 ∷ T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → Integer → T__'8801'__12 Source #

d_iterate'45'id_5508 ∷ T_Level_18 → () → AgdaAny → Integer → T__'8801'__12 Source #

d_lookup'45'iterate_5526 ∷ T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → Integer → T_Fin_10 → T__'8801'__12 Source #

d_splitAt'45'defn_5544 ∷ T_Level_18 → () → Integer → [AgdaAny] → T__'8801'__12 Source #

d_splitAt'45'map_5570 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → Integer → [AgdaAny] → T__'8801'__12 Source #

d_takeWhile'43''43'dropWhile_5598 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T__'8801'__12 Source #

d_span'45'defn_5618 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T__'8801'__12 Source #

d_length'45'filter_5652 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T__'8804'__22 Source #

du_length'45'filter_5652 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → T__'8804'__22 Source #

d_filter'45'all_5678 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T_All_44 → T__'8801'__12 Source #

d_filter'45'notAll_5714 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T_Any_34 → T__'8804'__22 Source #

du_filter'45'notAll_5714 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → T_Any_34 → T__'8804'__22 Source #

d_filter'45'some_5770 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T_Any_34 → T__'8804'__22 Source #

du_filter'45'some_5770 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → T_Any_34 → T__'8804'__22 Source #

d_filter'45'none_5820 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T_All_44 → T__'8801'__12 Source #

d_filter'45'complete_5854 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_filter'45'accept_5886 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → AgdaAny → [AgdaAny] → AgdaAny → T__'8801'__12 Source #

d_filter'45'reject_5910 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → AgdaAny → [AgdaAny] → (AgdaAny → T_Irrelevant_20) → T__'8801'__12 Source #

d_filter'45'idem_5930 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T__'8801'__12 Source #

d_filter'45''43''43'_5960 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_length'45'derun_6008 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → T__'8804'__22 Source #

du_length'45'derun_6008 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → T__'8804'__22 Source #

d_length'45'deduplicate_6042 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → T__'8804'__22 Source #

du_length'45'deduplicate_6042 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → T__'8804'__22 Source #

d_r_6052 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → [AgdaAny] → [AgdaAny] Source #

du_r_6052 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] Source #

d_derun'45'reject_6060 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → AgdaAny → [AgdaAny] → AgdaAny → T__'8801'__12 Source #

d_derun'45'accept_6098 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → AgdaAny → [AgdaAny] → (AgdaAny → T_Irrelevant_20) → T__'8801'__12 Source #

d_partition'45'defn_6142 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T__'8801'__12 Source #

d_length'45'partition_6176 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T_Σ_14 Source #

du_length'45'partition_6176 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → T_Σ_14 Source #

d_'691''43''43''45'defn_6204 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_'43''43''45''691''43''43'_6220 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_'691''43''43''45''691''43''43'_6236 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_length'45''691''43''43'_6250 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_map'45''691''43''43'_6264 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_foldr'45''691''43''43'_6284 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_foldl'45''691''43''43'_6308 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_unfold'45'reverse_6328 ∷ T_Level_18 → () → AgdaAny → [AgdaAny] → T__'8801'__12 Source #

d_reverse'45''43''43'_6338 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_reverse'45'selfInverse_6344 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_reverse'45'involutive_6354 ∷ T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_reverse'45'injective_6356 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_length'45'reverse_6360 ∷ T_Level_18 → () → [AgdaAny] → T__'8801'__12 Source #

d_reverse'45'map_6366 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_reverse'45'foldr_6376 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T__'8801'__12 Source #

d_reverse'45'foldl_6390 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T__'8801'__12 Source #

d_reverse'45'applyUpTo_6402 ∷ T_Level_18 → () → (Integer → AgdaAny) → Integer → T__'8801'__12 Source #

d_reverse'45'upTo_6414 ∷ Integer → T__'8801'__12 Source #

d_reverse'45'applyDownFrom_6420 ∷ T_Level_18 → () → (Integer → AgdaAny) → Integer → T__'8801'__12 Source #

d_reverse'45'downFrom_6432 ∷ Integer → T__'8801'__12 Source #

d_'8759''691''45'injective_6438 ∷ T_Level_18 → () → AgdaAny → AgdaAny → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T_Σ_14 Source #

du_'8759''691''45'injective_6438 ∷ [AgdaAny] → [AgdaAny] → T_Σ_14 Source #

d_'8759''691''45'injective'737'_6462 ∷ T_Level_18 → () → AgdaAny → AgdaAny → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_'8759''691''45'injective'691'_6474 ∷ T_Level_18 → () → AgdaAny → AgdaAny → [AgdaAny] → [AgdaAny] → T__'8801'__12 → T__'8801'__12 Source #

d_'8759''691''45''43''43'_6488 ∷ T_Level_18 → () → [AgdaAny] → AgdaAny → [AgdaAny] → T__'8801'__12 Source #

d_uncons'45'map_6506 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_head'45'map_6522 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_last'45'map_6534 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_tail'45'map_6552 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_map'45'id'8322'_6558 ∷ T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T_All_44 → T__'8801'__12 Source #

d_map'45'cong'8322'_6560 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → [AgdaAny] → T_All_44 → T__'8801'__12 Source #

d_map'45'compose_6562 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_map'45''43''43''45'commute_6564 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_sum'45''43''43''45'commute_6566 ∷ [Integer] → [Integer] → T__'8801'__12 Source #

d_reverse'45'map'45'commute_6568 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_reverse'45''43''43''45'commute_6570 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_zipWith'45'identity'737'_6572 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_zipWith'45'identity'691'_6574 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T__'8801'__12 Source #

d_'691''43''43''45''43''43'_6576 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → [AgdaAny] → T__'8801'__12 Source #

d_take'43''43'drop_6578 ∷ T_Level_18 → () → Integer → [AgdaAny] → T__'8801'__12 Source #

d_length'45''9472'_6580 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → T__'8801'__12 Source #

d_map'45''9472'_6582 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → T_Fin_10 → (AgdaAny → AgdaAny) → T__'8801'__12 Source #

d_scanr'45'defn_6588 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T__'8801'__12 Source #

d_scanl'45'defn_6628 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T__'8801'__12 Source #