Control.Subcategory.Applicative.Class

Documentation

class CFunctor f => CApplicative f where

Minimal complete definition

Nothing

Methods

pair :: (Dom f a, Dom f b, Dom f (a, b)) => f a -> f b -> f (a, b)

default pair :: Applicative f => f a -> f b -> f (a, b)

(<.>) :: (Dom f a, Dom f b, Dom f (a -> b)) => f (a -> b) -> f a -> f b infixl 4

default (<.>) :: Applicative f => f (a -> b) -> f a -> f b

(.>) :: (Dom f a, Dom f b) => f a -> f b -> f b

default (.>) :: Applicative f => f a -> f b -> f b

(<.) :: (Dom f a, Dom f b) => f a -> f b -> f a

default (<.) :: Applicative f => f a -> f b -> f a

Instances

CApplicative ZipList

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom ZipList a, Dom ZipList b, Dom ZipList (a, b)) => ZipList a -> ZipList b -> ZipList (a, b)

(<.>) :: (Dom ZipList a, Dom ZipList b, Dom ZipList (a -> b)) => ZipList (a -> b) -> ZipList a -> ZipList b

(.>) :: (Dom ZipList a, Dom ZipList b) => ZipList a -> ZipList b -> ZipList b

(<.) :: (Dom ZipList a, Dom ZipList b) => ZipList a -> ZipList b -> ZipList a

CApplicative Identity

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom Identity a, Dom Identity b, Dom Identity (a, b)) => Identity a -> Identity b -> Identity (a, b)

(<.>) :: (Dom Identity a, Dom Identity b, Dom Identity (a -> b)) => Identity (a -> b) -> Identity a -> Identity b

(.>) :: (Dom Identity a, Dom Identity b) => Identity a -> Identity b -> Identity b

(<.) :: (Dom Identity a, Dom Identity b) => Identity a -> Identity b -> Identity a

CApplicative STM

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom STM a, Dom STM b, Dom STM (a, b)) => STM a -> STM b -> STM (a, b)

(<.>) :: (Dom STM a, Dom STM b, Dom STM (a -> b)) => STM (a -> b) -> STM a -> STM b

(.>) :: (Dom STM a, Dom STM b) => STM a -> STM b -> STM b

(<.) :: (Dom STM a, Dom STM b) => STM a -> STM b -> STM a

CApplicative ReadP

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom ReadP a, Dom ReadP b, Dom ReadP (a, b)) => ReadP a -> ReadP b -> ReadP (a, b)

(<.>) :: (Dom ReadP a, Dom ReadP b, Dom ReadP (a -> b)) => ReadP (a -> b) -> ReadP a -> ReadP b

(.>) :: (Dom ReadP a, Dom ReadP b) => ReadP a -> ReadP b -> ReadP b

(<.) :: (Dom ReadP a, Dom ReadP b) => ReadP a -> ReadP b -> ReadP a

CApplicative ReadPrec

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom ReadPrec a, Dom ReadPrec b, Dom ReadPrec (a, b)) => ReadPrec a -> ReadPrec b -> ReadPrec (a, b)

(<.>) :: (Dom ReadPrec a, Dom ReadPrec b, Dom ReadPrec (a -> b)) => ReadPrec (a -> b) -> ReadPrec a -> ReadPrec b

(.>) :: (Dom ReadPrec a, Dom ReadPrec b) => ReadPrec a -> ReadPrec b -> ReadPrec b

(<.) :: (Dom ReadPrec a, Dom ReadPrec b) => ReadPrec a -> ReadPrec b -> ReadPrec a

CApplicative IntMap

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom IntMap a, Dom IntMap b, Dom IntMap (a, b)) => IntMap a -> IntMap b -> IntMap (a, b)

(<.>) :: (Dom IntMap a, Dom IntMap b, Dom IntMap (a -> b)) => IntMap (a -> b) -> IntMap a -> IntMap b

(.>) :: (Dom IntMap a, Dom IntMap b) => IntMap a -> IntMap b -> IntMap b

(<.) :: (Dom IntMap a, Dom IntMap b) => IntMap a -> IntMap b -> IntMap a

CApplicative Seq

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom Seq a, Dom Seq b, Dom Seq (a, b)) => Seq a -> Seq b -> Seq (a, b)

(<.>) :: (Dom Seq a, Dom Seq b, Dom Seq (a -> b)) => Seq (a -> b) -> Seq a -> Seq b

(.>) :: (Dom Seq a, Dom Seq b) => Seq a -> Seq b -> Seq b

(<.) :: (Dom Seq a, Dom Seq b) => Seq a -> Seq b -> Seq a

CApplicative Set

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom Set a, Dom Set b, Dom Set (a, b)) => Set a -> Set b -> Set (a, b)

(<.>) :: (Dom Set a, Dom Set b, Dom Set (a -> b)) => Set (a -> b) -> Set a -> Set b

(.>) :: (Dom Set a, Dom Set b) => Set a -> Set b -> Set b

(<.) :: (Dom Set a, Dom Set b) => Set a -> Set b -> Set a

CApplicative Tree

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom Tree a, Dom Tree b, Dom Tree (a, b)) => Tree a -> Tree b -> Tree (a, b)

(<.>) :: (Dom Tree a, Dom Tree b, Dom Tree (a -> b)) => Tree (a -> b) -> Tree a -> Tree b

(.>) :: (Dom Tree a, Dom Tree b) => Tree a -> Tree b -> Tree b

(<.) :: (Dom Tree a, Dom Tree b) => Tree a -> Tree b -> Tree a

CApplicative IO

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom IO a, Dom IO b, Dom IO (a, b)) => IO a -> IO b -> IO (a, b)

(<.>) :: (Dom IO a, Dom IO b, Dom IO (a -> b)) => IO (a -> b) -> IO a -> IO b

(.>) :: (Dom IO a, Dom IO b) => IO a -> IO b -> IO b

(<.) :: (Dom IO a, Dom IO b) => IO a -> IO b -> IO a

CApplicative Array

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom Array a, Dom Array b, Dom Array (a, b)) => Array a -> Array b -> Array (a, b)

(<.>) :: (Dom Array a, Dom Array b, Dom Array (a -> b)) => Array (a -> b) -> Array a -> Array b

(.>) :: (Dom Array a, Dom Array b) => Array a -> Array b -> Array b

(<.) :: (Dom Array a, Dom Array b) => Array a -> Array b -> Array a

CApplicative SmallArray

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom SmallArray a, Dom SmallArray b, Dom SmallArray (a, b)) => SmallArray a -> SmallArray b -> SmallArray (a, b)

(<.>) :: (Dom SmallArray a, Dom SmallArray b, Dom SmallArray (a -> b)) => SmallArray (a -> b) -> SmallArray a -> SmallArray b

(.>) :: (Dom SmallArray a, Dom SmallArray b) => SmallArray a -> SmallArray b -> SmallArray b

(<.) :: (Dom SmallArray a, Dom SmallArray b) => SmallArray a -> SmallArray b -> SmallArray a

CApplicative HashSet

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom HashSet a, Dom HashSet b, Dom HashSet (a, b)) => HashSet a -> HashSet b -> HashSet (a, b)

(<.>) :: (Dom HashSet a, Dom HashSet b, Dom HashSet (a -> b)) => HashSet (a -> b) -> HashSet a -> HashSet b

(.>) :: (Dom HashSet a, Dom HashSet b) => HashSet a -> HashSet b -> HashSet b

(<.) :: (Dom HashSet a, Dom HashSet b) => HashSet a -> HashSet b -> HashSet a

CApplicative Vector

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom Vector a, Dom Vector b, Dom Vector (a, b)) => Vector a -> Vector b -> Vector (a, b)

(<.>) :: (Dom Vector a, Dom Vector b, Dom Vector (a -> b)) => Vector (a -> b) -> Vector a -> Vector b

(.>) :: (Dom Vector a, Dom Vector b) => Vector a -> Vector b -> Vector b

(<.) :: (Dom Vector a, Dom Vector b) => Vector a -> Vector b -> Vector a

CApplicative NonEmpty

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom NonEmpty a, Dom NonEmpty b, Dom NonEmpty (a, b)) => NonEmpty a -> NonEmpty b -> NonEmpty (a, b)

(<.>) :: (Dom NonEmpty a, Dom NonEmpty b, Dom NonEmpty (a -> b)) => NonEmpty (a -> b) -> NonEmpty a -> NonEmpty b

(.>) :: (Dom NonEmpty a, Dom NonEmpty b) => NonEmpty a -> NonEmpty b -> NonEmpty b

(<.) :: (Dom NonEmpty a, Dom NonEmpty b) => NonEmpty a -> NonEmpty b -> NonEmpty a

CApplicative Maybe

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom Maybe a, Dom Maybe b, Dom Maybe (a, b)) => Maybe a -> Maybe b -> Maybe (a, b)

(<.>) :: (Dom Maybe a, Dom Maybe b, Dom Maybe (a -> b)) => Maybe (a -> b) -> Maybe a -> Maybe b

(.>) :: (Dom Maybe a, Dom Maybe b) => Maybe a -> Maybe b -> Maybe b

(<.) :: (Dom Maybe a, Dom Maybe b) => Maybe a -> Maybe b -> Maybe a

CApplicative []

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom [] a, Dom [] b, Dom [] (a, b)) => [a] -> [b] -> [(a, b)]

(<.>) :: (Dom [] a, Dom [] b, Dom [] (a -> b)) => [a -> b] -> [a] -> [b]

(.>) :: (Dom [] a, Dom [] b) => [a] -> [b] -> [b]

(<.) :: (Dom [] a, Dom [] b) => [a] -> [b] -> [a]

CApplicative (ST s)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom (ST s) a, Dom (ST s) b, Dom (ST s) (a, b)) => ST s a -> ST s b -> ST s (a, b)

(<.>) :: (Dom (ST s) a, Dom (ST s) b, Dom (ST s) (a -> b)) => ST s (a -> b) -> ST s a -> ST s b

(.>) :: (Dom (ST s) a, Dom (ST s) b) => ST s a -> ST s b -> ST s b

(<.) :: (Dom (ST s) a, Dom (ST s) b) => ST s a -> ST s b -> ST s a

CApplicative (Either a)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom (Either a) a0, Dom (Either a) b, Dom (Either a) (a0, b)) => Either a a0 -> Either a b -> Either a (a0, b)

(<.>) :: (Dom (Either a) a0, Dom (Either a) b, Dom (Either a) (a0 -> b)) => Either a (a0 -> b) -> Either a a0 -> Either a b

(.>) :: (Dom (Either a) a0, Dom (Either a) b) => Either a a0 -> Either a b -> Either a b

(<.) :: (Dom (Either a) a0, Dom (Either a) b) => Either a a0 -> Either a b -> Either a a0

CApplicative (ST s)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom (ST s) a, Dom (ST s) b, Dom (ST s) (a, b)) => ST s a -> ST s b -> ST s (a, b)

(<.>) :: (Dom (ST s) a, Dom (ST s) b, Dom (ST s) (a -> b)) => ST s (a -> b) -> ST s a -> ST s b

(.>) :: (Dom (ST s) a, Dom (ST s) b) => ST s a -> ST s b -> ST s b

(<.) :: (Dom (ST s) a, Dom (ST s) b) => ST s a -> ST s b -> ST s a

Ord k => CApplicative (Map k)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom (Map k) a, Dom (Map k) b, Dom (Map k) (a, b)) => Map k a -> Map k b -> Map k (a, b)

(<.>) :: (Dom (Map k) a, Dom (Map k) b, Dom (Map k) (a -> b)) => Map k (a -> b) -> Map k a -> Map k b

(.>) :: (Dom (Map k) a, Dom (Map k) b) => Map k a -> Map k b -> Map k b

(<.) :: (Dom (Map k) a, Dom (Map k) b) => Map k a -> Map k b -> Map k a

Applicative f => CApplicative (WrapFunctor f)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Dom (WrapFunctor f) (a, b)) => WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f (a, b)

(<.>) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Dom (WrapFunctor f) (a -> b)) => WrapFunctor f (a -> b) -> WrapFunctor f a -> WrapFunctor f b

(.>) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f b

(<.) :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b) => WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f a

(Eq k, Hashable k) => CApplicative (HashMap k)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom (HashMap k) a, Dom (HashMap k) b, Dom (HashMap k) (a, b)) => HashMap k a -> HashMap k b -> HashMap k (a, b)

(<.>) :: (Dom (HashMap k) a, Dom (HashMap k) b, Dom (HashMap k) (a -> b)) => HashMap k (a -> b) -> HashMap k a -> HashMap k b

(.>) :: (Dom (HashMap k) a, Dom (HashMap k) b) => HashMap k a -> HashMap k b -> HashMap k b

(<.) :: (Dom (HashMap k) a, Dom (HashMap k) b) => HashMap k a -> HashMap k b -> HashMap k a

Semigroup w => CApplicative ((,) w)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom ((,) w) a, Dom ((,) w) b, Dom ((,) w) (a, b)) => (w, a) -> (w, b) -> (w, (a, b))

(<.>) :: (Dom ((,) w) a, Dom ((,) w) b, Dom ((,) w) (a -> b)) => (w, a -> b) -> (w, a) -> (w, b)

(.>) :: (Dom ((,) w) a, Dom ((,) w) b) => (w, a) -> (w, b) -> (w, b)

(<.) :: (Dom ((,) w) a, Dom ((,) w) b) => (w, a) -> (w, b) -> (w, a)

Semigroup w => CApplicative (Const w :: Type -> Type)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom (Const w) a, Dom (Const w) b, Dom (Const w) (a, b)) => Const w a -> Const w b -> Const w (a, b)

(<.>) :: (Dom (Const w) a, Dom (Const w) b, Dom (Const w) (a -> b)) => Const w (a -> b) -> Const w a -> Const w b

(.>) :: (Dom (Const w) a, Dom (Const w) b) => Const w a -> Const w b -> Const w b

(<.) :: (Dom (Const w) a, Dom (Const w) b) => Const w a -> Const w b -> Const w a

CApplicative f => CApplicative (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

pair :: (Dom (CAlt f) a, Dom (CAlt f) b, Dom (CAlt f) (a, b)) => CAlt f a -> CAlt f b -> CAlt f (a, b)

(<.>) :: (Dom (CAlt f) a, Dom (CAlt f) b, Dom (CAlt f) (a -> b)) => CAlt f (a -> b) -> CAlt f a -> CAlt f b

(.>) :: (Dom (CAlt f) a, Dom (CAlt f) b) => CAlt f a -> CAlt f b -> CAlt f b

(<.) :: (Dom (CAlt f) a, Dom (CAlt f) b) => CAlt f a -> CAlt f b -> CAlt f a

CApplicative f => CApplicative (CApp f)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom (CApp f) a, Dom (CApp f) b, Dom (CApp f) (a, b)) => CApp f a -> CApp f b -> CApp f (a, b)

(<.>) :: (Dom (CApp f) a, Dom (CApp f) b, Dom (CApp f) (a -> b)) => CApp f (a -> b) -> CApp f a -> CApp f b

(.>) :: (Dom (CApp f) a, Dom (CApp f) b) => CApp f a -> CApp f b -> CApp f b

(<.) :: (Dom (CApp f) a, Dom (CApp f) b) => CApp f a -> CApp f b -> CApp f a

(CApplicative f, CApplicative g) => CApplicative (Product f g)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom (Product f g) a, Dom (Product f g) b, Dom (Product f g) (a, b)) => Product f g a -> Product f g b -> Product f g (a, b)

(<.>) :: (Dom (Product f g) a, Dom (Product f g) b, Dom (Product f g) (a -> b)) => Product f g (a -> b) -> Product f g a -> Product f g b

(.>) :: (Dom (Product f g) a, Dom (Product f g) b) => Product f g a -> Product f g b -> Product f g b

(<.) :: (Dom (Product f g) a, Dom (Product f g) b) => Product f g a -> Product f g b -> Product f g a

CApplicative ((->) a)

Defined in Control.Subcategory.Applicative

Methods

pair :: (Dom ((->) a) a0, Dom ((->) a) b, Dom ((->) a) (a0, b)) => (a -> a0) -> (a -> b) -> a -> (a0, b)

(<.>) :: (Dom ((->) a) a0, Dom ((->) a) b, Dom ((->) a) (a0 -> b)) => (a -> (a0 -> b)) -> (a -> a0) -> a -> b

(.>) :: (Dom ((->) a) a0, Dom ((->) a) b) => (a -> a0) -> (a -> b) -> a -> b

(<.) :: (Dom ((->) a) a0, Dom ((->) a) b) => (a -> a0) -> (a -> b) -> a -> a0