Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Effect.Monad

Documentation

d_RawMonad_24 ∷ p → p → p → () Source #

data T_RawMonad_24 Source #

Constructors

C_constructor_98 T_RawApplicative_20 (() → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny)

d_rawApplicative_32 ∷ T_RawMonad_24 → T_RawApplicative_20 Source #

d__'62''62''61'__34 ∷ T_RawMonad_24 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'42''62'__38 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__38 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__40 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__40 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__42 ∷ T_RawMonad_24 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__44 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__44 ∷ T_RawMonad_24 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__46 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__46 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__48 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''8859'__50 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__50 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8855'__52 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__52 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__54 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__54 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__56 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__56 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_ignore_58 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → AgdaAny → AgdaAny Source #

du_ignore_58 ∷ T_RawMonad_24 → () → AgdaAny → AgdaAny Source #

d_pure_60 ∷ T_RawMonad_24 → () → AgdaAny → AgdaAny Source #

d_rawFunctor_62 ∷ T_RawMonad_24 → T_RawFunctor_24 Source #

d_return_64 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → AgdaAny → AgdaAny Source #

du_return_64 ∷ T_RawMonad_24 → () → AgdaAny → AgdaAny Source #

d_zip_66 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_66 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_68 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_68 ∷ T_RawMonad_24 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'62''62'__70 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'62''62'__70 ∷ T_RawMonad_24 → AgdaAny → AgdaAny → AgdaAny Source #

d__'61''60''60'__72 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'61''60''60'__72 ∷ T_RawMonad_24 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d_Kleisli_74 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → () Source #

d__'62''61''62'__80 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'62''61''62'__80 ∷ T_RawMonad_24 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''61''60'__88 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''61''60'__88 ∷ T_RawMonad_24 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d_when_90 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → Bool → AgdaAny → AgdaAny Source #

du_when_90 ∷ T_RawMonad_24 → Bool → AgdaAny → AgdaAny Source #

d_unless_96 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → Bool → AgdaAny → AgdaAny Source #

du_unless_96 ∷ T_RawMonad_24 → Bool → AgdaAny → AgdaAny Source #

d__'42''62'__110 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__110 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__112 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__112 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__114 ∷ T_RawMonad_24 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__116 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__116 ∷ T_RawMonad_24 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__118 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__118 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__120 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''61''60'__122 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''61''60'__122 ∷ T_RawMonad_24 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''8859'__124 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__124 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'61''60''60'__126 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'61''60''60'__126 ∷ T_RawMonad_24 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''61''62'__128 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'62''61''62'__128 ∷ T_RawMonad_24 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''62'__130 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'62''62'__130 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'62''62''61'__132 ∷ T_RawMonad_24 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'8855'__134 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__134 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__136 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__136 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__138 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__138 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_Kleisli_140 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → () Source #

d_ignore_142 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → AgdaAny → AgdaAny Source #

du_ignore_142 ∷ T_RawMonad_24 → () → AgdaAny → AgdaAny Source #

d_pure_144 ∷ T_RawMonad_24 → () → AgdaAny → AgdaAny Source #

d_rawApplicative_146 ∷ T_RawMonad_24 → T_RawApplicative_20 Source #

d_rawFunctor_148 ∷ T_RawMonad_24 → T_RawFunctor_24 Source #

d_return_150 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → AgdaAny → AgdaAny Source #

du_return_150 ∷ T_RawMonad_24 → () → AgdaAny → AgdaAny Source #

d_unless_152 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → Bool → AgdaAny → AgdaAny Source #

du_unless_152 ∷ T_RawMonad_24 → Bool → AgdaAny → AgdaAny Source #

d_when_154 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → Bool → AgdaAny → AgdaAny Source #

du_when_154 ∷ T_RawMonad_24 → Bool → AgdaAny → AgdaAny Source #

d_zip_156 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_156 ∷ T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_158 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_158 ∷ T_RawMonad_24 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_join_160 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → AgdaAny → AgdaAny Source #

du_join_160 ∷ T_RawMonad_24 → AgdaAny → AgdaAny Source #

d_mkRawMonad_180 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → AgdaAny → AgdaAny) → (() → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny) → T_RawMonad_24 Source #

du_mkRawMonad_180 ∷ (() → AgdaAny → AgdaAny) → (() → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny) → T_RawMonad_24 Source #

d_RawMonadZero_208 ∷ p → p → p → () Source #

data T_RawMonadZero_208 Source #

Constructors

C_constructor_280 T_RawMonad_24 T_RawEmpty_16

d_rawMonad_216 ∷ T_RawMonadZero_208 → T_RawMonad_24 Source #

d_rawEmpty_218 ∷ T_RawMonadZero_208 → T_RawEmpty_16 Source #

d__'42''62'__222 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__222 ∷ T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__224 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__224 ∷ T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__226 ∷ T_RawMonadZero_208 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__228 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__228 ∷ T_RawMonadZero_208 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__230 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__230 ∷ T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__232 ∷ T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''61''60'__234 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''61''60'__234 ∷ T_RawMonadZero_208 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''8859'__236 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__236 ∷ T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'61''60''60'__238 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'61''60''60'__238 ∷ T_RawMonadZero_208 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''61''62'__240 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'62''61''62'__240 ∷ T_RawMonadZero_208 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''62'__242 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'62''62'__242 ∷ T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'62''62''61'__244 ∷ T_RawMonadZero_208 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'8855'__246 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__246 ∷ T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__248 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__248 ∷ T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__250 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__250 ∷ T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_Kleisli_252 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → () Source #

d_ignore_254 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → AgdaAny → AgdaAny Source #

du_ignore_254 ∷ T_RawMonadZero_208 → () → AgdaAny → AgdaAny Source #

d_pure_256 ∷ T_RawMonadZero_208 → () → AgdaAny → AgdaAny Source #

d_rawApplicative_258 ∷ T_RawMonadZero_208 → T_RawApplicative_20 Source #

d_rawFunctor_260 ∷ T_RawMonadZero_208 → T_RawFunctor_24 Source #

d_return_262 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → AgdaAny → AgdaAny Source #

du_return_262 ∷ T_RawMonadZero_208 → () → AgdaAny → AgdaAny Source #

d_unless_264 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → Bool → AgdaAny → AgdaAny Source #

du_unless_264 ∷ T_RawMonadZero_208 → Bool → AgdaAny → AgdaAny Source #

d_when_266 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → Bool → AgdaAny → AgdaAny Source #

du_when_266 ∷ T_RawMonadZero_208 → Bool → AgdaAny → AgdaAny Source #

d_zip_268 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_268 ∷ T_RawMonadZero_208 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_270 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_270 ∷ T_RawMonadZero_208 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_empty_274 ∷ T_RawMonadZero_208 → () → AgdaAny Source #

d_'8709'_276 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → () → AgdaAny Source #

du_'8709'_276 ∷ T_RawMonadZero_208 → () → AgdaAny Source #

d_rawApplicativeZero_278 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_208 → T_RawApplicativeZero_122 Source #

du_rawApplicativeZero_278 ∷ T_RawMonadZero_208 → T_RawApplicativeZero_122 Source #

d_RawMonadPlus_288 ∷ p → p → p → () Source #

data T_RawMonadPlus_288 Source #

Constructors

C_constructor_370 T_RawMonadZero_208 T_RawChoice_16

d_rawMonadZero_296 ∷ T_RawMonadPlus_288 → T_RawMonadZero_208 Source #

d_rawChoice_298 ∷ T_RawMonadPlus_288 → T_RawChoice_16 Source #

d__'42''62'__302 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__302 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__304 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__304 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__306 ∷ T_RawMonadPlus_288 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__308 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__308 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__310 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__310 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__312 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''61''60'__314 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''61''60'__314 ∷ T_RawMonadPlus_288 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''8859'__316 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__316 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'61''60''60'__318 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'61''60''60'__318 ∷ T_RawMonadPlus_288 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''61''62'__320 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'62''61''62'__320 ∷ T_RawMonadPlus_288 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''62'__322 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'62''62'__322 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'62''62''61'__324 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'8855'__326 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__326 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__328 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__328 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__330 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__330 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_Kleisli_332 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → () Source #

d_empty_334 ∷ T_RawMonadPlus_288 → () → AgdaAny Source #

d_ignore_336 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → AgdaAny → AgdaAny Source #

du_ignore_336 ∷ T_RawMonadPlus_288 → () → AgdaAny → AgdaAny Source #

d_pure_338 ∷ T_RawMonadPlus_288 → () → AgdaAny → AgdaAny Source #

d_rawApplicative_340 ∷ T_RawMonadPlus_288 → T_RawApplicative_20 Source #

d_rawApplicativeZero_342 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → T_RawApplicativeZero_122 Source #

du_rawApplicativeZero_342 ∷ T_RawMonadPlus_288 → T_RawApplicativeZero_122 Source #

d_rawEmpty_344 ∷ T_RawMonadPlus_288 → T_RawEmpty_16 Source #

d_rawFunctor_346 ∷ T_RawMonadPlus_288 → T_RawFunctor_24 Source #

d_rawMonad_348 ∷ T_RawMonadPlus_288 → T_RawMonad_24 Source #

d_return_350 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → AgdaAny → AgdaAny Source #

du_return_350 ∷ T_RawMonadPlus_288 → () → AgdaAny → AgdaAny Source #

d_unless_352 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → Bool → AgdaAny → AgdaAny Source #

du_unless_352 ∷ T_RawMonadPlus_288 → Bool → AgdaAny → AgdaAny Source #

d_when_354 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → Bool → AgdaAny → AgdaAny Source #

du_when_354 ∷ T_RawMonadPlus_288 → Bool → AgdaAny → AgdaAny Source #

d_zip_356 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_356 ∷ T_RawMonadPlus_288 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_358 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_358 ∷ T_RawMonadPlus_288 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_'8709'_360 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → AgdaAny Source #

du_'8709'_360 ∷ T_RawMonadPlus_288 → () → AgdaAny Source #

d__'60''124''62'__364 ∷ T_RawMonadPlus_288 → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8739'__366 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8739'__366 ∷ T_RawMonadPlus_288 → () → AgdaAny → AgdaAny → AgdaAny Source #

d_rawAlternative_368 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_288 → T_RawAlternative_184 Source #

du_rawAlternative_368 ∷ T_RawMonadPlus_288 → T_RawAlternative_184 Source #

d_RawMonadTd_382 ∷ p → p → p → p → p → () Source #

data T_RawMonadTd_382 Source #

Constructors

C_constructor_448 (() → AgdaAny → AgdaAny) T_RawMonad_24

d_lift_392 ∷ T_RawMonadTd_382 → () → AgdaAny → AgdaAny Source #

d_rawMonad_394 ∷ T_RawMonadTd_382 → T_RawMonad_24 Source #

d__'42''62'__398 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__398 ∷ T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__400 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__400 ∷ T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__402 ∷ T_RawMonadTd_382 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__404 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__404 ∷ T_RawMonadTd_382 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__406 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__406 ∷ T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__408 ∷ T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''61''60'__410 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''61''60'__410 ∷ T_RawMonadTd_382 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''8859'__412 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__412 ∷ T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'61''60''60'__414 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'61''60''60'__414 ∷ T_RawMonadTd_382 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''61''62'__416 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'62''61''62'__416 ∷ T_RawMonadTd_382 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''62'__418 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'62''62'__418 ∷ T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'62''62''61'__420 ∷ T_RawMonadTd_382 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'8855'__422 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__422 ∷ T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__424 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__424 ∷ T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__426 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__426 ∷ T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_Kleisli_428 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → () Source #

d_ignore_430 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → AgdaAny → AgdaAny Source #

du_ignore_430 ∷ T_RawMonadTd_382 → () → AgdaAny → AgdaAny Source #

d_pure_432 ∷ T_RawMonadTd_382 → () → AgdaAny → AgdaAny Source #

d_rawApplicative_434 ∷ T_RawMonadTd_382 → T_RawApplicative_20 Source #

d_rawFunctor_436 ∷ T_RawMonadTd_382 → T_RawFunctor_24 Source #

d_return_438 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → AgdaAny → AgdaAny Source #

du_return_438 ∷ T_RawMonadTd_382 → () → AgdaAny → AgdaAny Source #

d_unless_440 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → Bool → AgdaAny → AgdaAny Source #

du_unless_440 ∷ T_RawMonadTd_382 → Bool → AgdaAny → AgdaAny Source #

d_when_442 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → Bool → AgdaAny → AgdaAny Source #

du_when_442 ∷ T_RawMonadTd_382 → Bool → AgdaAny → AgdaAny Source #

d_zip_444 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_444 ∷ T_RawMonadTd_382 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_446 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_382 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_446 ∷ T_RawMonadTd_382 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_RawMonadT_452 ∷ T_Level_18 → T_Level_18 → T_Level_18 → ((() → ()) → () → ()) → () Source #