Documentation

d_Sum'8343'_14 ∷ T_Level_18 → () → T_Level_18 → () → () Source #

d_functor_18 ∷ T_Level_18 → () → T_Level_18 → T_RawFunctor_24 Source #

du_functor_18 ∷ T_RawFunctor_24 Source #

d_applicative_20 ∷ T_Level_18 → () → T_Level_18 → T_RawApplicative_20 Source #

du_applicative_20 ∷ T_RawApplicative_20 Source #

d_empty_22 ∷ T_Level_18 → () → T_Level_18 → AgdaAny → T_RawEmpty_16 Source #

du_empty_22 ∷ AgdaAny → T_RawEmpty_16 Source #

d_choice_26 ∷ T_Level_18 → () → T_Level_18 → T_RawChoice_16 Source #

du_choice_26 ∷ T_RawChoice_16 Source #

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

du_applicativeZero_28 ∷ AgdaAny → T_RawApplicativeZero_122 Source #

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

du_alternative_32 ∷ AgdaAny → T_RawAlternative_184 Source #

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

du_monad_36 ∷ T_RawMonad_24 Source #

d_join_40 ∷ T_Level_18 → () → T_Level_18 → () → T__'8846'__30 → T__'8846'__30 Source #

du_join_40 ∷ T__'8846'__30 → T__'8846'__30 Source #

d_sequenceA_84 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → T__'8846'__30 → AgdaAny Source #

du_sequenceA_84 ∷ T_RawApplicative_20 → T__'8846'__30 → AgdaAny Source #

d_mapA_94 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → () → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #

du_mapA_94 ∷ T_RawApplicative_20 → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #

d_forA_102 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → () → T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny Source #

du_forA_102 ∷ T_RawApplicative_20 → T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny Source #

d_forA_164 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny Source #

du_forA_164 ∷ T_RawMonad_24 → () → () → T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny Source #

d_mapA_166 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawMonad_24 → () → () → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #

du_mapA_166 ∷ T_RawMonad_24 → () → () → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #

d_sequenceA_168 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawMonad_24 → () → T__'8846'__30 → AgdaAny Source #

du_sequenceA_168 ∷ T_RawMonad_24 → () → T__'8846'__30 → AgdaAny Source #