Data.V.Linear.Internal.Instances

This module contains all instances for V

Orphan instances

Functor (V n)

Methods

fmap :: (a %1 -> b) -> V n a %1 -> V n b

KnownNat n => Applicative (V n)

Methods

pure :: a -> V n a

(<*>) :: V n (a %1 -> b) %1 -> V n a %1 -> V n b

liftA2 :: (a %1 -> b %1 -> c) -> V n a %1 -> V n b %1 -> V n c

KnownNat n => Traversable (V n)

Methods

traverse :: Applicative f => (a %1 -> f b) -> V n a %1 -> f (V n b)

sequence :: Applicative f => V n (f a) %1 -> f (V n a)