Safe Haskell	Safe
Language	Haskell2010

Data.Semiring.V4

Documentation

data V4 a Source #

Constructors

V4 !a !a !a !a

Instances

Functor V4 Source #
Instance details Defined in Data.Semiring.V4 Methods fmap :: (a -> b) -> V4 a -> V4 b # (<$) :: a -> V4 b -> V4 a #
Foldable V4 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details Defined in Data.Semiring.V4 Methods (==) :: V4 a -> V4 a -> Bool # (/=) :: V4 a -> V4 a -> Bool #
Ord a => Ord (V4 a) Source #
Instance details 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) Source #
Instance details Defined in Data.Semiring.V4 Methods showsPrec :: Int -> V4 a -> ShowS # show :: V4 a -> String # showList :: [V4 a] -> ShowS #
Semigroup a => Semigroup (V4 a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Semiring.V4 Methods negate :: V4 a -> V4 a Source # (<<) :: V4 a -> V4 a -> V4 a Source #
Unital a => Semiring (V4 a) Source #
Instance details Defined in Data.Semiring.V4 Methods (><) :: V4 a -> V4 a -> V4 a Source # fromBoolean :: Bool -> V4 a Source #
(Monoid a, Dioid a) => Dioid (V4 a) Source #
Instance details Defined in Data.Semiring.V4 Methods fromNatural :: Natural -> V4 a Source #
type Rep V4 Source #
Instance details Defined in Data.Semiring.V4 type Rep V4 = I4

data I4 Source #

Constructors

I41
I42
I43
I44

Instances

Eq I4 Source #
Instance details Defined in Data.Semiring.V4 Methods (==) :: I4 -> I4 -> Bool # (/=) :: I4 -> I4 -> Bool #
Ord I4 Source #
Instance details 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 Source #
Instance details Defined in Data.Semiring.V4 Methods showsPrec :: Int -> I4 -> ShowS # show :: I4 -> String # showList :: [I4] -> ShowS #
Prd I4 Source #
Instance details 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 Source #
Instance details Defined in Data.Semiring.V4 Methods minimal :: I4 #
Maximal I4 Source #
Instance details Defined in Data.Semiring.V4 Methods maximal :: I4 #