Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Effect.Applicative

Documentation

d_RawApplicative_20 ∷ p → p → p → () Source #

data T_RawApplicative_20 Source #

Constructors

C_constructor_78 T_RawFunctor_24 (() → AgdaAny → AgdaAny) (() → () → AgdaAny → AgdaAny → AgdaAny)

d_rawFunctor_30 ∷ T_RawApplicative_20 → T_RawFunctor_24 Source #

d_pure_32 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d__'60''42''62'__34 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__38 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__38 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__40 ∷ T_RawApplicative_20 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__42 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__42 ∷ T_RawApplicative_20 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d_ignore_44 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

du_ignore_44 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

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

du__'60''42'__46 ∷ T_RawApplicative_20 → AgdaAny → AgdaAny → AgdaAny Source #

d__'42''62'__52 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__52 ∷ T_RawApplicative_20 → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_58 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_58 ∷ T_RawApplicative_20 → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

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

du_zip_66 ∷ T_RawApplicative_20 → AgdaAny → AgdaAny → AgdaAny Source #

d_return_68 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

du_return_68 ∷ T_RawApplicative_20 → AgdaAny → AgdaAny Source #

d__'8859'__70 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__70 ∷ T_RawApplicative_20 → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''8859'__72 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__72 ∷ T_RawApplicative_20 → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__74 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__74 ∷ T_RawApplicative_20 → AgdaAny → AgdaAny → AgdaAny Source #

d__'8855'__76 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__76 ∷ T_RawApplicative_20 → AgdaAny → AgdaAny → AgdaAny Source #

d_mkRawApplicative_96 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → AgdaAny → AgdaAny) → (() → () → AgdaAny → AgdaAny → AgdaAny) → T_RawApplicative_20 Source #

du_mkRawApplicative_96 ∷ (() → AgdaAny → AgdaAny) → (() → () → AgdaAny → AgdaAny → AgdaAny) → T_RawApplicative_20 Source #

d_RawApplicativeZero_122 ∷ p → p → p → () Source #

data T_RawApplicativeZero_122 Source #

Constructors

C_constructor_176 T_RawApplicative_20 T_RawEmpty_16

d_rawApplicative_130 ∷ T_RawApplicativeZero_122 → T_RawApplicative_20 Source #

d_rawEmpty_132 ∷ T_RawApplicativeZero_122 → T_RawEmpty_16 Source #

d__'42''62'__136 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__136 ∷ T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__138 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__138 ∷ T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__140 ∷ T_RawApplicativeZero_122 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__142 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__142 ∷ T_RawApplicativeZero_122 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__144 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__144 ∷ T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__146 ∷ T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''8859'__148 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__148 ∷ T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8855'__150 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__150 ∷ T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__152 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__152 ∷ T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__154 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__154 ∷ T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_ignore_156 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → AgdaAny → AgdaAny Source #

du_ignore_156 ∷ T_RawApplicativeZero_122 → () → AgdaAny → AgdaAny Source #

d_pure_158 ∷ T_RawApplicativeZero_122 → () → AgdaAny → AgdaAny Source #

d_rawFunctor_160 ∷ T_RawApplicativeZero_122 → T_RawFunctor_24 Source #

d_return_162 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → AgdaAny → AgdaAny Source #

du_return_162 ∷ T_RawApplicativeZero_122 → () → AgdaAny → AgdaAny Source #

d_zip_164 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_164 ∷ T_RawApplicativeZero_122 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_166 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_166 ∷ T_RawApplicativeZero_122 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_empty_170 ∷ T_RawApplicativeZero_122 → () → AgdaAny Source #

d_'8709'_172 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → () → AgdaAny Source #

du_'8709'_172 ∷ T_RawApplicativeZero_122 → () → AgdaAny Source #

d_guard_174 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_122 → Bool → AgdaAny Source #

du_guard_174 ∷ T_RawApplicativeZero_122 → Bool → AgdaAny Source #

d_RawAlternative_184 ∷ p → p → p → () Source #

data T_RawAlternative_184 Source #

Constructors

C_constructor_246 T_RawApplicativeZero_122 T_RawChoice_16

d_rawApplicativeZero_192 ∷ T_RawAlternative_184 → T_RawApplicativeZero_122 Source #

d_rawChoice_194 ∷ T_RawAlternative_184 → T_RawChoice_16 Source #

d__'42''62'__198 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__198 ∷ T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__200 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__200 ∷ T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__202 ∷ T_RawAlternative_184 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__204 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__204 ∷ T_RawAlternative_184 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__206 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__206 ∷ T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__208 ∷ T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

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

du__'60''8859'__210 ∷ T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8855'__212 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__212 ∷ T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__214 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__214 ∷ T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__216 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__216 ∷ T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_empty_218 ∷ T_RawAlternative_184 → () → AgdaAny Source #

d_guard_220 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → Bool → AgdaAny Source #

du_guard_220 ∷ T_RawAlternative_184 → Bool → AgdaAny Source #

d_ignore_222 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → AgdaAny → AgdaAny Source #

du_ignore_222 ∷ T_RawAlternative_184 → () → AgdaAny → AgdaAny Source #

d_pure_224 ∷ T_RawAlternative_184 → () → AgdaAny → AgdaAny Source #

d_rawApplicative_226 ∷ T_RawAlternative_184 → T_RawApplicative_20 Source #

d_rawEmpty_228 ∷ T_RawAlternative_184 → T_RawEmpty_16 Source #

d_rawFunctor_230 ∷ T_RawAlternative_184 → T_RawFunctor_24 Source #

d_return_232 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → AgdaAny → AgdaAny Source #

du_return_232 ∷ T_RawAlternative_184 → () → AgdaAny → AgdaAny Source #

d_zip_234 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_234 ∷ T_RawAlternative_184 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_236 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_236 ∷ T_RawAlternative_184 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_'8709'_238 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → AgdaAny Source #

du_'8709'_238 ∷ T_RawAlternative_184 → () → AgdaAny Source #

d__'60''124''62'__242 ∷ T_RawAlternative_184 → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8739'__244 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_184 → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8739'__244 ∷ T_RawAlternative_184 → () → AgdaAny → AgdaAny → AgdaAny Source #

d_Morphism_260 ∷ p → p → p → p → p → p → () Source #

newtype T_Morphism_260 Source #

Constructors

C_constructor_444 T_Morphism_60

d__'42''62'__272 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__272 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__274 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__274 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__276 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''36''62'__276 ∷ T_RawApplicative_20 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__278 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__278 ∷ T_RawApplicative_20 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__280 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__280 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__282 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42''62'__282 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''8859'__284 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__284 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8855'__286 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__286 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__288 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__288 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__290 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__290 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_ignore_292 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

du_ignore_292 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_pure_294 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

du_pure_294 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_rawFunctor_296 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_RawFunctor_24 Source #

du_rawFunctor_296 ∷ T_RawApplicative_20 → T_RawFunctor_24 Source #

d_return_298 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

du_return_298 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_zip_300 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_300 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_302 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_302 ∷ T_RawApplicative_20 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'42''62'__306 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__306 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__308 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__308 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__310 ∷ T_RawApplicative_20 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__312 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__312 ∷ T_RawApplicative_20 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__314 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__314 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__316 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''8859'__318 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__318 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8855'__320 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__320 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__322 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__322 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

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

du__'8859''62'__324 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_ignore_326 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

du_ignore_326 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_pure_328 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_rawFunctor_330 ∷ T_RawApplicative_20 → T_RawFunctor_24 Source #

d_return_332 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

du_return_332 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_zip_334 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_334 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_336 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_336 ∷ T_RawApplicative_20 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d__'42''62'__358 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__358 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__360 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__360 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__362 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''36''62'__362 ∷ T_RawApplicative_20 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__364 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__364 ∷ T_RawApplicative_20 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__366 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__366 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__368 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42''62'__368 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''8859'__370 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__370 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8855'__372 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__372 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__374 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__374 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__376 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__376 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_ignore_378 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → AgdaAny → AgdaAny Source #

du_ignore_378 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_pure_380 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → AgdaAny → AgdaAny Source #

du_pure_380 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_rawFunctor_382 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → T_RawFunctor_24 Source #

du_rawFunctor_382 ∷ T_RawApplicative_20 → T_RawFunctor_24 Source #

d_return_384 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → AgdaAny → AgdaAny Source #

du_return_384 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_zip_386 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_386 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_388 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_388 ∷ T_RawApplicative_20 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

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

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

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

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

d__'60''36''62'__396 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'60''36''62'__396 ∷ T_RawApplicative_20 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

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

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

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

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

d__'60''42''62'__402 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42''62'__402 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''8859'__404 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__404 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8855'__406 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__406 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__408 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__408 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859''62'__410 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859''62'__410 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_ignore_412 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → AgdaAny → AgdaAny Source #

du_ignore_412 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_pure_414 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → AgdaAny → AgdaAny Source #

du_pure_414 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_rawFunctor_416 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → T_RawFunctor_24 Source #

du_rawFunctor_416 ∷ T_RawApplicative_20 → T_RawFunctor_24 Source #

d_return_418 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → AgdaAny → AgdaAny Source #

du_return_418 ∷ T_RawApplicative_20 → () → AgdaAny → AgdaAny Source #

d_zip_420 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_420 ∷ T_RawApplicative_20 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_422 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_422 ∷ T_RawApplicative_20 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_functorMorphism_424 ∷ T_Morphism_260 → T_Morphism_60 Source #

d_op_428 ∷ T_Morphism_260 → () → AgdaAny → AgdaAny Source #

d_op'45''60''36''62'_430 ∷ T_Morphism_260 → () → () → (AgdaAny → AgdaAny) → AgdaAny → T__'8801'__12 Source #

d_op'45'pure_434 ∷ T_Morphism_260 → () → AgdaAny → T__'8801'__12 Source #

d_op'45''60''42''62'_440 ∷ T_Morphism_260 → () → () → AgdaAny → AgdaAny → T__'8801'__12 Source #

d_op'45''8859'_442 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_260 → () → () → AgdaAny → AgdaAny → T__'8801'__12 Source #