Safe Haskell	Safe-Inferred
Language	Haskell98

Numeric.Ring.Opposite

Synopsis

newtype Opposite r = Opposite {
- runOpposite :: r
}

Documentation

newtype Opposite r Source #

http://en.wikipedia.org/wiki/Opposite_ring

Constructors

Opposite
Fields runOpposite :: r

Instances

Instances details

Foldable1 Opposite Source #
Instance details Defined in Numeric.Ring.Opposite Methods fold1 :: Semigroup m => Opposite m -> m # foldMap1 :: Semigroup m => (a -> m) -> Opposite a -> m # foldMap1' :: Semigroup m => (a -> m) -> Opposite a -> m # toNonEmpty :: Opposite a -> NonEmpty a # maximum :: Ord a => Opposite a -> a # minimum :: Ord a => Opposite a -> a # head :: Opposite a -> a # last :: Opposite a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Opposite a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Opposite a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Opposite a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Opposite a -> b #
Functor Opposite Source #
Instance details Defined in Numeric.Ring.Opposite Methods fmap :: (a -> b) -> Opposite a -> Opposite b # (<$) :: a -> Opposite b -> Opposite a #
Foldable Opposite Source #
Instance details Defined in Numeric.Ring.Opposite Methods fold :: Monoid m => Opposite m -> m # foldMap :: Monoid m => (a -> m) -> Opposite a -> m # foldMap' :: Monoid m => (a -> m) -> Opposite a -> m # foldr :: (a -> b -> b) -> b -> Opposite a -> b # foldr' :: (a -> b -> b) -> b -> Opposite a -> b # foldl :: (b -> a -> b) -> b -> Opposite a -> b # foldl' :: (b -> a -> b) -> b -> Opposite a -> b # foldr1 :: (a -> a -> a) -> Opposite a -> a # foldl1 :: (a -> a -> a) -> Opposite a -> a # toList :: Opposite a -> [a] # null :: Opposite a -> Bool # length :: Opposite a -> Int # elem :: Eq a => a -> Opposite a -> Bool # maximum :: Ord a => Opposite a -> a # minimum :: Ord a => Opposite a -> a # sum :: Num a => Opposite a -> a # product :: Num a => Opposite a -> a #
Traversable Opposite Source #
Instance details Defined in Numeric.Ring.Opposite Methods traverse :: Applicative f => (a -> f b) -> Opposite a -> f (Opposite b) # sequenceA :: Applicative f => Opposite (f a) -> f (Opposite a) # mapM :: Monad m => (a -> m b) -> Opposite a -> m (Opposite b) # sequence :: Monad m => Opposite (m a) -> m (Opposite a) #
Traversable1 Opposite Source #
Instance details Defined in Numeric.Ring.Opposite Methods traverse1 :: Apply f => (a -> f b) -> Opposite a -> f (Opposite b) # sequence1 :: Apply f => Opposite (f b) -> f (Opposite b) #
RightModule r s => LeftModule r (Opposite s) Source #
Instance details Defined in Numeric.Ring.Opposite Methods (.*) :: r -> Opposite s -> Opposite s Source #
LeftModule r s => RightModule r (Opposite s) Source #
Instance details Defined in Numeric.Ring.Opposite Methods (*.) :: Opposite s -> r -> Opposite s Source #
Abelian r => Abelian (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite
Additive r => Additive (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods (+) :: Opposite r -> Opposite r -> Opposite r Source # sinnum1p :: Natural -> Opposite r -> Opposite r Source # sumWith1 :: Foldable1 f => (a -> Opposite r) -> f a -> Opposite r Source #
Idempotent r => Idempotent (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite
Group r => Group (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods (-) :: Opposite r -> Opposite r -> Opposite r Source # negate :: Opposite r -> Opposite r Source # subtract :: Opposite r -> Opposite r -> Opposite r Source # times :: Integral n => n -> Opposite r -> Opposite r Source #
Monoidal r => Monoidal (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods zero :: Opposite r Source # sinnum :: Natural -> Opposite r -> Opposite r Source # sumWith :: Foldable f => (a -> Opposite r) -> f a -> Opposite r Source #
Multiplicative r => Multiplicative (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods (*) :: Opposite r -> Opposite r -> Opposite r Source # pow1p :: Opposite r -> Natural -> Opposite r Source # productWith1 :: Foldable1 f => (a -> Opposite r) -> f a -> Opposite r Source #
Semiring r => Semiring (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite
Commutative r => Commutative (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite
Division r => Division (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods recip :: Opposite r -> Opposite r Source # (/) :: Opposite r -> Opposite r -> Opposite r Source # (\\) :: Opposite r -> Opposite r -> Opposite r Source # (^) :: Integral n => Opposite r -> n -> Opposite r Source #
Band r => Band (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite
Unital r => Unital (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods one :: Opposite r Source # pow :: Opposite r -> Natural -> Opposite r Source # productWith :: Foldable f => (a -> Opposite r) -> f a -> Opposite r Source #
DecidableAssociates r => DecidableAssociates (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods isAssociate :: Opposite r -> Opposite r -> Bool Source #
DecidableUnits r => DecidableUnits (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods recipUnit :: Opposite r -> Maybe (Opposite r) Source # isUnit :: Opposite r -> Bool Source # (^?) :: Integral n => Opposite r -> n -> Maybe (Opposite r) Source #
DecidableZero r => DecidableZero (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods isZero :: Opposite r -> Bool Source #
Rig r => Rig (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods fromNatural :: Natural -> Opposite r Source #
Ring r => Ring (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods fromInteger :: Integer -> Opposite r Source #
Read r => Read (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods readsPrec :: Int -> ReadS (Opposite r) # readList :: ReadS [Opposite r] # readPrec :: ReadPrec (Opposite r) # readListPrec :: ReadPrec [Opposite r] #
Show r => Show (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods showsPrec :: Int -> Opposite r -> ShowS # show :: Opposite r -> String # showList :: [Opposite r] -> ShowS #
Eq r => Eq (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods (==) :: Opposite r -> Opposite r -> Bool # (/=) :: Opposite r -> Opposite r -> Bool #
Ord r => Ord (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods compare :: Opposite r -> Opposite r -> Ordering # (<) :: Opposite r -> Opposite r -> Bool # (<=) :: Opposite r -> Opposite r -> Bool # (>) :: Opposite r -> Opposite r -> Bool # (>=) :: Opposite r -> Opposite r -> Bool # max :: Opposite r -> Opposite r -> Opposite r # min :: Opposite r -> Opposite r -> Opposite r #
Semiring r => LeftModule (Opposite r) (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods (.*) :: Opposite r -> Opposite r -> Opposite r Source #
Semiring r => RightModule (Opposite r) (Opposite r) Source #
Instance details Defined in Numeric.Ring.Opposite Methods (*.) :: Opposite r -> Opposite r -> Opposite r Source #