| 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__'60''36''62'__78 ∷ (T_Level_18 → () → ()) → Integer → AgdaAny → AgdaAny → AgdaAny Source #
d_lmap_94 ∷ (T_Level_18 → T_Level_18) → Integer → AgdaAny → AgdaAny Source #
d_smap_116 ∷ (T_Level_18 → T_Level_18) → (T_Level_18 → () → ()) → Integer → AgdaAny → AgdaAny → AgdaAny Source #
du_smap_116 ∷ (T_Level_18 → () → ()) → Integer → AgdaAny → AgdaAny → AgdaAny Source #
d_map'8345'_140 ∷ T_Level_18 → () → T_Level_18 → () → Integer → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d__'37''61'_'8866'__158 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → Integer → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d__'8759''61'_'8866'__174 ∷ T_Level_18 → () → T_Level_18 → () → Integer → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_hole'8345'_190 ∷ T_Level_18 → () → T_Level_18 → () → Integer → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #
d_const'8345'_208 ∷ Integer → AgdaAny → T_Level_18 → AgdaAny → () → AgdaAny → AgdaAny Source #