| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Effect.Choice
Documentation
d_RawChoice_16 :: p -> p -> p -> () #
newtype T_RawChoice_16 #
Constructors
| C_RawChoice'46'constructor_149 (() -> AgdaAny -> AgdaAny -> AgdaAny) |
d__'60''124''62'__22 :: T_RawChoice_16 -> () -> AgdaAny -> AgdaAny -> AgdaAny #
d__'8739'__24 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawChoice_16 -> () -> AgdaAny -> AgdaAny -> AgdaAny #
du__'8739'__24 :: T_RawChoice_16 -> AgdaAny -> AgdaAny -> AgdaAny #