Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Category.Monad.Indexed

Documentation

d_RawIMonad_32 ∷ p → p → p → p → () Source #

data T_RawIMonad_32 Source #

Constructors

C_RawIMonad'46'constructor_711 (() → AgdaAny → AgdaAny → AgdaAny) (() → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny)

d_return_52 ∷ T_RawIMonad_32 → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'62''62''61'__60 ∷ T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'62''62'__68 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'62''62'__68 ∷ T_RawIMonad_32 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'61''60''60'__82 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'61''60''60'__82 ∷ T_RawIMonad_32 → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''61''62'__94 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → T_Level_18 → () → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'62''61''62'__94 ∷ T_RawIMonad_32 → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''61''60'__106 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → () → () → T_Level_18 → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''61''60'__106 ∷ T_RawIMonad_32 → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d_join_118 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du_join_118 ∷ T_RawIMonad_32 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_rawIApplicative_122 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → T_RawIApplicative_38 Source #

du_rawIApplicative_122 ∷ T_RawIMonad_32 → T_RawIApplicative_38 Source #

d__'60''36'__134 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → AgdaAny → AgdaAny → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__134 ∷ T_RawIMonad_32 → AgdaAny → AgdaAny → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__136 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → AgdaAny → AgdaAny → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''36''62'__136 ∷ T_RawIMonad_32 → AgdaAny → AgdaAny → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__138 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → AgdaAny → AgdaAny → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__138 ∷ T_RawIMonad_32 → AgdaAny → AgdaAny → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''8859'__140 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__140 ∷ T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'8855'__142 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__142 ∷ T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__144 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__144 ∷ T_RawIMonad_32 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__146 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__146 ∷ T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_pure_148 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → () → AgdaAny → AgdaAny → AgdaAny Source #

du_pure_148 ∷ T_RawIMonad_32 → () → AgdaAny → AgdaAny → AgdaAny Source #

d_rawFunctor_150 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → AgdaAny → AgdaAny → T_RawFunctor_24 Source #

du_rawFunctor_150 ∷ T_RawIMonad_32 → AgdaAny → AgdaAny → T_RawFunctor_24 Source #

d_zip_152 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_152 ∷ T_RawIMonad_32 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_154 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonad_32 → () → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_154 ∷ T_RawIMonad_32 → () → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_RawIMonadT_160 ∷ T_Level_18 → T_Level_18 → () → ((AgdaAny → AgdaAny → () → ()) → AgdaAny → AgdaAny → () → ()) → () Source #

d_RawIMonadZero_174 ∷ p → p → p → p → () Source #

data T_RawIMonadZero_174 Source #

Constructors

C_RawIMonadZero'46'constructor_10609 T_RawIMonad_32 T_RawIApplicativeZero_156

d_monad_184 ∷ T_RawIMonadZero_174 → T_RawIMonad_32 Source #

d_applicativeZero_186 ∷ T_RawIMonadZero_174 → T_RawIApplicativeZero_156 Source #

d__'60''36'__190 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → AgdaAny → AgdaAny → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__190 ∷ T_RawIMonadZero_174 → AgdaAny → AgdaAny → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__192 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → AgdaAny → AgdaAny → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''36''62'__192 ∷ T_RawIMonadZero_174 → AgdaAny → AgdaAny → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__194 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → AgdaAny → AgdaAny → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__194 ∷ T_RawIMonadZero_174 → AgdaAny → AgdaAny → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''61''60'__196 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → () → T_Level_18 → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''61''60'__196 ∷ T_RawIMonadZero_174 → () → () → T_Level_18 → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''8859'__198 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__198 ∷ T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'61''60''60'__200 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'61''60''60'__200 ∷ T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''61''62'__202 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → T_Level_18 → () → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'62''61''62'__202 ∷ T_RawIMonadZero_174 → T_Level_18 → () → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''62'__204 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'62''62'__204 ∷ T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'62''62''61'__206 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'62''62''61'__206 ∷ T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'8855'__208 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__208 ∷ T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__210 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__210 ∷ T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__212 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__212 ∷ T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_join_214 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du_join_214 ∷ T_RawIMonadZero_174 → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_pure_216 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → AgdaAny → AgdaAny → AgdaAny Source #

du_pure_216 ∷ T_RawIMonadZero_174 → () → AgdaAny → AgdaAny → AgdaAny Source #

d_rawFunctor_218 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → AgdaAny → AgdaAny → T_RawFunctor_24 Source #

du_rawFunctor_218 ∷ T_RawIMonadZero_174 → AgdaAny → AgdaAny → T_RawFunctor_24 Source #

d_rawIApplicative_220 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → T_RawIApplicative_38 Source #

du_rawIApplicative_220 ∷ T_RawIMonadZero_174 → T_RawIApplicative_38 Source #

d_return_222 ∷ T_RawIMonadZero_174 → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zip_224 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_224 ∷ T_RawIMonadZero_174 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_226 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadZero_174 → () → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_226 ∷ T_RawIMonadZero_174 → () → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_'8709'_230 ∷ T_RawIMonadZero_174 → () → AgdaAny → AgdaAny → AgdaAny Source #

d_RawIMonadPlus_240 ∷ p → p → p → p → () Source #

data T_RawIMonadPlus_240 Source #

Constructors

C_RawIMonadPlus'46'constructor_12775 T_RawIMonad_32 T_RawIAlternative_210

d_monad_250 ∷ T_RawIMonadPlus_240 → T_RawIMonad_32 Source #

d_alternative_252 ∷ T_RawIMonadPlus_240 → T_RawIAlternative_210 Source #

d__'60''36'__256 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → AgdaAny → AgdaAny → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__256 ∷ T_RawIMonadPlus_240 → AgdaAny → AgdaAny → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__258 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → AgdaAny → AgdaAny → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''36''62'__258 ∷ T_RawIMonadPlus_240 → AgdaAny → AgdaAny → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__260 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → AgdaAny → AgdaAny → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__260 ∷ T_RawIMonadPlus_240 → AgdaAny → AgdaAny → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''61''60'__262 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → () → T_Level_18 → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''61''60'__262 ∷ T_RawIMonadPlus_240 → () → () → T_Level_18 → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''8859'__264 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__264 ∷ T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'61''60''60'__266 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'61''60''60'__266 ∷ T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''61''62'__268 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → T_Level_18 → () → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'62''61''62'__268 ∷ T_RawIMonadPlus_240 → T_Level_18 → () → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'62''62'__270 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'62''62'__270 ∷ T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'62''62''61'__272 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'62''62''61'__272 ∷ T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'8855'__274 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__274 ∷ T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__276 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__276 ∷ T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__278 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__278 ∷ T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_join_280 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du_join_280 ∷ T_RawIMonadPlus_240 → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_pure_282 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → AgdaAny → AgdaAny → AgdaAny Source #

du_pure_282 ∷ T_RawIMonadPlus_240 → () → AgdaAny → AgdaAny → AgdaAny Source #

d_rawFunctor_284 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → AgdaAny → AgdaAny → T_RawFunctor_24 Source #

du_rawFunctor_284 ∷ T_RawIMonadPlus_240 → AgdaAny → AgdaAny → T_RawFunctor_24 Source #

d_rawIApplicative_286 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → T_RawIApplicative_38 Source #

du_rawIApplicative_286 ∷ T_RawIMonadPlus_240 → T_RawIApplicative_38 Source #

d_return_288 ∷ T_RawIMonadPlus_240 → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zip_290 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_290 ∷ T_RawIMonadPlus_240 → () → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_292 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → () → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_292 ∷ T_RawIMonadPlus_240 → () → () → () → AgdaAny → AgdaAny → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'8739'__296 ∷ T_RawIMonadPlus_240 → () → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_'8709'_298 ∷ T_RawIMonadPlus_240 → () → AgdaAny → AgdaAny → AgdaAny Source #

d_monadZero_300 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → () → ()) → T_RawIMonadPlus_240 → T_RawIMonadZero_174 Source #

du_monadZero_300 ∷ T_RawIMonadPlus_240 → T_RawIMonadZero_174 Source #