Documentation

d_fst_40 ∷ T_Σ_14 → AgdaAny Source #

d_snd_42 ∷ T_Σ_14 → AgdaAny Source #

d_'8707'_46 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → () Source #

d_'8707''8322'_56 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → () Source #

d_Σ'45'syntax_66 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → () Source #

d_'8707''45'syntax_70 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → () Source #

d__'215'__76 ∷ T_Level_18 → T_Level_18 → () → () → () Source #

d__'44''8242'__84 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → AgdaAny → T_Σ_14 Source #

du__'44''8242'__84 ∷ AgdaAny → AgdaAny → T_Σ_14 Source #

d_'45''44'__92 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → AgdaAny → AgdaAny → T_Σ_14 Source #

du_'45''44'__92 ∷ AgdaAny → AgdaAny → T_Σ_14 Source #

d_'60'_'44'_'62'_112 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → T_Σ_14 Source #

du_'60'_'44'_'62'_112 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → T_Σ_14 Source #

d_map_128 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

du_map_128 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

d_map'8321'_138 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

du_map'8321'_138 ∷ (AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

d_map'8322'_150 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

du_map'8322'_150 ∷ (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

d_dmap_176 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

du_dmap_176 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

d_zip_198 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → () → T_Level_18 → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #

du_zip_198 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #

d_curry_224 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (T_Σ_14 → ()) → (T_Σ_14 → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_curry_224 ∷ (T_Σ_14 → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_uncurry_244 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (T_Σ_14 → ()) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → AgdaAny Source #

du_uncurry_244 ∷ (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → AgdaAny Source #

d_assoc'691'_260 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_Σ_14 → T_Σ_14 Source #

du_assoc'691'_260 ∷ T_Σ_14 → T_Σ_14 Source #

d_assoc'737'_276 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_Σ_14 → T_Σ_14 Source #

du_assoc'737'_276 ∷ T_Σ_14 → T_Σ_14 Source #

d_assoc'691''45'curried_290 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (T_Σ_14 → ()) → T_Σ_14 → T_Σ_14 Source #

du_assoc'691''45'curried_290 ∷ T_Σ_14 → T_Σ_14 Source #

d_assoc'737''45'curried_304 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (T_Σ_14 → ()) → T_Σ_14 → T_Σ_14 Source #

du_assoc'737''45'curried_304 ∷ T_Σ_14 → T_Σ_14 Source #

d_zip'8242'_312 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #

du_zip'8242'_312 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #

d_curry'8242'_318 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (T_Σ_14 → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_curry'8242'_318 ∷ (T_Σ_14 → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_uncurry'8242'_320 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → AgdaAny Source #

du_uncurry'8242'_320 ∷ (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → AgdaAny Source #

d_map'8322''8242'_322 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

du_map'8322''8242'_322 ∷ (AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

d_dmap'8242'_344 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

du_dmap'8242'_344 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #

d__'60''42''62'__368 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #

du__'60''42''62'__368 ∷ T_Σ_14 → T_Σ_14 → T_Σ_14 Source #

d_swap_370 ∷ T_Level_18 → () → T_Level_18 → () → T_Σ_14 → T_Σ_14 Source #

du_swap_370 ∷ T_Σ_14 → T_Σ_14 Source #

d__'45''215''45'__376 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → AgdaAny → AgdaAny → () Source #

d__'45''44''45'__382 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T_Σ_14 Source #

du__'45''44''45'__382 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T_Σ_14 Source #

d_assoc'691''8242'_388 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Σ_14 → T_Σ_14 Source #

du_assoc'691''8242'_388 ∷ T_Σ_14 → T_Σ_14 Source #

d_assoc'737''8242'_396 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Σ_14 → T_Σ_14 Source #

du_assoc'737''8242'_396 ∷ T_Σ_14 → T_Σ_14 Source #