Modulesemialign-1.4

Data.Semialign

6 classes
9 values

Packagesemialign-1.4
Exports15
LicenceBSD-3-Clause

valuealignVectorWith

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

valuelpadZip :: [a] -> [b] -> [(Maybe a, b)]

valuelpadZipWith :: (Maybe a -> b -> c) -> [a] -> [b] -> [c]

valuepadZip :: Semialign f => f a -> f b -> f (Maybe a, Maybe b)

valuepadZipWith :: Semialign f => (Maybe a -> Maybe b -> c) -> f a -> f b -> f c

valuerpadZip :: [a] -> [b] -> [(a, Maybe b)]

valuerpadZipWith :: (a -> Maybe b -> c) -> [a] -> [b] -> [c]

valuesalign :: (Semialign f, Semigroup a) => f a -> f a -> f a

valueunzipDefault :: Functor f => f (a, b) -> (f a, f b)

classclass Semialign f => Align (f :: Type -> Type) where

Methods

nil :: f a

Instances13Align, …

Align IntMapDefined in semialign-1.4 · Data.Semialign.Internal
Align SeqDefined in semialign-1.4 · Data.Semialign.Internal
Align ZipListDefined in semialign-1.4 · Data.Semialign.Internal
Align MaybeDefined in semialign-1.4 · Data.Semialign.Internal
Align VectorDefined in semialign-1.4 · Data.Semialign.Internal
Align []Defined in semialign-1.4 · Data.Semialign.Internal
Monad m => Align (Stream m)Defined in semialign-1.4 · Data.Semialign.Internal
Ord k => Align (Map k)Defined in semialign-1.4 · Data.Semialign.Internal
Align ProxyDefined in semialign-1.4 · Data.Semialign.Internal
(Eq k, Hashable k) => Align (HashMap k)Defined in semialign-1.4 · Data.Semialign.Internal
Monad m => Align (Bundle m v)Defined in semialign-1.4 · Data.Semialign.Internal
(Align f, Align g) => Align (Product f g)Defined in semialign-1.4 · Data.Semialign.Internal
(Align f, Semialign g) => Align (Compose f g)Defined in semialign-1.4 · Data.Semialign.Internal

classclass Zip f => Repeat (f :: Type -> Type) where

Methods

repeat :: a -> f a

Instances11Repeat, …

Repeat TreeDefined in semialign-1.4 · Data.Semialign.Internal
Repeat NonEmptyDefined in semialign-1.4 · Data.Semialign.Internal
Repeat IdentityDefined in semialign-1.4 · Data.Semialign.Internal
Repeat ZipListDefined in semialign-1.4 · Data.Semialign.Internal
Repeat MaybeDefined in semialign-1.4 · Data.Semialign.Internal
Repeat []Defined in semialign-1.4 · Data.Semialign.Internal
Repeat ProxyDefined in semialign-1.4 · Data.Semialign.Internal
Repeat (Tagged b)Defined in semialign-1.4 · Data.Semialign.Internal
Repeat ((->) e)Defined in semialign-1.4 · Data.Semialign.Internal
(Repeat f, Repeat g) => Repeat (Product f g)Defined in semialign-1.4 · Data.Semialign.Internal
(Repeat f, Repeat g) => Repeat (Compose f g)Defined in semialign-1.4 · Data.Semialign.Internal

classclass Unzip f => Semialign (f :: Type -> Type) where

Methods

align :: f a -> f b -> f (These a b)
alignWith :: (These a b -> c) -> f a -> f b -> f c

Instances18Semialign, …

Semialign IntMapDefined in semialign-1.4 · Data.Semialign.Internal
Semialign SeqDefined in semialign-1.4 · Data.Semialign.Internal
Semialign TreeDefined in semialign-1.4 · Data.Semialign.Internal
Semialign NonEmptyDefined in semialign-1.4 · Data.Semialign.Internal
Semialign IdentityDefined in semialign-1.4 · Data.Semialign.Internal
Semialign ZipListDefined in semialign-1.4 · Data.Semialign.Internal
Semialign MaybeDefined in semialign-1.4 · Data.Semialign.Internal
Semialign VectorDefined in semialign-1.4 · Data.Semialign.Internal
Semialign []Defined in semialign-1.4 · Data.Semialign.Internal
Monad m => Semialign (Stream m)Defined in semialign-1.4 · Data.Semialign.Internal
Ord k => Semialign (Map k)Defined in semialign-1.4 · Data.Semialign.Internal
Semialign ProxyDefined in semialign-1.4 · Data.Semialign.Internal
(Eq k, Hashable k) => Semialign (HashMap k)Defined in semialign-1.4 · Data.Semialign.Internal
Monad m => Semialign (Bundle m v)Defined in semialign-1.4 · Data.Semialign.Internal
Semialign (Tagged b)Defined in semialign-1.4 · Data.Semialign.Internal
Semialign ((->) e)Defined in semialign-1.4 · Data.Semialign.Internal
(Semialign f, Semialign g) => Semialign (Product f g)Defined in semialign-1.4 · Data.Semialign.Internal
(Semialign f, Semialign g) => Semialign (Compose f g)Defined in semialign-1.4 · Data.Semialign.Internal

classclass Semialign f => Unalign (f :: Type -> Type) where

Methods

unalign :: f (These a b) -> (f a, f b)
unalignWith :: (c -> These a b) -> f c -> (f a, f b)

Instances11Unalign, …

Unalign IntMapDefined in semialign-1.4 · Data.Semialign.Internal
Unalign ZipListDefined in semialign-1.4 · Data.Semialign.Internal
Unalign MaybeDefined in semialign-1.4 · Data.Semialign.Internal
Unalign VectorDefined in semialign-1.4 · Data.Semialign.Internal
Unalign []Defined in semialign-1.4 · Data.Semialign.Internal
Monad m => Unalign (Stream m)Defined in semialign-1.4 · Data.Semialign.Internal
Ord k => Unalign (Map k)Defined in semialign-1.4 · Data.Semialign.Internal
Unalign ProxyDefined in semialign-1.4 · Data.Semialign.Internal
(Eq k, Hashable k) => Unalign (HashMap k)Defined in semialign-1.4 · Data.Semialign.Internal
Monad m => Unalign (Bundle m v)Defined in semialign-1.4 · Data.Semialign.Internal
(Unalign f, Unalign g) => Unalign (Product f g)Defined in semialign-1.4 · Data.Semialign.Internal

classclass Functor f => Unzip (f :: Type -> Type) where

Methods

unzipWith :: (c -> (a, b)) -> f c -> (f a, f b)
unzip :: f (a, b) -> (f a, f b)

Instances18Unzip, …

Unzip IntMapDefined in semialign-1.4 · Data.Semialign.Internal
Unzip SeqDefined in semialign-1.4 · Data.Semialign.Internal
Unzip TreeDefined in semialign-1.4 · Data.Semialign.Internal
Unzip NonEmptyDefined in semialign-1.4 · Data.Semialign.Internal
Unzip IdentityDefined in semialign-1.4 · Data.Semialign.Internal
Unzip ZipListDefined in semialign-1.4 · Data.Semialign.Internal
Unzip MaybeDefined in semialign-1.4 · Data.Semialign.Internal
Unzip VectorDefined in semialign-1.4 · Data.Semialign.Internal
Unzip []Defined in semialign-1.4 · Data.Semialign.Internal
Monad m => Unzip (Stream m)Defined in semialign-1.4 · Data.Semialign.Internal
Ord k => Unzip (Map k)Defined in semialign-1.4 · Data.Semialign.Internal
Unzip ProxyDefined in semialign-1.4 · Data.Semialign.Internal
(Eq k, Hashable k) => Unzip (HashMap k)Defined in semialign-1.4 · Data.Semialign.Internal
Monad m => Unzip (Bundle m v)Defined in semialign-1.4 · Data.Semialign.Internal
Unzip (Tagged b)Defined in semialign-1.4 · Data.Semialign.Internal
Unzip ((->) e)Defined in semialign-1.4 · Data.Semialign.Internal
(Unzip f, Unzip g) => Unzip (Product f g)Defined in semialign-1.4 · Data.Semialign.Internal
(Unzip f, Unzip g) => Unzip (Compose f g)Defined in semialign-1.4 · Data.Semialign.Internal

classclass Semialign f => Zip (f :: Type -> Type) where

Methods

zip :: f a -> f b -> f (a, b)
zipWith :: (a -> b -> c) -> f a -> f b -> f c

Instances18Zip, …

Zip IntMapDefined in semialign-1.4 · Data.Semialign.Internal
Zip SeqDefined in semialign-1.4 · Data.Semialign.Internal
Zip TreeDefined in semialign-1.4 · Data.Semialign.Internal
Zip NonEmptyDefined in semialign-1.4 · Data.Semialign.Internal
Zip IdentityDefined in semialign-1.4 · Data.Semialign.Internal
Zip ZipListDefined in semialign-1.4 · Data.Semialign.Internal
Zip MaybeDefined in semialign-1.4 · Data.Semialign.Internal
Zip VectorDefined in semialign-1.4 · Data.Semialign.Internal
Zip []Defined in semialign-1.4 · Data.Semialign.Internal
Monad m => Zip (Stream m)Defined in semialign-1.4 · Data.Semialign.Internal
Ord k => Zip (Map k)Defined in semialign-1.4 · Data.Semialign.Internal
Zip ProxyDefined in semialign-1.4 · Data.Semialign.Internal
(Eq k, Hashable k) => Zip (HashMap k)Defined in semialign-1.4 · Data.Semialign.Internal
Monad m => Zip (Bundle m v)Defined in semialign-1.4 · Data.Semialign.Internal
Zip (Tagged b)Defined in semialign-1.4 · Data.Semialign.Internal
Zip ((->) e)Defined in semialign-1.4 · Data.Semialign.Internal
(Zip f, Zip g) => Zip (Product f g)Defined in semialign-1.4 · Data.Semialign.Internal
(Zip f, Zip g) => Zip (Compose f g)Defined in semialign-1.4 · Data.Semialign.Internal