Data.Semiring.V4

Documentation

data V4 a

Constructors

V4 !a !a !a !a

Instances

Functor V4

Defined in Data.Semiring.V4

Methods

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

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

Foldable V4

Defined in Data.Semiring.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.Semiring.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.Semiring.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.Semiring.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.Semiring.V4

Methods

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

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

Ord a => Ord (V4 a)

Defined in Data.Semiring.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.Semiring.V4

Methods

showsPrec :: Int -> V4 a -> ShowS

show :: V4 a -> String

showList :: [V4 a] -> ShowS

Semigroup a => Semigroup (V4 a)

Defined in Data.Semiring.V4

Methods

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

sconcat :: NonEmpty (V4 a) -> V4 a

stimes :: Integral b => b -> V4 a -> V4 a

Monoid a => Monoid (V4 a)

Defined in Data.Semiring.V4

Methods

mempty :: V4 a

mappend :: V4 a -> V4 a -> V4 a

mconcat :: [V4 a] -> V4 a

Prd a => Prd (V4 a)

Defined in Data.Semiring.V4

Methods

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

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

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

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

pcompare :: V4 a -> V4 a -> Maybe Ordering

Group a => Group (V4 a)

Defined in Data.Semiring.V4

Methods

negate :: V4 a -> V4 a

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

Unital a => Semiring (V4 a)

Defined in Data.Semiring.V4

Methods

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

fromBoolean :: Bool -> V4 a

(Monoid a, Dioid a) => Dioid (V4 a)

Defined in Data.Semiring.V4

Methods

fromNatural :: Natural -> V4 a

type Rep V4

Defined in Data.Semiring.V4

type Rep V4 = I4

data I4

Constructors

I41

I42

I43

I44

Instances

Eq I4

Defined in Data.Semiring.V4

Methods

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

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

Ord I4

Defined in Data.Semiring.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.Semiring.V4

Methods

showsPrec :: Int -> I4 -> ShowS

show :: I4 -> String

showList :: [I4] -> ShowS

Prd I4

Defined in Data.Semiring.V4

Methods

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

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

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

(?~) :: I4 -> I4 -> Bool

pcompare :: I4 -> I4 -> Maybe Ordering

Minimal I4

Defined in Data.Semiring.V4

Methods

minimal :: I4

Maximal I4

Defined in Data.Semiring.V4

Methods

maximal :: I4