CApplicative ZipList Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative Identity Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative STM Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative ReadP Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative ReadPrec Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative IntMap Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative Seq Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative Set Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative Tree Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative IO Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative Array Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative SmallArray Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative HashSet Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative Vector Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative NonEmpty Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative Maybe Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative [] Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative (ST s) Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative (Either a) Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative (ST s) Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
Ord k => CApplicative (Map k) Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
Applicative f => CApplicative (WrapFunctor f) Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
(Eq k, Hashable k) => CApplicative (HashMap k) Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
Semigroup w => CApplicative ((,) w) Source # | |
Instance detailsDefined in Control.Subcategory.Applicative Methods pair :: (Dom ((,) w) a, Dom ((,) w) b, Dom ((,) w) (a, b)) => (w, a) -> (w, b) -> (w, (a, b)) Source # (<.>) :: (Dom ((,) w) a, Dom ((,) w) b, Dom ((,) w) (a -> b)) => (w, a -> b) -> (w, a) -> (w, b) Source # (.>) :: (Dom ((,) w) a, Dom ((,) w) b) => (w, a) -> (w, b) -> (w, b) Source # (<.) :: (Dom ((,) w) a, Dom ((,) w) b) => (w, a) -> (w, b) -> (w, a) Source # |
Semigroup w => CApplicative (Const w :: Type -> Type) Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative f => CApplicative (CAlt f) Source # | |
Instance detailsDefined in Control.Subcategory.Alternative |
CApplicative f => CApplicative (CApp f) Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
(CApplicative f, CApplicative g) => CApplicative (Product f g) Source # | |
Instance detailsDefined in Control.Subcategory.Applicative |
CApplicative ((->) a) Source # | |
Instance detailsDefined in Control.Subcategory.Applicative Methods pair :: (Dom ((->) a) a0, Dom ((->) a) b, Dom ((->) a) (a0, b)) => (a -> a0) -> (a -> b) -> a -> (a0, b) Source # (<.>) :: (Dom ((->) a) a0, Dom ((->) a) b, Dom ((->) a) (a0 -> b)) => (a -> (a0 -> b)) -> (a -> a0) -> a -> b Source # (.>) :: (Dom ((->) a) a0, Dom ((->) a) b) => (a -> a0) -> (a -> b) -> a -> b Source # (<.) :: (Dom ((->) a) a0, Dom ((->) a) b) => (a -> a0) -> (a -> b) -> a -> a0 Source # |