| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.IO.Primitive.Core
Documentation
d_pure_12 :: forall xA'46'a. forall xA. T_Level_18 -> () -> xA -> T_IO_8 xA'46'a xA #
d__'62''62''61'__14 :: forall xA'46'a. forall xA. forall xB'46'a. forall 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 #
d_return_16 :: T_Level_18 -> () -> AgdaAny -> T_IO_8 AgdaAny AgdaAny #
du_return_16 :: T_Level_18 -> AgdaAny -> T_IO_8 AgdaAny AgdaAny #
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 #
du__'62''62'__18 :: T_Level_18 -> T_Level_18 -> T_IO_8 AgdaAny AgdaAny -> T_IO_8 AgdaAny AgdaAny -> T_IO_8 AgdaAny AgdaAny #