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