Control.Subcategory.Semialign

Documentation

class CFunctor f => CSemialign f where

Minimal complete definition

calignWith

Methods

calignWith :: (Dom f a, Dom f b, Dom f c) => (These a b -> c) -> f a -> f b -> f c

calign :: (Dom f a, Dom f b, Dom f (These a b)) => f a -> f b -> f (These a b)

Instances

CSemialign ZipList

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom ZipList a, Dom ZipList b, Dom ZipList c) => (These a b -> c) -> ZipList a -> ZipList b -> ZipList c

calign :: (Dom ZipList a, Dom ZipList b, Dom ZipList (These a b)) => ZipList a -> ZipList b -> ZipList (These a b)

CSemialign Identity

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom Identity a, Dom Identity b, Dom Identity c) => (These a b -> c) -> Identity a -> Identity b -> Identity c

calign :: (Dom Identity a, Dom Identity b, Dom Identity (These a b)) => Identity a -> Identity b -> Identity (These a b)

CSemialign IntMap

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom IntMap a, Dom IntMap b, Dom IntMap c) => (These a b -> c) -> IntMap a -> IntMap b -> IntMap c

calign :: (Dom IntMap a, Dom IntMap b, Dom IntMap (These a b)) => IntMap a -> IntMap b -> IntMap (These a b)

CSemialign Seq

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom Seq a, Dom Seq b, Dom Seq c) => (These a b -> c) -> Seq a -> Seq b -> Seq c

calign :: (Dom Seq a, Dom Seq b, Dom Seq (These a b)) => Seq a -> Seq b -> Seq (These a b)

CSemialign Tree

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom Tree a, Dom Tree b, Dom Tree c) => (These a b -> c) -> Tree a -> Tree b -> Tree c

calign :: (Dom Tree a, Dom Tree b, Dom Tree (These a b)) => Tree a -> Tree b -> Tree (These a b)

CSemialign Array

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom Array a, Dom Array b, Dom Array c) => (These a b -> c) -> Array a -> Array b -> Array c

calign :: (Dom Array a, Dom Array b, Dom Array (These a b)) => Array a -> Array b -> Array (These a b)

CSemialign PrimArray

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom PrimArray a, Dom PrimArray b, Dom PrimArray c) => (These a b -> c) -> PrimArray a -> PrimArray b -> PrimArray c

calign :: (Dom PrimArray a, Dom PrimArray b, Dom PrimArray (These a b)) => PrimArray a -> PrimArray b -> PrimArray (These a b)

CSemialign SmallArray

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom SmallArray a, Dom SmallArray b, Dom SmallArray c) => (These a b -> c) -> SmallArray a -> SmallArray b -> SmallArray c

calign :: (Dom SmallArray a, Dom SmallArray b, Dom SmallArray (These a b)) => SmallArray a -> SmallArray b -> SmallArray (These a b)

CSemialign Vector

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom Vector a, Dom Vector b, Dom Vector c) => (These a b -> c) -> Vector a -> Vector b -> Vector c

calign :: (Dom Vector a, Dom Vector b, Dom Vector (These a b)) => Vector a -> Vector b -> Vector (These a b)

CSemialign Vector

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom Vector a, Dom Vector b, Dom Vector c) => (These a b -> c) -> Vector a -> Vector b -> Vector c

calign :: (Dom Vector a, Dom Vector b, Dom Vector (These a b)) => Vector a -> Vector b -> Vector (These a b)

CSemialign Vector

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom Vector a, Dom Vector b, Dom Vector c) => (These a b -> c) -> Vector a -> Vector b -> Vector c

calign :: (Dom Vector a, Dom Vector b, Dom Vector (These a b)) => Vector a -> Vector b -> Vector (These a b)

CSemialign Vector

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom Vector a, Dom Vector b, Dom Vector c) => (These a b -> c) -> Vector a -> Vector b -> Vector c

calign :: (Dom Vector a, Dom Vector b, Dom Vector (These a b)) => Vector a -> Vector b -> Vector (These a b)

CSemialign NonEmpty

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom NonEmpty a, Dom NonEmpty b, Dom NonEmpty c) => (These a b -> c) -> NonEmpty a -> NonEmpty b -> NonEmpty c

calign :: (Dom NonEmpty a, Dom NonEmpty b, Dom NonEmpty (These a b)) => NonEmpty a -> NonEmpty b -> NonEmpty (These a b)

CSemialign Maybe

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom Maybe a, Dom Maybe b, Dom Maybe c) => (These a b -> c) -> Maybe a -> Maybe b -> Maybe c

calign :: (Dom Maybe a, Dom Maybe b, Dom Maybe (These a b)) => Maybe a -> Maybe b -> Maybe (These a b)

CSemialign []

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom [] a, Dom [] b, Dom [] c) => (These a b -> c) -> [a] -> [b] -> [c]

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

CSemialign (Proxy :: Type -> Type)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom Proxy a, Dom Proxy b, Dom Proxy c) => (These a b -> c) -> Proxy a -> Proxy b -> Proxy c

calign :: (Dom Proxy a, Dom Proxy b, Dom Proxy (These a b)) => Proxy a -> Proxy b -> Proxy (These a b)

Ord k => CSemialign (Map k)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (Map k) a, Dom (Map k) b, Dom (Map k) c) => (These a b -> c) -> Map k a -> Map k b -> Map k c

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

Semialign f => CSemialign (WrapFunctor f)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (WrapFunctor f) a, Dom (WrapFunctor f) b, Dom (WrapFunctor f) c) => (These a b -> c) -> WrapFunctor f a -> WrapFunctor f b -> WrapFunctor f c

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

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

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (HashMap k) a, Dom (HashMap k) b, Dom (HashMap k) c) => (These a b -> c) -> HashMap k a -> HashMap k b -> HashMap k c

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

CSemialign (WrapMono IntSet :: Type -> Type)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (WrapMono IntSet) a, Dom (WrapMono IntSet) b, Dom (WrapMono IntSet) c) => (These a b -> c) -> WrapMono IntSet a -> WrapMono IntSet b -> WrapMono IntSet c

calign :: (Dom (WrapMono IntSet) a, Dom (WrapMono IntSet) b, Dom (WrapMono IntSet) (These a b)) => WrapMono IntSet a -> WrapMono IntSet b -> WrapMono IntSet (These a b)

(IsSequence mono, MonoZip mono) => CSemialign (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (WrapMono mono) a, Dom (WrapMono mono) b, Dom (WrapMono mono) c) => (These a b -> c) -> WrapMono mono a -> WrapMono mono b -> WrapMono mono c

calign :: (Dom (WrapMono mono) a, Dom (WrapMono mono) b, Dom (WrapMono mono) (These a b)) => WrapMono mono a -> WrapMono mono b -> WrapMono mono (These a b)

CSemialign f => CSemialign (CZippy f)

Defined in Control.Subcategory.Zip

Methods

calignWith :: (Dom (CZippy f) a, Dom (CZippy f) b, Dom (CZippy f) c) => (These a b -> c) -> CZippy f a -> CZippy f b -> CZippy f c

calign :: (Dom (CZippy f) a, Dom (CZippy f) b, Dom (CZippy f) (These a b)) => CZippy f a -> CZippy f b -> CZippy f (These a b)

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

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (Product f g) a, Dom (Product f g) b, Dom (Product f g) c) => (These a b -> c) -> Product f g a -> Product f g b -> Product f g c

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

(CSemialign f, CSemialign g) => CSemialign (f :*: g)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (f :*: g) a, Dom (f :*: g) b, Dom (f :*: g) c) => (These a b -> c) -> (f :*: g) a -> (f :*: g) b -> (f :*: g) c

calign :: (Dom (f :*: g) a, Dom (f :*: g) b, Dom (f :*: g) (These a b)) => (f :*: g) a -> (f :*: g) b -> (f :*: g) (These a b)

CSemialign ((->) s)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom ((->) s) a, Dom ((->) s) b, Dom ((->) s) c) => (These a b -> c) -> (s -> a) -> (s -> b) -> s -> c

calign :: (Dom ((->) s) a, Dom ((->) s) b, Dom ((->) s) (These a b)) => (s -> a) -> (s -> b) -> s -> These a b

(CSemialign f, CSemialign g) => CSemialign (Compose f g)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (Compose f g) a, Dom (Compose f g) b, Dom (Compose f g) c) => (These a b -> c) -> Compose f g a -> Compose f g b -> Compose f g c

calign :: (Dom (Compose f g) a, Dom (Compose f g) b, Dom (Compose f g) (These a b)) => Compose f g a -> Compose f g b -> Compose f g (These a b)

(CSemialign f, CSemialign g) => CSemialign (f :.: g)

Defined in Control.Subcategory.Semialign

Methods

calignWith :: (Dom (f :.: g) a, Dom (f :.: g) b, Dom (f :.: g) c) => (These a b -> c) -> (f :.: g) a -> (f :.: g) b -> (f :.: g) c

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

class CSemialign f => CAlign f where

Methods

cnil :: Dom f a => f a

Instances

CAlign ZipList

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom ZipList a => ZipList a

CAlign IntMap

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom IntMap a => IntMap a

CAlign Seq

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom Seq a => Seq a

CAlign Array

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom Array a => Array a

CAlign PrimArray

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom PrimArray a => PrimArray a

CAlign SmallArray

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom SmallArray a => SmallArray a

CAlign Vector

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom Vector a => Vector a

CAlign Vector

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom Vector a => Vector a

CAlign Vector

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom Vector a => Vector a

CAlign Vector

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom Vector a => Vector a

CAlign Maybe

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom Maybe a => Maybe a

CAlign []

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom [] a => [a]

CAlign (Proxy :: Type -> Type)

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom Proxy a => Proxy a

Ord k => CAlign (Map k)

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom (Map k) a => Map k a

Align f => CAlign (WrapFunctor f)

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom (WrapFunctor f) a => WrapFunctor f a

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

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom (HashMap k) a => HashMap k a

(IsSequence mono, MonoZip mono) => CAlign (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom (WrapMono mono) a => WrapMono mono a

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

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom (Product f g) a => Product f g a

(CAlign f, CAlign g) => CAlign (f :*: g)

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom (f :*: g) a => (f :*: g) a

(CAlign f, CSemialign g) => CAlign (Compose f g)

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom (Compose f g) a => Compose f g a

(CAlign f, CSemialign g) => CAlign (f :.: g)

Defined in Control.Subcategory.Semialign

Methods

cnil :: Dom (f :.: g) a => (f :.: g) a

csalign :: (CSemialign f, Dom f a, Semigroup a) => f a -> f a -> f a

cpadZip :: (CSemialign f, Dom f a, Dom f b, Dom f (Maybe a, Maybe b)) => f a -> f b -> f (Maybe a, Maybe b)

cpadZipWith :: (CSemialign f, Dom f a, Dom f b, Dom f c) => (Maybe a -> Maybe b -> c) -> f a -> f b -> f c