linear-base-0.1.0: Standard library for linear types.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.V.Linear.Internal.Instances

Description

This module contains all instances for V

Orphan instances

Functor (V n) Source # 
Instance details

Methods

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

KnownNat n => Applicative (V n) Source # 
Instance details

Methods

pure :: a -> V n a Source #

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

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

KnownNat n => Traversable (V n) Source # 
Instance details

Methods

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

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