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_RawApplicative'46'constructor_453 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_94 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → AgdaAny → AgdaAny) → (() → () → AgdaAny → AgdaAny → AgdaAny) → T_RawApplicative_20 Source #

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

d_RawApplicativeZero_120 ∷ p → p → p → () Source #

data T_RawApplicativeZero_120 Source #

Constructors

C_RawApplicativeZero'46'constructor_8049 T_RawApplicative_20 T_RawEmpty_16

d_rawApplicative_128 ∷ T_RawApplicativeZero_120 → T_RawApplicative_20 Source #

d_rawEmpty_130 ∷ T_RawApplicativeZero_120 → T_RawEmpty_16 Source #

d__'42''62'__134 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__134 ∷ T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

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

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

d__'60''36''62'__138 ∷ T_RawApplicativeZero_120 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__140 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__140 ∷ T_RawApplicativeZero_120 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__142 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__142 ∷ T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__144 ∷ T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''8859'__146 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__146 ∷ T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8855'__148 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8855'__148 ∷ T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8859'__150 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8859'__150 ∷ T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

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

du__'8859''62'__152 ∷ T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_ignore_154 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → () → AgdaAny → AgdaAny Source #

du_ignore_154 ∷ T_RawApplicativeZero_120 → () → AgdaAny → AgdaAny Source #

d_pure_156 ∷ T_RawApplicativeZero_120 → () → AgdaAny → AgdaAny Source #

d_rawFunctor_158 ∷ T_RawApplicativeZero_120 → T_RawFunctor_24 Source #

d_return_160 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → () → AgdaAny → AgdaAny Source #

du_return_160 ∷ T_RawApplicativeZero_120 → () → AgdaAny → AgdaAny Source #

d_zip_162 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_162 ∷ T_RawApplicativeZero_120 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_164 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_164 ∷ T_RawApplicativeZero_120 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_empty_168 ∷ T_RawApplicativeZero_120 → () → AgdaAny Source #

d_'8709'_170 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → () → AgdaAny Source #

du_'8709'_170 ∷ T_RawApplicativeZero_120 → () → AgdaAny Source #

d_guard_172 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicativeZero_120 → Bool → AgdaAny Source #

du_guard_172 ∷ T_RawApplicativeZero_120 → Bool → AgdaAny Source #

d_RawAlternative_180 ∷ p → p → p → () Source #

data T_RawAlternative_180 Source #

Constructors

C_RawAlternative'46'constructor_9897 T_RawApplicativeZero_120 T_RawChoice_16

d_rawApplicativeZero_188 ∷ T_RawAlternative_180 → T_RawApplicativeZero_120 Source #

d_rawChoice_190 ∷ T_RawAlternative_180 → T_RawChoice_16 Source #

d__'42''62'__194 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'42''62'__194 ∷ T_RawAlternative_180 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36'__196 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''36'__196 ∷ T_RawAlternative_180 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''36''62'__198 ∷ T_RawAlternative_180 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d__'60''38''62'__200 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du__'60''38''62'__200 ∷ T_RawAlternative_180 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d__'60''42'__202 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''42'__202 ∷ T_RawAlternative_180 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''42''62'__204 ∷ T_RawAlternative_180 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'60''8859'__206 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'60''8859'__206 ∷ T_RawAlternative_180 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

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

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

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

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

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

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

d_empty_214 ∷ T_RawAlternative_180 → () → AgdaAny Source #

d_guard_216 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → Bool → AgdaAny Source #

du_guard_216 ∷ T_RawAlternative_180 → Bool → AgdaAny Source #

d_ignore_218 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → () → AgdaAny → AgdaAny Source #

du_ignore_218 ∷ T_RawAlternative_180 → () → AgdaAny → AgdaAny Source #

d_pure_220 ∷ T_RawAlternative_180 → () → AgdaAny → AgdaAny Source #

d_rawApplicative_222 ∷ T_RawAlternative_180 → T_RawApplicative_20 Source #

d_rawEmpty_224 ∷ T_RawAlternative_180 → T_RawEmpty_16 Source #

d_rawFunctor_226 ∷ T_RawAlternative_180 → T_RawFunctor_24 Source #

d_return_228 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → () → AgdaAny → AgdaAny Source #

du_return_228 ∷ T_RawAlternative_180 → () → AgdaAny → AgdaAny Source #

d_zip_230 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

du_zip_230 ∷ T_RawAlternative_180 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

d_zipWith_232 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

du_zipWith_232 ∷ T_RawAlternative_180 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

d_'8709'_234 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → () → AgdaAny Source #

du_'8709'_234 ∷ T_RawAlternative_180 → () → AgdaAny Source #

d__'60''124''62'__238 ∷ T_RawAlternative_180 → () → AgdaAny → AgdaAny → AgdaAny Source #

d__'8739'__240 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawAlternative_180 → () → AgdaAny → AgdaAny → AgdaAny Source #

du__'8739'__240 ∷ T_RawAlternative_180 → () → AgdaAny → AgdaAny → AgdaAny Source #

d_Morphism_254 ∷ p → p → p → p → p → p → () Source #

newtype T_Morphism_254 Source #

Constructors

C_Morphism'46'constructor_14129 T_Morphism_58

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

du_rawFunctor_290 ∷ T_RawApplicative_20 → T_RawFunctor_24 Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

d_rawFunctor_324 ∷ T_RawApplicative_20 → T_RawFunctor_24 Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

d_ignore_372 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → () → AgdaAny → AgdaAny Source #

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

d_pure_374 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → () → AgdaAny → AgdaAny Source #

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

d_rawFunctor_376 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → T_RawFunctor_24 Source #

du_rawFunctor_376 ∷ T_RawApplicative_20 → T_RawFunctor_24 Source #

d_return_378 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → () → AgdaAny → AgdaAny Source #

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

d_zip_380 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

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

d_zipWith_382 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

d_ignore_406 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → () → AgdaAny → AgdaAny Source #

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

d_pure_408 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → () → AgdaAny → AgdaAny Source #

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

d_rawFunctor_410 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → T_RawFunctor_24 Source #

du_rawFunctor_410 ∷ T_RawApplicative_20 → T_RawFunctor_24 Source #

d_return_412 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → () → AgdaAny → AgdaAny Source #

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

d_zip_414 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → () → () → AgdaAny → AgdaAny → AgdaAny Source #

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

d_zipWith_416 ∷ T_Level_18 → T_Level_18 → (() → ()) → (() → ()) → T_RawApplicative_20 → T_RawApplicative_20 → T_Morphism_254 → () → () → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #

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

d_functorMorphism_418 ∷ T_Morphism_254 → T_Morphism_58 Source #

d_op_422 ∷ T_Morphism_254 → () → AgdaAny → AgdaAny Source #

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

d_op'45'pure_428 ∷ T_Morphism_254 → () → AgdaAny → T__'8801'__12 Source #

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

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