Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Effect.Monad

Documentation

d_RawMonad_24 :: p -> p -> p -> () #

data T_RawMonad_24 #

Constructors

C_RawMonad'46'constructor_319 T_RawApplicative_20 (() -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny)

d_rawApplicative_32 :: T_RawMonad_24 -> T_RawApplicative_20 #

d__'62''62''61'__34 :: T_RawMonad_24 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'42''62'__38 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__38 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__40 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__40 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__42 :: T_RawMonad_24 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__44 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__44 :: T_RawMonad_24 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'60''42'__46 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__46 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''42''62'__48 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''8859'__50 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__50 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8855'__52 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__52 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859'__54 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__54 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__56 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__56 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_ignore_58 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> AgdaAny -> AgdaAny #

du_ignore_58 :: T_RawMonad_24 -> () -> AgdaAny -> AgdaAny #

d_pure_60 :: T_RawMonad_24 -> () -> AgdaAny -> AgdaAny #

d_rawFunctor_62 :: T_RawMonad_24 -> T_RawFunctor_24 #

d_return_64 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> AgdaAny -> AgdaAny #

du_return_64 :: T_RawMonad_24 -> () -> AgdaAny -> AgdaAny #

d_zip_66 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_66 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_68 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_68 :: T_RawMonad_24 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d__'62''62'__70 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'62''62'__70 :: T_RawMonad_24 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'61''60''60'__72 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'61''60''60'__72 :: T_RawMonad_24 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d_Kleisli_74 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> () #

d__'62''61''62'__80 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'62''61''62'__80 :: T_RawMonad_24 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''61''60'__88 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'60''61''60'__88 :: T_RawMonad_24 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d_when_90 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> Bool -> AgdaAny -> AgdaAny #

du_when_90 :: T_RawMonad_24 -> Bool -> AgdaAny -> AgdaAny #

d_unless_96 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> Bool -> AgdaAny -> AgdaAny #

du_unless_96 :: T_RawMonad_24 -> Bool -> AgdaAny -> AgdaAny #

d__'42''62'__108 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__108 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__110 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__110 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__112 :: T_RawMonad_24 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__114 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__114 :: T_RawMonad_24 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'60''42'__116 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__116 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''42''62'__118 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''61''60'__120 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'60''61''60'__120 :: T_RawMonad_24 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''8859'__122 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__122 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'61''60''60'__124 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'61''60''60'__124 :: T_RawMonad_24 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'62''61''62'__126 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'62''61''62'__126 :: T_RawMonad_24 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'62''62'__128 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'62''62'__128 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'62''62''61'__130 :: T_RawMonad_24 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'8855'__132 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__132 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859'__134 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__134 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__136 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__136 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_Kleisli_138 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> () #

d_ignore_140 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> AgdaAny -> AgdaAny #

du_ignore_140 :: T_RawMonad_24 -> () -> AgdaAny -> AgdaAny #

d_pure_142 :: T_RawMonad_24 -> () -> AgdaAny -> AgdaAny #

d_rawApplicative_144 :: T_RawMonad_24 -> T_RawApplicative_20 #

d_rawFunctor_146 :: T_RawMonad_24 -> T_RawFunctor_24 #

d_return_148 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> AgdaAny -> AgdaAny #

du_return_148 :: T_RawMonad_24 -> () -> AgdaAny -> AgdaAny #

d_unless_150 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> Bool -> AgdaAny -> AgdaAny #

du_unless_150 :: T_RawMonad_24 -> Bool -> AgdaAny -> AgdaAny #

d_when_152 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> Bool -> AgdaAny -> AgdaAny #

du_when_152 :: T_RawMonad_24 -> Bool -> AgdaAny -> AgdaAny #

d_zip_154 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_154 :: T_RawMonad_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_156 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_156 :: T_RawMonad_24 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_join_158 :: T_Level_18 -> (() -> ()) -> T_RawMonad_24 -> () -> AgdaAny -> AgdaAny #

du_join_158 :: T_RawMonad_24 -> AgdaAny -> AgdaAny #

d_mkRawMonad_178 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> AgdaAny -> AgdaAny) -> (() -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny) -> T_RawMonad_24 #

du_mkRawMonad_178 :: (() -> AgdaAny -> AgdaAny) -> (() -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny) -> T_RawMonad_24 #

d_RawMonadZero_206 :: p -> p -> p -> () #

data T_RawMonadZero_206 #

Constructors

C_RawMonadZero'46'constructor_7131 T_RawMonad_24 T_RawEmpty_16

d_rawMonad_214 :: T_RawMonadZero_206 -> T_RawMonad_24 #

d_rawEmpty_216 :: T_RawMonadZero_206 -> T_RawEmpty_16 #

d__'42''62'__220 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__220 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__222 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__222 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__224 :: T_RawMonadZero_206 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__226 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__226 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'60''42'__228 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__228 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''42''62'__230 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''61''60'__232 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'60''61''60'__232 :: T_RawMonadZero_206 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''8859'__234 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__234 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'61''60''60'__236 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'61''60''60'__236 :: T_RawMonadZero_206 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'62''61''62'__238 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'62''61''62'__238 :: T_RawMonadZero_206 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'62''62'__240 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'62''62'__240 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'62''62''61'__242 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'8855'__244 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__244 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859'__246 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__246 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__248 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__248 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_Kleisli_250 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> () #

d_ignore_252 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> AgdaAny -> AgdaAny #

du_ignore_252 :: T_RawMonadZero_206 -> () -> AgdaAny -> AgdaAny #

d_pure_254 :: T_RawMonadZero_206 -> () -> AgdaAny -> AgdaAny #

d_rawApplicative_256 :: T_RawMonadZero_206 -> T_RawApplicative_20 #

d_rawFunctor_258 :: T_RawMonadZero_206 -> T_RawFunctor_24 #

d_return_260 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> AgdaAny -> AgdaAny #

du_return_260 :: T_RawMonadZero_206 -> () -> AgdaAny -> AgdaAny #

d_unless_262 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> Bool -> AgdaAny -> AgdaAny #

du_unless_262 :: T_RawMonadZero_206 -> Bool -> AgdaAny -> AgdaAny #

d_when_264 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> Bool -> AgdaAny -> AgdaAny #

du_when_264 :: T_RawMonadZero_206 -> Bool -> AgdaAny -> AgdaAny #

d_zip_266 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_266 :: T_RawMonadZero_206 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_268 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_268 :: T_RawMonadZero_206 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_empty_272 :: T_RawMonadZero_206 -> () -> AgdaAny #

d_'8709'_274 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> () -> AgdaAny #

du_'8709'_274 :: T_RawMonadZero_206 -> () -> AgdaAny #

d_rawApplicativeZero_276 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadZero_206 -> T_RawApplicativeZero_120 #

du_rawApplicativeZero_276 :: T_RawMonadZero_206 -> T_RawApplicativeZero_120 #

d_RawMonadPlus_284 :: p -> p -> p -> () #

data T_RawMonadPlus_284 #

Constructors

C_RawMonadPlus'46'constructor_9035 T_RawMonadZero_206 T_RawChoice_16

d_rawMonadZero_292 :: T_RawMonadPlus_284 -> T_RawMonadZero_206 #

d_rawChoice_294 :: T_RawMonadPlus_284 -> T_RawChoice_16 #

d__'42''62'__298 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__298 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__300 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__300 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__302 :: T_RawMonadPlus_284 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__304 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__304 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'60''42'__306 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__306 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''42''62'__308 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''61''60'__310 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'60''61''60'__310 :: T_RawMonadPlus_284 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''8859'__312 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__312 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'61''60''60'__314 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'61''60''60'__314 :: T_RawMonadPlus_284 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'62''61''62'__316 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'62''61''62'__316 :: T_RawMonadPlus_284 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'62''62'__318 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'62''62'__318 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'62''62''61'__320 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'8855'__322 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__322 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859'__324 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__324 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__326 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__326 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_Kleisli_328 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> () #

d_empty_330 :: T_RawMonadPlus_284 -> () -> AgdaAny #

d_ignore_332 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> AgdaAny -> AgdaAny #

du_ignore_332 :: T_RawMonadPlus_284 -> () -> AgdaAny -> AgdaAny #

d_pure_334 :: T_RawMonadPlus_284 -> () -> AgdaAny -> AgdaAny #

d_rawApplicative_336 :: T_RawMonadPlus_284 -> T_RawApplicative_20 #

d_rawApplicativeZero_338 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> T_RawApplicativeZero_120 #

du_rawApplicativeZero_338 :: T_RawMonadPlus_284 -> T_RawApplicativeZero_120 #

d_rawEmpty_340 :: T_RawMonadPlus_284 -> T_RawEmpty_16 #

d_rawFunctor_342 :: T_RawMonadPlus_284 -> T_RawFunctor_24 #

d_rawMonad_344 :: T_RawMonadPlus_284 -> T_RawMonad_24 #

d_return_346 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> AgdaAny -> AgdaAny #

du_return_346 :: T_RawMonadPlus_284 -> () -> AgdaAny -> AgdaAny #

d_unless_348 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> Bool -> AgdaAny -> AgdaAny #

du_unless_348 :: T_RawMonadPlus_284 -> Bool -> AgdaAny -> AgdaAny #

d_when_350 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> Bool -> AgdaAny -> AgdaAny #

du_when_350 :: T_RawMonadPlus_284 -> Bool -> AgdaAny -> AgdaAny #

d_zip_352 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_352 :: T_RawMonadPlus_284 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_354 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_354 :: T_RawMonadPlus_284 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8709'_356 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> AgdaAny #

du_'8709'_356 :: T_RawMonadPlus_284 -> () -> AgdaAny #

d__'60''124''62'__360 :: T_RawMonadPlus_284 -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8739'__362 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8739'__362 :: T_RawMonadPlus_284 -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_rawAlternative_364 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawMonadPlus_284 -> T_RawAlternative_180 #

du_rawAlternative_364 :: T_RawMonadPlus_284 -> T_RawAlternative_180 #

d_RawMonadTd_376 :: p -> p -> p -> p -> p -> () #

data T_RawMonadTd_376 #

Constructors

C_RawMonadTd'46'constructor_11233 (() -> AgdaAny -> AgdaAny) T_RawMonad_24

d_lift_386 :: T_RawMonadTd_376 -> () -> AgdaAny -> AgdaAny #

d_rawMonad_388 :: T_RawMonadTd_376 -> T_RawMonad_24 #

d__'42''62'__392 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__392 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__394 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__394 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__396 :: T_RawMonadTd_376 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__398 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__398 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'60''42'__400 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__400 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''42''62'__402 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''61''60'__404 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'60''61''60'__404 :: T_RawMonadTd_376 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''8859'__406 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__406 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'61''60''60'__408 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'61''60''60'__408 :: T_RawMonadTd_376 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'62''61''62'__410 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'62''61''62'__410 :: T_RawMonadTd_376 -> () -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'62''62'__412 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'62''62'__412 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'62''62''61'__414 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'8855'__416 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__416 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859'__418 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__418 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__420 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__420 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_Kleisli_422 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> () #

d_ignore_424 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> AgdaAny -> AgdaAny #

du_ignore_424 :: T_RawMonadTd_376 -> () -> AgdaAny -> AgdaAny #

d_pure_426 :: T_RawMonadTd_376 -> () -> AgdaAny -> AgdaAny #

d_rawApplicative_428 :: T_RawMonadTd_376 -> T_RawApplicative_20 #

d_rawFunctor_430 :: T_RawMonadTd_376 -> T_RawFunctor_24 #

d_return_432 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> AgdaAny -> AgdaAny #

du_return_432 :: T_RawMonadTd_376 -> () -> AgdaAny -> AgdaAny #

d_unless_434 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> Bool -> AgdaAny -> AgdaAny #

du_unless_434 :: T_RawMonadTd_376 -> Bool -> AgdaAny -> AgdaAny #

d_when_436 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> Bool -> AgdaAny -> AgdaAny #

du_when_436 :: T_RawMonadTd_376 -> Bool -> AgdaAny -> AgdaAny #

d_zip_438 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_438 :: T_RawMonadTd_376 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_440 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawMonadTd_376 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_440 :: T_RawMonadTd_376 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_RawMonadT_444 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> ((() -> ()) -> () -> ()) -> () #