| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Function.Nary.NonDependent.Base
Documentation
d_Levels_20 ∷ Integer → () Source #
d_'10758'_26 ∷ Integer → AgdaAny → T_Level_18 Source #
d_Arrows_52 ∷ Integer → T_Level_18 → AgdaAny → AgdaAny → () → () Source #
d__'8649'__70 ∷ Integer → AgdaAny → T_Level_18 → AgdaAny → () → () Source #
d_lmap_74 ∷ (T_Level_18 → T_Level_18) → Integer → AgdaAny → AgdaAny Source #
d_ltabulate_90 ∷ Integer → (T_Fin_10 → T_Level_18) → AgdaAny Source #
d__'60''36''62'__120 ∷ (T_Level_18 → () → ()) → Integer → AgdaAny → AgdaAny → AgdaAny Source #
d_smap_142 ∷ (T_Level_18 → T_Level_18) → (T_Level_18 → () → ()) → Integer → AgdaAny → AgdaAny → AgdaAny Source #
du_smap_142 ∷ (T_Level_18 → () → ()) → Integer → AgdaAny → AgdaAny → AgdaAny Source #
d_stabulate_168 ∷ Integer → (T_Fin_10 → T_Level_18) → (T_Fin_10 → ()) → AgdaAny Source #
d_sreplicate_186 ∷ Integer → T_Level_18 → () → AgdaAny Source #
d_map'8345'_198 ∷ T_Level_18 → () → T_Level_18 → () → Integer → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d__'37''61'_'8866'__216 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → Integer → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d__'8759''61'_'8866'__232 ∷ T_Level_18 → () → T_Level_18 → () → Integer → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_hole'8345'_248 ∷ T_Level_18 → () → T_Level_18 → () → Integer → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #
d_const'8345'_266 ∷ Integer → AgdaAny → T_Level_18 → AgdaAny → () → AgdaAny → AgdaAny Source #