Documentation

d_Identity_8 ∷ T_Level_18 → () → () Source #

d_functor_12 ∷ T_Level_18 → T_RawFunctor_24 Source #

du_functor_12 ∷ T_RawFunctor_24 Source #

d_applicative_14 ∷ T_Level_18 → T_RawIApplicative_38 Source #

du_applicative_14 ∷ T_RawIApplicative_38 Source #

d_monad_16 ∷ T_Level_18 → T_RawIMonad_32 Source #

du_monad_16 ∷ T_RawIMonad_32 Source #

d_comonad_18 ∷ T_Level_18 → T_RawComonad_22 Source #

du_comonad_18 ∷ T_RawComonad_22 Source #