Documentation

d_functor_22 ∷ T_Level_18 → T_RawFunctor_24 Source #

du_functor_22 ∷ T_RawFunctor_24 Source #

d_applicative_24 ∷ T_Level_18 → T_RawApplicative_20 Source #

du_applicative_24 ∷ T_RawApplicative_20 Source #

d_empty_26 ∷ T_Level_18 → T_RawEmpty_16 Source #

du_empty_26 ∷ T_RawEmpty_16 Source #

d_choice_28 ∷ T_Level_18 → T_RawChoice_16 Source #

du_choice_28 ∷ T_RawChoice_16 Source #

d_applicativeZero_30 ∷ T_Level_18 → T_RawApplicativeZero_120 Source #

du_applicativeZero_30 ∷ T_RawApplicativeZero_120 Source #

d_alternative_32 ∷ T_Level_18 → T_RawAlternative_180 Source #

du_alternative_32 ∷ T_RawAlternative_180 Source #

d_monad_34 ∷ T_Level_18 → T_RawMonad_24 Source #

du_monad_34 ∷ T_RawMonad_24 Source #

d_join_36 ∷ T_Level_18 → () → Maybe (Maybe AgdaAny) → Maybe AgdaAny Source #

du_join_36 ∷ Maybe (Maybe AgdaAny) → Maybe AgdaAny Source #

d_monadZero_38 ∷ T_Level_18 → T_RawMonadZero_206 Source #

du_monadZero_38 ∷ T_RawMonadZero_206 Source #

d_monadPlus_40 ∷ T_Level_18 → T_RawMonadPlus_284 Source #

du_monadPlus_40 ∷ T_RawMonadPlus_284 Source #

d_sequenceA_88 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → () → Maybe AgdaAny → AgdaAny Source #

du_sequenceA_88 ∷ T_RawApplicative_20 → Maybe AgdaAny → AgdaAny Source #

d_mapA_92 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → T_Level_18 → () → () → (AgdaAny → AgdaAny) → Maybe AgdaAny → AgdaAny Source #

du_mapA_92 ∷ T_RawApplicative_20 → (AgdaAny → AgdaAny) → Maybe AgdaAny → AgdaAny Source #

d_forA_96 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawApplicative_20 → T_Level_18 → () → () → Maybe AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du_forA_96 ∷ T_RawApplicative_20 → Maybe AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d_forA_162 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → T_Level_18 → () → () → Maybe AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

du_forA_162 ∷ T_RawMonad_24 → T_Level_18 → () → () → Maybe AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #

d_mapA_164 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → T_Level_18 → () → () → (AgdaAny → AgdaAny) → Maybe AgdaAny → AgdaAny Source #

du_mapA_164 ∷ T_RawMonad_24 → T_Level_18 → () → () → (AgdaAny → AgdaAny) → Maybe AgdaAny → AgdaAny Source #

d_sequenceA_166 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawMonad_24 → () → Maybe AgdaAny → AgdaAny Source #

du_sequenceA_166 ∷ T_RawMonad_24 → () → Maybe AgdaAny → AgdaAny Source #