| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Effect.Empty
Documentation
d_RawEmpty_16 :: p -> p -> p -> () #
newtype T_RawEmpty_16 #
Constructors
| C_RawEmpty'46'constructor_129 (() -> AgdaAny) |
d_empty_22 :: T_RawEmpty_16 -> () -> AgdaAny #
d_'8709'_24 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawEmpty_16 -> () -> AgdaAny #
du_'8709'_24 :: T_RawEmpty_16 -> AgdaAny #