Data.Semimodule.V2

Documentation

data V2 a

Constructors

V2 !a !a

Instances

Functor V2

Defined in Data.Semimodule.V2

Methods

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

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

Foldable V2

Defined in Data.Semimodule.V2

Methods

fold :: Monoid m => V2 m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> V2 a -> a

foldl1 :: (a -> a -> a) -> V2 a -> a

toList :: V2 a -> [a]

null :: V2 a -> Bool

length :: V2 a -> Int

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

maximum :: Ord a => V2 a -> a

minimum :: Ord a => V2 a -> a

sum :: Num a => V2 a -> a

product :: Num a => V2 a -> a

Distributive V2

Defined in Data.Semimodule.V2

Methods

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

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

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

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

Representable V2

Defined in Data.Semimodule.V2

Associated Types

type Rep V2 :: Type

Methods

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

index :: V2 a -> Rep V2 -> a

Foldable1 V2

Defined in Data.Semimodule.V2

Methods

fold1 :: Semigroup m => V2 m -> m

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

toNonEmpty :: V2 a -> NonEmpty a

Eq a => Eq (V2 a)

Defined in Data.Semimodule.V2

Methods

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

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

Ord a => Ord (V2 a)

Defined in Data.Semimodule.V2

Methods

compare :: V2 a -> V2 a -> Ordering

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

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

(>) :: V2 a -> V2 a -> Bool

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

max :: V2 a -> V2 a -> V2 a

min :: V2 a -> V2 a -> V2 a

Show a => Show (V2 a)

Defined in Data.Semimodule.V2

Methods

showsPrec :: Int -> V2 a -> ShowS

show :: V2 a -> String

showList :: [V2 a] -> ShowS

type Rep V2

Defined in Data.Semimodule.V2

type Rep V2 = I2

type Dim2 f = (Representable f, Rep f ~ I2)

data I2

Constructors

I21

I22

Instances

Eq I2

Defined in Data.Semimodule.V2

Methods

(==) :: I2 -> I2 -> Bool

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

Ord I2

Defined in Data.Semimodule.V2

Methods

compare :: I2 -> I2 -> Ordering

(<) :: I2 -> I2 -> Bool

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

(>) :: I2 -> I2 -> Bool

(>=) :: I2 -> I2 -> Bool

max :: I2 -> I2 -> I2

min :: I2 -> I2 -> I2

Show I2

Defined in Data.Semimodule.V2

Methods

showsPrec :: Int -> I2 -> ShowS

show :: I2 -> String

showList :: [I2] -> ShowS

i2 :: Dim2 f => a -> a -> f a