Data.Zip

Documentation

newtype T f a

Wrap a container such that its Applicative instance is based on zip.

Constructors

Cons

Fields

• decons :: f a

Instances

(Zip f, Repeat f) => Applicative (T f)

Defined in Data.Zip

Methods

pure :: a -> T f a

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

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

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

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

Functor f => Functor (T f)

Defined in Data.Zip

Methods

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

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

NFData f => NFData (T f)

Defined in Data.Zip

Methods

rnf :: NFData a => T f a -> ()

(NFData f, NFData a) => NFData (T f a)

Defined in Data.Zip

Methods

rnf :: T f a -> ()

transposeClip :: (Traversable f, Zip g, Repeat g) => f (g a) -> g (f a)

Always returns a rectangular list by clipping all dimensions to the shortest slice. Be aware that transpose [] == repeat [].