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_RawMonad'46'constructor_319 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'__108 ∷ T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

d_rawApplicative_144 ∷ T_RawMonad_24 → T_RawApplicative_20 Source #

d_rawFunctor_146 ∷ T_RawMonad_24 → T_RawFunctor_24 Source #

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

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

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

du_unless_150 ∷ T_RawMonad_24 → Bool → AgdaAny → AgdaAny Source #

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

du_when_152 ∷ T_RawMonad_24 → Bool → AgdaAny → AgdaAny Source #

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

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

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

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

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

du_join_158 ∷ T_RawMonad_24 → AgdaAny → AgdaAny Source #

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

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

d_RawMonadZero_206 ∷ p → p → p → () Source #

data T_RawMonadZero_206 Source #

Constructors

C_RawMonadZero'46'constructor_7131 T_RawMonad_24 T_RawEmpty_16

d_rawMonad_214 ∷ T_RawMonadZero_206 → T_RawMonad_24 Source #

d_rawEmpty_216 ∷ T_RawMonadZero_206 → T_RawEmpty_16 Source #

d__'42''62'__220 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__220 ∷ T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__222 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__222 ∷ T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__224 ∷ T_RawMonadZero_206 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__226 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__226 ∷ T_RawMonadZero_206 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__228 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__228 ∷ T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__230 ∷ T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''61''60'__232 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''61''60'__232 ∷ T_RawMonadZero_206 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''8859'__234 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__234 ∷ T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'61''60''60'__236 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'61''60''60'__236 ∷ T_RawMonadZero_206 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''61''62'__238 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'62''61''62'__238 ∷ T_RawMonadZero_206 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

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

du__'62''62'__240 ∷ T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'62''62''61'__242 ∷ T_RawMonadZero_206 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'8855'__244 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__244 ∷ T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__246 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__246 ∷ T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

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

du__'8859''62'__248 ∷ T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_Kleisli_250 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → () Source #

d_ignore_252 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → AgdaAny → AgdaAny Source #

du_ignore_252 ∷ T_RawMonadZero_206 → () → AgdaAny → AgdaAny Source #

d_pure_254 ∷ T_RawMonadZero_206 → () → AgdaAny → AgdaAny Source #

d_rawApplicative_256 ∷ T_RawMonadZero_206 → T_RawApplicative_20 Source #

d_rawFunctor_258 ∷ T_RawMonadZero_206 → T_RawFunctor_24 Source #

d_return_260 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → AgdaAny → AgdaAny Source #

du_return_260 ∷ T_RawMonadZero_206 → () → AgdaAny → AgdaAny Source #

d_unless_262 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → Bool → AgdaAny → AgdaAny Source #

du_unless_262 ∷ T_RawMonadZero_206 → Bool → AgdaAny → AgdaAny Source #

d_when_264 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → Bool → AgdaAny → AgdaAny Source #

du_when_264 ∷ T_RawMonadZero_206 → Bool → AgdaAny → AgdaAny Source #

d_zip_266 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_266 ∷ T_RawMonadZero_206 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_268 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_268 ∷ T_RawMonadZero_206 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_empty_272 ∷ T_RawMonadZero_206 → () → AgdaAny Source #

d_'8709'_274 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → () → AgdaAny Source #

du_'8709'_274 ∷ T_RawMonadZero_206 → () → AgdaAny Source #

d_rawApplicativeZero_276 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadZero_206 → T_RawApplicativeZero_120 Source #

du_rawApplicativeZero_276 ∷ T_RawMonadZero_206 → T_RawApplicativeZero_120 Source #

d_RawMonadPlus_284 ∷ p → p → p → () Source #

data T_RawMonadPlus_284 Source #

Constructors

C_RawMonadPlus'46'constructor_9035 T_RawMonadZero_206 T_RawChoice_16

d_rawMonadZero_292 ∷ T_RawMonadPlus_284 → T_RawMonadZero_206 Source #

d_rawChoice_294 ∷ T_RawMonadPlus_284 → T_RawChoice_16 Source #

d__'42''62'__298 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__298 ∷ T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__300 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__300 ∷ T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__302 ∷ T_RawMonadPlus_284 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__304 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__304 ∷ T_RawMonadPlus_284 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__306 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__306 ∷ T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__308 ∷ T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''61''60'__310 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''61''60'__310 ∷ T_RawMonadPlus_284 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''8859'__312 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__312 ∷ T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

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

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

d__'62''61''62'__316 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'62''61''62'__316 ∷ T_RawMonadPlus_284 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''62'__318 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'62''62'__318 ∷ T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

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

d__'8855'__322 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__322 ∷ T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__324 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__324 ∷ T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__326 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__326 ∷ T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_Kleisli_328 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → () Source #

d_empty_330 ∷ T_RawMonadPlus_284 → () → AgdaAny Source #

d_ignore_332 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → AgdaAny → AgdaAny Source #

du_ignore_332 ∷ T_RawMonadPlus_284 → () → AgdaAny → AgdaAny Source #

d_pure_334 ∷ T_RawMonadPlus_284 → () → AgdaAny → AgdaAny Source #

d_rawApplicative_336 ∷ T_RawMonadPlus_284 → T_RawApplicative_20 Source #

d_rawApplicativeZero_338 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → T_RawApplicativeZero_120 Source #

du_rawApplicativeZero_338 ∷ T_RawMonadPlus_284 → T_RawApplicativeZero_120 Source #

d_rawEmpty_340 ∷ T_RawMonadPlus_284 → T_RawEmpty_16 Source #

d_rawFunctor_342 ∷ T_RawMonadPlus_284 → T_RawFunctor_24 Source #

d_rawMonad_344 ∷ T_RawMonadPlus_284 → T_RawMonad_24 Source #

d_return_346 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → AgdaAny → AgdaAny Source #

du_return_346 ∷ T_RawMonadPlus_284 → () → AgdaAny → AgdaAny Source #

d_unless_348 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → Bool → AgdaAny → AgdaAny Source #

du_unless_348 ∷ T_RawMonadPlus_284 → Bool → AgdaAny → AgdaAny Source #

d_when_350 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → Bool → AgdaAny → AgdaAny Source #

du_when_350 ∷ T_RawMonadPlus_284 → Bool → AgdaAny → AgdaAny Source #

d_zip_352 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_352 ∷ T_RawMonadPlus_284 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_354 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_354 ∷ T_RawMonadPlus_284 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_'8709'_356 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → AgdaAny Source #

du_'8709'_356 ∷ T_RawMonadPlus_284 → () → AgdaAny Source #

d__'60''124''62'__360 ∷ T_RawMonadPlus_284 → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8739'__362 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8739'__362 ∷ T_RawMonadPlus_284 → () → AgdaAny → AgdaAny → AgdaAny Source #

d_rawAlternative_364 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonadPlus_284 → T_RawAlternative_180 Source #

du_rawAlternative_364 ∷ T_RawMonadPlus_284 → T_RawAlternative_180 Source #

d_RawMonadTd_376 ∷ p → p → p → p → p → () Source #

data T_RawMonadTd_376 Source #

Constructors

C_RawMonadTd'46'constructor_11233 (() → AgdaAny → AgdaAny) T_RawMonad_24

d_lift_386 ∷ T_RawMonadTd_376 → () → AgdaAny → AgdaAny Source #

d_rawMonad_388 ∷ T_RawMonadTd_376 → T_RawMonad_24 Source #

d__'42''62'__392 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__392 ∷ T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__394 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__394 ∷ T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__396 ∷ T_RawMonadTd_376 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__398 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__398 ∷ T_RawMonadTd_376 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__400 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__400 ∷ T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__402 ∷ T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''61''60'__404 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''61''60'__404 ∷ T_RawMonadTd_376 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''8859'__406 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__406 ∷ T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'61''60''60'__408 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'61''60''60'__408 ∷ T_RawMonadTd_376 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''61''62'__410 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'62''61''62'__410 ∷ T_RawMonadTd_376 → () → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''62'__412 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'62''62'__412 ∷ T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'62''62''61'__414 ∷ T_RawMonadTd_376 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'8855'__416 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__416 ∷ T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__418 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__418 ∷ T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__420 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__420 ∷ T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_Kleisli_422 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → () Source #

d_ignore_424 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → AgdaAny → AgdaAny Source #

du_ignore_424 ∷ T_RawMonadTd_376 → () → AgdaAny → AgdaAny Source #

d_pure_426 ∷ T_RawMonadTd_376 → () → AgdaAny → AgdaAny Source #

d_rawApplicative_428 ∷ T_RawMonadTd_376 → T_RawApplicative_20 Source #

d_rawFunctor_430 ∷ T_RawMonadTd_376 → T_RawFunctor_24 Source #

d_return_432 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → AgdaAny → AgdaAny Source #

du_return_432 ∷ T_RawMonadTd_376 → () → AgdaAny → AgdaAny Source #

d_unless_434 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → Bool → AgdaAny → AgdaAny Source #

du_unless_434 ∷ T_RawMonadTd_376 → Bool → AgdaAny → AgdaAny Source #

d_when_436 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → Bool → AgdaAny → AgdaAny Source #

du_when_436 ∷ T_RawMonadTd_376 → Bool → AgdaAny → AgdaAny Source #

d_zip_438 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_438 ∷ T_RawMonadTd_376 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_440 ∷ T_Level_18 → T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawMonadTd_376 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_440 ∷ T_RawMonadTd_376 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_RawMonadT_444 ∷ T_Level_18 → T_Level_18 → T_Level_18 → ((() → ()) → () → ()) → () Source #