{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE MonoLocalBinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Data.Override.Instances () where
import Data.Function (on)
import Data.Override.Internal (Override)
import GHC.Generics (Generic(Rep, from, to))
from' :: Generic a => a -> Rep a ()
from' :: a -> Rep a ()
from' = a -> Rep a ()
forall a x. Generic a => a -> Rep a x
from
to' :: Generic a => Rep a () -> a
to' :: Rep a () -> a
to' = Rep a () -> a
forall a x. Generic a => Rep a x -> a
to
instance
( Generic (Override a xs)
, Eq (Rep (Override a xs) ())
) => Eq (Override a xs)
where
== :: Override a xs -> Override a xs -> Bool
(==) = OverrideRep EmptyInspect xs (Rep a) ()
-> OverrideRep EmptyInspect xs (Rep a) () -> Bool
forall a. Eq a => a -> a -> Bool
(==) (OverrideRep EmptyInspect xs (Rep a) ()
-> OverrideRep EmptyInspect xs (Rep a) () -> Bool)
-> (Override a xs -> OverrideRep EmptyInspect xs (Rep a) ())
-> Override a xs
-> Override a xs
-> Bool
forall b c a. (b -> b -> c) -> (a -> b) -> a -> a -> c
`on` Override a xs -> OverrideRep EmptyInspect xs (Rep a) ()
forall a. Generic a => a -> Rep a ()
from'
instance
( Generic (Override a xs)
, Ord (Rep (Override a xs) ())
) => Ord (Override a xs)
where
compare :: Override a xs -> Override a xs -> Ordering
compare = OverrideRep EmptyInspect xs (Rep a) ()
-> OverrideRep EmptyInspect xs (Rep a) () -> Ordering
forall a. Ord a => a -> a -> Ordering
compare (OverrideRep EmptyInspect xs (Rep a) ()
-> OverrideRep EmptyInspect xs (Rep a) () -> Ordering)
-> (Override a xs -> OverrideRep EmptyInspect xs (Rep a) ())
-> Override a xs
-> Override a xs
-> Ordering
forall b c a. (b -> b -> c) -> (a -> b) -> a -> a -> c
`on` Override a xs -> OverrideRep EmptyInspect xs (Rep a) ()
forall a. Generic a => a -> Rep a ()
from'
instance
( Generic (Override a xs)
, Semigroup (Rep (Override a xs) ())
) => Semigroup (Override a xs)
where
Override a xs
x <> :: Override a xs -> Override a xs -> Override a xs
<> Override a xs
y = Rep (Override a xs) () -> Override a xs
forall a x. Generic a => Rep a x -> a
to (Override a xs -> Rep (Override a xs) ()
forall a. Generic a => a -> Rep a ()
from' Override a xs
x OverrideRep EmptyInspect xs (Rep a) ()
-> OverrideRep EmptyInspect xs (Rep a) ()
-> OverrideRep EmptyInspect xs (Rep a) ()
forall a. Semigroup a => a -> a -> a
<> Override a xs -> Rep (Override a xs) ()
forall a. Generic a => a -> Rep a ()
from' Override a xs
y)
instance
( Generic (Override a xs)
, Monoid (Rep (Override a xs) ())
) => Monoid (Override a xs)
where
mempty :: Override a xs
mempty = Rep (Override a xs) () -> Override a xs
forall a. Generic a => Rep a () -> a
to' Rep (Override a xs) ()
forall a. Monoid a => a
mempty
Override a xs
x mappend :: Override a xs -> Override a xs -> Override a xs
`mappend` Override a xs
y = Rep (Override a xs) () -> Override a xs
forall a x. Generic a => Rep a x -> a
to (Override a xs -> Rep (Override a xs) ()
forall a. Generic a => a -> Rep a ()
from' Override a xs
x OverrideRep EmptyInspect xs (Rep a) ()
-> OverrideRep EmptyInspect xs (Rep a) ()
-> OverrideRep EmptyInspect xs (Rep a) ()
forall a. Monoid a => a -> a -> a
`mappend` Override a xs -> Rep (Override a xs) ()
forall a. Generic a => a -> Rep a ()
from' Override a xs
y)