Data.Semimodule.V4

Documentation

data V4 a

Constructors

V4 !a !a !a !a

Instances

Functor V4

Defined in Data.Semimodule.V4

Methods

fmap :: (a -> b) -> V4 a -> V4 b

(<$) :: a -> V4 b -> V4 a

Foldable V4

Defined in Data.Semimodule.V4

Methods

fold :: Monoid m => V4 m -> m

foldMap :: Monoid m => (a -> m) -> V4 a -> m

foldr :: (a -> b -> b) -> b -> V4 a -> b

foldr' :: (a -> b -> b) -> b -> V4 a -> b

foldl :: (b -> a -> b) -> b -> V4 a -> b

foldl' :: (b -> a -> b) -> b -> V4 a -> b

foldr1 :: (a -> a -> a) -> V4 a -> a

foldl1 :: (a -> a -> a) -> V4 a -> a

toList :: V4 a -> [a]

null :: V4 a -> Bool

length :: V4 a -> Int

elem :: Eq a => a -> V4 a -> Bool

maximum :: Ord a => V4 a -> a

minimum :: Ord a => V4 a -> a

sum :: Num a => V4 a -> a

product :: Num a => V4 a -> a

Distributive V4

Defined in Data.Semimodule.V4

Methods

distribute :: Functor f => f (V4 a) -> V4 (f a)

collect :: Functor f => (a -> V4 b) -> f a -> V4 (f b)

distributeM :: Monad m => m (V4 a) -> V4 (m a)

collectM :: Monad m => (a -> V4 b) -> m a -> V4 (m b)

Representable V4

Defined in Data.Semimodule.V4

Associated Types

type Rep V4 :: Type

Methods

tabulate :: (Rep V4 -> a) -> V4 a

index :: V4 a -> Rep V4 -> a

Foldable1 V4

Defined in Data.Semimodule.V4

Methods

fold1 :: Semigroup m => V4 m -> m

foldMap1 :: Semigroup m => (a -> m) -> V4 a -> m

toNonEmpty :: V4 a -> NonEmpty a

Eq a => Eq (V4 a)

Defined in Data.Semimodule.V4

Methods

(==) :: V4 a -> V4 a -> Bool

(/=) :: V4 a -> V4 a -> Bool

Ord a => Ord (V4 a)

Defined in Data.Semimodule.V4

Methods

compare :: V4 a -> V4 a -> Ordering

(<) :: V4 a -> V4 a -> Bool

(<=) :: V4 a -> V4 a -> Bool

(>) :: V4 a -> V4 a -> Bool

(>=) :: V4 a -> V4 a -> Bool

max :: V4 a -> V4 a -> V4 a

min :: V4 a -> V4 a -> V4 a

Show a => Show (V4 a)

Defined in Data.Semimodule.V4

Methods

showsPrec :: Int -> V4 a -> ShowS

show :: V4 a -> String

showList :: [V4 a] -> ShowS

type Rep V4

Defined in Data.Semimodule.V4

type Rep V4 = I4

type Dim4 f = (Representable f, Rep f ~ I4)

data I4

Constructors

I41

I42

I43

I44

Instances

Eq I4

Defined in Data.Semimodule.V4

Methods

(==) :: I4 -> I4 -> Bool

(/=) :: I4 -> I4 -> Bool

Ord I4

Defined in Data.Semimodule.V4

Methods

compare :: I4 -> I4 -> Ordering

(<) :: I4 -> I4 -> Bool

(<=) :: I4 -> I4 -> Bool

(>) :: I4 -> I4 -> Bool

(>=) :: I4 -> I4 -> Bool

max :: I4 -> I4 -> I4

min :: I4 -> I4 -> I4

Show I4

Defined in Data.Semimodule.V4

Methods

showsPrec :: Int -> I4 -> ShowS

show :: I4 -> String

showList :: [I4] -> ShowS

i4 :: Dim4 f => a -> a -> a -> a -> f a