| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Effect.Choice
Documentation
d_RawChoice_16 ∷ p → p → p → () Source #
newtype T_RawChoice_16 Source #
Constructors
| C_constructor_26 (() → AgdaAny → AgdaAny → AgdaAny) |
d__'60''124''62'__22 ∷ T_RawChoice_16 → () → AgdaAny → AgdaAny → AgdaAny Source #
d__'8739'__24 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawChoice_16 → () → AgdaAny → AgdaAny → AgdaAny Source #
du__'8739'__24 ∷ T_RawChoice_16 → AgdaAny → AgdaAny → AgdaAny Source #