| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.IO.Primitive.Core
Documentation
d_pure_12 ∷ ∀ xA'46'a. ∀ xA. T_Level_18 → () → xA → T_IO_8 xA'46'a xA Source #
d__'62''62''61'__14 ∷ ∀ xA'46'a. ∀ xA. ∀ xB'46'a. ∀ xB. T_Level_18 → () → T_Level_18 → () → T_IO_8 xA'46'a xA → (xA → T_IO_8 xB'46'a xB) → T_IO_8 xB'46'a xB Source #
d_return_16 ∷ T_Level_18 → () → AgdaAny → T_IO_8 AgdaAny AgdaAny Source #
d__'62''62'__18 ∷ T_Level_18 → () → T_Level_18 → () → T_IO_8 AgdaAny AgdaAny → T_IO_8 AgdaAny AgdaAny → T_IO_8 AgdaAny AgdaAny Source #