Documentation

d_functor_18 :: T_Level_14 -> T_RawFunctor_24 Source #

du_functor_18 :: T_RawFunctor_24 Source #

d_applicative_20 :: T_Level_14 -> T_RawIApplicative_38 Source #

du_applicative_20 :: T_RawIApplicative_38 Source #

d_applicativeZero_22 :: T_Level_14 -> T_RawIApplicativeZero_156 Source #

du_applicativeZero_22 :: T_RawIApplicativeZero_156 Source #

d_alternative_24 :: T_Level_14 -> T_RawIAlternative_210 Source #

du_alternative_24 :: T_RawIAlternative_210 Source #

d_monadT_28 :: T_Level_14 -> (T_'8868'_6 -> T_'8868'_6 -> () -> ()) -> T_RawIMonad_32 -> T_RawIMonad_32 Source #

du_monadT_28 :: T_RawIMonad_32 -> T_RawIMonad_32 Source #

d_monad_80 :: T_Level_14 -> T_RawIMonad_32 Source #

du_monad_80 :: T_RawIMonad_32 Source #

d_monadZero_82 :: T_Level_14 -> T_RawIMonadZero_174 Source #

du_monadZero_82 :: T_RawIMonadZero_174 Source #

d_monadPlus_84 :: T_Level_14 -> T_RawIMonadPlus_240 Source #

du_monadPlus_84 :: T_RawIMonadPlus_240 Source #

d_sequenceA_120 :: T_Level_14 -> (() -> ()) -> T_RawIApplicative_38 -> () -> Maybe AgdaAny -> AgdaAny Source #

du_sequenceA_120 :: T_RawIApplicative_38 -> Maybe AgdaAny -> AgdaAny Source #

d_mapA_124 :: T_Level_14 -> (() -> ()) -> T_RawIApplicative_38 -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny Source #

du_mapA_124 :: T_RawIApplicative_38 -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny Source #

d_forA_128 :: T_Level_14 -> (() -> ()) -> T_RawIApplicative_38 -> T_Level_14 -> () -> () -> Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

du_forA_128 :: T_RawIApplicative_38 -> Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

d_forA_180 :: T_Level_14 -> (() -> ()) -> T_RawIMonad_32 -> T_Level_14 -> () -> () -> Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

du_forA_180 :: T_RawIMonad_32 -> T_Level_14 -> () -> () -> Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

d_mapA_182 :: T_Level_14 -> (() -> ()) -> T_RawIMonad_32 -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny Source #

du_mapA_182 :: T_RawIMonad_32 -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny Source #

d_sequenceA_184 :: T_Level_14 -> (() -> ()) -> T_RawIMonad_32 -> () -> Maybe AgdaAny -> AgdaAny Source #

du_sequenceA_184 :: T_RawIMonad_32 -> () -> Maybe AgdaAny -> AgdaAny Source #