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_RawIApplicative_38 Source #

du_applicative_20 ∷ T_RawIApplicative_38 Source #

d_monadT_24 ∷ T_Level_18 → () → T_Level_18 → (T_'8868'_6 → T_'8868'_6 → () → ()) → T_RawIMonad_32 → T_RawIMonad_32 Source #

du_monadT_24 ∷ T_RawIMonad_32 → T_RawIMonad_32 Source #

d_monad_76 ∷ T_Level_18 → () → T_Level_18 → T_RawIMonad_32 Source #

du_monad_76 ∷ T_RawIMonad_32 Source #

d_sequenceA_110 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawIApplicative_38 → () → T__'8846'__30 → AgdaAny Source #

du_sequenceA_110 ∷ T_RawIApplicative_38 → T__'8846'__30 → AgdaAny Source #

d_mapA_120 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawIApplicative_38 → () → () → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #

du_mapA_120 ∷ T_RawIApplicative_38 → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #

d_forA_128 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawIApplicative_38 → () → () → T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny Source #

du_forA_128 ∷ T_RawIApplicative_38 → T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny Source #

d_forA_178 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawIMonad_32 → () → () → T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny Source #

du_forA_178 ∷ T_RawIMonad_32 → () → () → T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny Source #

d_mapA_180 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawIMonad_32 → () → () → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #

du_mapA_180 ∷ T_RawIMonad_32 → () → () → (AgdaAny → AgdaAny) → T__'8846'__30 → AgdaAny Source #

d_sequenceA_182 ∷ T_Level_18 → () → T_Level_18 → (() → ()) → T_RawIMonad_32 → () → T__'8846'__30 → AgdaAny Source #

du_sequenceA_182 ∷ T_RawIMonad_32 → () → T__'8846'__30 → AgdaAny Source #