Data.Override.Instances

Instances for some classes from base.

Documentation

from' :: Generic a => a -> Rep a ()

to' :: Generic a => Rep a () -> a

Orphan instances

(Generic (Override a xs), Eq (Rep (Override a xs) ())) => Eq (Override a xs)

Methods

(==) :: Override a xs -> Override a xs -> Bool

(/=) :: Override a xs -> Override a xs -> Bool

(Generic (Override a xs), Ord (Rep (Override a xs) ())) => Ord (Override a xs)

Methods

compare :: Override a xs -> Override a xs -> Ordering

(<) :: Override a xs -> Override a xs -> Bool

(<=) :: Override a xs -> Override a xs -> Bool

(>) :: Override a xs -> Override a xs -> Bool

(>=) :: Override a xs -> Override a xs -> Bool

max :: Override a xs -> Override a xs -> Override a xs

min :: Override a xs -> Override a xs -> Override a xs

(Generic (Override a xs), Semigroup (Rep (Override a xs) ())) => Semigroup (Override a xs)

Methods

(<>) :: Override a xs -> Override a xs -> Override a xs

sconcat :: NonEmpty (Override a xs) -> Override a xs

stimes :: Integral b => b -> Override a xs -> Override a xs

(Generic (Override a xs), Monoid (Rep (Override a xs) ())) => Monoid (Override a xs)

Methods

mempty :: Override a xs

mappend :: Override a xs -> Override a xs -> Override a xs

mconcat :: [Override a xs] -> Override a xs

(Coercible a (Using ms a xs), Eq (Using ms a xs)) => Eq (Overridden ms a xs)

Methods

(==) :: Overridden ms a xs -> Overridden ms a xs -> Bool

(/=) :: Overridden ms a xs -> Overridden ms a xs -> Bool

(Coercible a (Using ms a xs), Ord (Using ms a xs)) => Ord (Overridden ms a xs)

Methods

compare :: Overridden ms a xs -> Overridden ms a xs -> Ordering

(<) :: Overridden ms a xs -> Overridden ms a xs -> Bool

(<=) :: Overridden ms a xs -> Overridden ms a xs -> Bool

(>) :: Overridden ms a xs -> Overridden ms a xs -> Bool

(>=) :: Overridden ms a xs -> Overridden ms a xs -> Bool

max :: Overridden ms a xs -> Overridden ms a xs -> Overridden ms a xs

min :: Overridden ms a xs -> Overridden ms a xs -> Overridden ms a xs

(Coercible a (Using ms a xs), Semigroup (Using ms a xs)) => Semigroup (Overridden ms a xs)

Methods

(<>) :: Overridden ms a xs -> Overridden ms a xs -> Overridden ms a xs

sconcat :: NonEmpty (Overridden ms a xs) -> Overridden ms a xs

stimes :: Integral b => b -> Overridden ms a xs -> Overridden ms a xs

(Coercible a (Using ms a xs), Monoid (Using ms a xs)) => Monoid (Overridden ms a xs)

Methods

mempty :: Overridden ms a xs

mappend :: Overridden ms a xs -> Overridden ms a xs -> Overridden ms a xs

mconcat :: [Overridden ms a xs] -> Overridden ms a xs