Documentation

d_functor_10 :: T_Level_14 -> T_RawFunctor_24 Source #

du_functor_10 :: T_RawFunctor_24 Source #

d_applicative_14 :: T_Level_14 -> T_RawIApplicative_38 Source #

du_applicative_14 :: T_RawIApplicative_38 Source #

d_monad_24 :: T_Level_14 -> T_RawIMonad_32 Source #

du_monad_24 :: T_RawIMonad_32 Source #

d_comonad_28 :: T_Level_14 -> T_RawComonad_22 Source #

du_comonad_28 :: T_RawComonad_22 Source #

d_extend_38 :: T_Level_14 -> () -> () -> (T_List'8314'_24 -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T_List'8314'_24 Source #

du_extend_38 :: (T_List'8314'_24 -> AgdaAny) -> AgdaAny -> [AgdaAny] -> T_List'8314'_24 Source #

d_sequenceA_92 :: T_Level_14 -> (() -> ()) -> T_RawIApplicative_38 -> () -> T_List'8314'_24 -> AgdaAny Source #

du_sequenceA_92 :: T_RawIApplicative_38 -> T_List'8314'_24 -> AgdaAny Source #

d_mapA_104 :: T_Level_14 -> (() -> ()) -> T_RawIApplicative_38 -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #

du_mapA_104 :: T_RawIApplicative_38 -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #

d_forA_114 :: T_Level_14 -> (() -> ()) -> T_RawIApplicative_38 -> T_Level_14 -> () -> () -> T_List'8314'_24 -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

du_forA_114 :: T_RawIApplicative_38 -> T_List'8314'_24 -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

d_forA_166 :: T_Level_14 -> (() -> ()) -> T_RawIMonad_32 -> T_Level_14 -> () -> () -> T_List'8314'_24 -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

du_forA_166 :: T_RawIMonad_32 -> T_Level_14 -> () -> () -> T_List'8314'_24 -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

d_mapA_168 :: T_Level_14 -> (() -> ()) -> T_RawIMonad_32 -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #

du_mapA_168 :: T_RawIMonad_32 -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #

d_sequenceA_170 :: T_Level_14 -> (() -> ()) -> T_RawIMonad_32 -> () -> T_List'8314'_24 -> AgdaAny Source #

du_sequenceA_170 :: T_RawIMonad_32 -> () -> T_List'8314'_24 -> AgdaAny Source #

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

du_monadT_176 :: T_RawIMonad_32 -> T_RawIMonad_32 Source #

d_forA_226 :: T_Level_14 -> (T_'8868'_6 -> T_'8868'_6 -> () -> ()) -> T_RawIMonad_32 -> T_Level_14 -> () -> () -> T_List'8314'_24 -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

du_forA_226 :: T_RawIMonad_32 -> T_Level_14 -> () -> () -> T_List'8314'_24 -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

d_mapA_228 :: T_Level_14 -> (T_'8868'_6 -> T_'8868'_6 -> () -> ()) -> T_RawIMonad_32 -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #

du_mapA_228 :: T_RawIMonad_32 -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny Source #

d_sequenceA_230 :: T_Level_14 -> (T_'8868'_6 -> T_'8868'_6 -> () -> ()) -> T_RawIMonad_32 -> () -> T_List'8314'_24 -> AgdaAny Source #

du_sequenceA_230 :: T_RawIMonad_32 -> () -> T_List'8314'_24 -> AgdaAny Source #