generic-override-0.2.0.0: Provides functionality for overriding instances for generic derivation
Safe HaskellNone
LanguageHaskell2010

Data.Override.Instances

Description

Instances for some classes from base.

Documentation

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

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

Orphan instances

(Generic (Override a xs), Eq (Rep (Override a xs) ())) => Eq (Override a xs) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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 #