Documentation

d_functor_8 ∷ T_Level_18 → T_RawFunctor_24 Source #

du_functor_8 ∷ T_RawFunctor_24 Source #

d_applicative_12 ∷ T_Level_18 → T_RawIApplicative_38 Source #

du_applicative_12 ∷ T_RawIApplicative_38 Source #

d_applicativeZero_16 ∷ T_Level_18 → T_RawIApplicativeZero_156 Source #

du_applicativeZero_16 ∷ T_RawIApplicativeZero_156 Source #

d_alternative_20 ∷ T_Level_18 → T_RawIAlternative_210 Source #

du_alternative_20 ∷ T_RawIAlternative_210 Source #

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

du_monadT_26 ∷ T_RawIMonad_32 → T_RawIMonad_32 Source #

d_monad_80 ∷ T_Level_18 → T_RawIMonad_32 Source #

du_monad_80 ∷ T_RawIMonad_32 Source #

d_monadZero_84 ∷ T_Level_18 → T_RawIMonadZero_174 Source #

du_monadZero_84 ∷ T_RawIMonadZero_174 Source #

d_monadPlus_88 ∷ T_Level_18 → T_RawIMonadPlus_240 Source #

du_monadPlus_88 ∷ T_RawIMonadPlus_240 Source #

d_sequenceA_126 ∷ T_Level_18 → (() → ()) → T_RawIApplicative_38 → () → Maybe AgdaAny → AgdaAny Source #

du_sequenceA_126 ∷ T_RawIApplicative_38 → Maybe AgdaAny → AgdaAny Source #

d_mapA_136 ∷ T_Level_18 → (() → ()) → T_RawIApplicative_38 → T_Level_18 → () → () → (AgdaAny → AgdaAny) → Maybe AgdaAny → AgdaAny Source #

du_mapA_136 ∷ T_RawIApplicative_38 → (AgdaAny → AgdaAny) → Maybe AgdaAny → AgdaAny Source #

d_forA_146 ∷ T_Level_18 → (() → ()) → T_RawIApplicative_38 → T_Level_18 → () → () → Maybe AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du_forA_146 ∷ T_RawIApplicative_38 → Maybe AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d_forA_198 ∷ T_Level_18 → (() → ()) → T_RawIMonad_32 → T_Level_18 → () → () → Maybe AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du_forA_198 ∷ T_RawIMonad_32 → T_Level_18 → () → () → Maybe AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d_mapA_200 ∷ T_Level_18 → (() → ()) → T_RawIMonad_32 → T_Level_18 → () → () → (AgdaAny → AgdaAny) → Maybe AgdaAny → AgdaAny Source #

du_mapA_200 ∷ T_RawIMonad_32 → T_Level_18 → () → () → (AgdaAny → AgdaAny) → Maybe AgdaAny → AgdaAny Source #

d_sequenceA_202 ∷ T_Level_18 → (() → ()) → T_RawIMonad_32 → () → Maybe AgdaAny → AgdaAny Source #

du_sequenceA_202 ∷ T_RawIMonad_32 → () → Maybe AgdaAny → AgdaAny Source #