| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Product
Documentation
d_map'45'Σ_48 ∷ 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_map'45'Σ'8242'_76 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → T_Level_18 → (AgdaAny → ()) → () → (AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 Source #
d_zipWith_122 ∷ T_Level_18 → () → 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 → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 → AgdaAny Source #
du_zipWith_122 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_Σ_14 → T_Σ_14 → AgdaAny Source #
d_'8708'_140 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → () Source #
d_'8707''33'_146 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → ()) → () Source #
d_'8708''45'syntax_158 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → () Source #