| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Product
Documentation
d_Σ'45'syntax_44 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → () Source #
d__'215'__50 ∷ T_Level_18 → T_Level_18 → () → () → () Source #
d__'44''8242'__58 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → AgdaAny → T_Σ_14 Source #
d_'8707'_62 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → () Source #
d_'8708'_66 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → () Source #
d_'8707''8322'_78 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → () Source #
d_'8707''33'_88 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → ()) → () Source #
d_'8707''45'syntax_100 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → () Source #
d_'8708''45'syntax_104 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → () Source #
d_'45''44'__112 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → AgdaAny → AgdaAny → T_Σ_14 Source #
d_'60'_'44'_'62'_132 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → T_Σ_14 Source #
d_map_148 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #
d_map'8321'_158 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #
d_map'8322'_170 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #
d_dmap_196 ∷ 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 #
d_zip_218 ∷ 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_218 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
d_curry_244 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (T_Σ_14 → ()) → (T_Σ_14 → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
d_uncurry_264 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (T_Σ_14 → ()) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → AgdaAny Source #
d_assoc'691'_280 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_Σ_14 → T_Σ_14 Source #
d_assoc'737'_296 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_Σ_14 → T_Σ_14 Source #
d_assoc'691''45'curried_310 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (T_Σ_14 → ()) → T_Σ_14 → T_Σ_14 Source #
d_assoc'737''45'curried_324 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (T_Σ_14 → ()) → T_Σ_14 → T_Σ_14 Source #
d_zip'8242'_332 ∷ 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'_332 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
d_curry'8242'_338 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (T_Σ_14 → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
d_uncurry'8242'_340 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → AgdaAny Source #
d_dmap'8242'_360 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #
d__'60''42''62'__384 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
d_swap_386 ∷ T_Level_18 → () → T_Level_18 → () → T_Σ_14 → T_Σ_14 Source #
du_swap_386 ∷ T_Σ_14 → T_Σ_14 Source #
d__'45''215''45'__392 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → AgdaAny → AgdaAny → () Source #
d__'45''44''45'__398 ∷ 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'__398 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T_Σ_14 Source #
d_assoc'691''8242'_404 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Σ_14 → T_Σ_14 Source #
d_assoc'737''8242'_412 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Σ_14 → T_Σ_14 Source #