Control.Subcategory.Applicative

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)

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

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

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

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

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

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

Instances

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 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 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 Option

Defined in Control.Subcategory.Applicative

Methods

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

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

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

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

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 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 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 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 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 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 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 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 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 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 (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

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)

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 (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

(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

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

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 (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 (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 ((->) a :: Type -> Type)

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

(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

defaultRightApply :: (Dom f (b1, b2), Dom f b2, Dom f b1, CApplicative f) => f b1 -> f b2 -> f b2

defaultLeftApply :: (Dom f (b1, b2), Dom f b1, Dom f b2, CApplicative f) => f b1 -> f b2 -> f b1

newtype CApp f a

Constructors

CApp

Fields

• runCApp :: f a

Instances

Functor f => Functor (CApp f)

Defined in Control.Subcategory.Applicative

Methods

fmap :: (a -> b) -> CApp f a -> CApp f b

(<$) :: a -> CApp f b -> CApp f a

Applicative f => Applicative (CApp f)

Defined in Control.Subcategory.Applicative

Methods

pure :: a -> CApp f a

(<*>) :: CApp f (a -> b) -> CApp f a -> CApp f b

liftA2 :: (a -> b -> c) -> CApp f a -> CApp f b -> CApp f c

(*>) :: CApp f a -> CApp f b -> CApp f b

(<*) :: CApp f a -> CApp f b -> CApp f a

Alternative f => Alternative (CApp f)

Defined in Control.Subcategory.Applicative

Methods

empty :: CApp f a

(<|>) :: CApp f a -> CApp f a -> CApp f a

some :: CApp f a -> CApp f [a]

many :: CApp f a -> CApp f [a]

CFunctor f => CFunctor (CApp f)

Defined in Control.Subcategory.Applicative

Methods

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

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

Constrained f => Constrained (CApp f)

Defined in Control.Subcategory.Applicative

Associated Types

type Dom (CApp f) a :: Constraint

CPointed f => CPointed (CApp f)

Defined in Control.Subcategory.Applicative

Methods

cpure :: Dom (CApp f) a => a -> CApp 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

CAlternative f => CAlternative (CApp f)

Defined in Control.Subcategory.Applicative

Methods

cempty :: Dom (CApp f) a => CApp f a

CChoice f => CChoice (CApp f)

Defined in Control.Subcategory.Applicative

Methods

(<!>) :: Dom (CApp f) a => CApp f a -> CApp f a -> CApp f a

Eq (f a) => Eq (CApp f a)

Defined in Control.Subcategory.Applicative

Methods

(==) :: CApp f a -> CApp f a -> Bool

(/=) :: CApp f a -> CApp f a -> Bool

Ord (f a) => Ord (CApp f a)

Defined in Control.Subcategory.Applicative

Methods

compare :: CApp f a -> CApp f a -> Ordering

(<) :: CApp f a -> CApp f a -> Bool

(<=) :: CApp f a -> CApp f a -> Bool

(>) :: CApp f a -> CApp f a -> Bool

(>=) :: CApp f a -> CApp f a -> Bool

max :: CApp f a -> CApp f a -> CApp f a

min :: CApp f a -> CApp f a -> CApp f a

Read (f a) => Read (CApp f a)

Defined in Control.Subcategory.Applicative

Methods

readsPrec :: Int -> ReadS (CApp f a)

readList :: ReadS [CApp f a]

readPrec :: ReadPrec (CApp f a)

readListPrec :: ReadPrec [CApp f a]

Show (f a) => Show (CApp f a)

Defined in Control.Subcategory.Applicative

Methods

showsPrec :: Int -> CApp f a -> ShowS

show :: CApp f a -> String

showList :: [CApp f a] -> ShowS

(Dom f a, CApplicative f, Semigroup a, Dom f (a, a)) => Semigroup (CApp f a)

Defined in Control.Subcategory.Applicative

Methods

(<>) :: CApp f a -> CApp f a -> CApp f a

sconcat :: NonEmpty (CApp f a) -> CApp f a

stimes :: Integral b => b -> CApp f a -> CApp f a

(Dom f a, CPointed f, CApplicative f, Monoid a, Dom f (a, a)) => Monoid (CApp f a)

Defined in Control.Subcategory.Applicative

Methods

mempty :: CApp f a

mappend :: CApp f a -> CApp f a -> CApp f a

mconcat :: [CApp f a] -> CApp f a

type Dom (CApp f) a

Defined in Control.Subcategory.Applicative

type Dom (CApp f) a = Dom f a

Orphan instances

CApplicative []

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 Maybe

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 IO

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 Option

Methods

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

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

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

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

CApplicative ZipList

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

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

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 ReadPrec

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 ReadP

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 NonEmpty

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 IntMap

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 Tree

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 Seq

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

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 SmallArray

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 Array

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 HashSet

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

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 (Either a)

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

Semigroup w => CApplicative ((,) w)

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)

CApplicative (ST s)

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 (ST s)

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)

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

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

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

Applicative f => CApplicative (WrapFunctor f)

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

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

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 ((->) a :: Type -> Type)

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

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

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