Documentation

type MVVector n a = T (Vector n a)Source

toMultiValue :: T n a -> MVVector n aSource

fromMultiValue :: MVVector n a -> T n aSource

liftMultiValueM :: Functor f => (T n a -> f (T m b)) -> MVVector n a -> f (MVVector m b)Source

liftMultiValueM2 :: Functor f => (T n a -> T m b -> f (T k c)) -> MVVector n a -> MVVector m b -> f (MVVector k c)Source

liftMultiValueM3 :: Functor f => (T n a -> T m b -> T m c -> f (T k d)) -> MVVector n a -> MVVector m b -> MVVector m c -> f (MVVector k d)Source