Different Bool Source # | |
Instance detailsDefined in Diff |
Different Char Source # | |
Instance detailsDefined in Diff |
Different Int Source # | |
Instance detailsDefined in Diff |
Different Int8 Source # | |
Instance detailsDefined in Diff |
Different Int16 Source # | |
Instance detailsDefined in Diff |
Different Int32 Source # | |
Instance detailsDefined in Diff |
Different Int64 Source # | |
Instance detailsDefined in Diff |
Different Integer Source # | |
Instance detailsDefined in Diff |
Different Natural Source # | |
Instance detailsDefined in Diff |
Different Ordering Source # | |
Instance detailsDefined in Diff |
Different Word Source # | |
Instance detailsDefined in Diff |
Different Word8 Source # | |
Instance detailsDefined in Diff |
Different Word16 Source # | |
Instance detailsDefined in Diff |
Different Word32 Source # | |
Instance detailsDefined in Diff |
Different Word64 Source # | |
Instance detailsDefined in Diff |
Different () Source # | |
Instance detailsDefined in Diff |
Different Void Source # | |
Instance detailsDefined in Diff |
Different Version Source # | |
Instance detailsDefined in Diff |
(Eq a, Different a) => Different [a] Source # | |
Instance detailsDefined in Diff |
(Eq a, Different a) => Different (Maybe a) Source # | |
Instance detailsDefined in Diff |
Different a => Different (Par1 a) Source # | |
Instance detailsDefined in Diff |
Different a => Different (Identity a) Source # | |
Instance detailsDefined in Diff |
(Eq a, Different a) => Different (NonEmpty a) Source # | |
Instance detailsDefined in Diff |
(Eq a, Different a, Eq b, Different b) => Different (Either a b) Source # | |
Instance detailsDefined in Diff |
Different (V1 a) Source # | |
Instance detailsDefined in Diff |
Different (U1 a) Source # | |
Instance detailsDefined in Diff |
(Different a, Different b) => Different (a, b) Source # | |
Instance detailsDefined in Diff |
(Different a, Different b) => Different (Arg a b) Source # | |
Instance detailsDefined in Diff |
Different (Proxy a) Source # | |
Instance detailsDefined in Diff |
Different (f a) => Different (Rec1 f a) Source # | |
Instance detailsDefined in Diff |
(Different a, Different b, Different c) => Different (a, b, c) Source # | |
Instance detailsDefined in Diff Methods diff :: (a, b, c) -> (a, b, c) -> Diff (a, b, c) Source # patch :: Diff (a, b, c) -> (a, b, c) -> Maybe (a, b, c) Source # |
Different a => Different (Const a b) Source # | |
Instance detailsDefined in Diff |
Different (f a) => Different (Alt f a) Source # | |
Instance detailsDefined in Diff |
Different c => Different (K1 i c a) Source # | |
Instance detailsDefined in Diff |
(Different (f a), Eq (f a), Different (g a), Eq (g a)) => Different ((f :+: g) a) Source # | |
Instance detailsDefined in Diff |
(Different (f a), Different (g a)) => Different ((f :*: g) a) Source # | |
Instance detailsDefined in Diff |
(Different a, Different b, Different c, Different d) => Different (a, b, c, d) Source # | |
Instance detailsDefined in Diff Methods diff :: (a, b, c, d) -> (a, b, c, d) -> Diff (a, b, c, d) Source # patch :: Diff (a, b, c, d) -> (a, b, c, d) -> Maybe (a, b, c, d) Source # |
(Different (f a), Different (g a)) => Different (Product f g a) Source # | |
Instance detailsDefined in Diff |
(Different (f a), Eq (f a), Different (g a), Eq (g a)) => Different (Sum f g a) Source # | |
Instance detailsDefined in Diff |
Different (f a) => Different (M1 i c f a) Source # | |
Instance detailsDefined in Diff |
Different (f (g a)) => Different ((f :.: g) a) Source # | |
Instance detailsDefined in Diff |
(Different a, Different b, Different c, Different d, Different e) => Different (a, b, c, d, e) Source # | |
Instance detailsDefined in Diff Methods diff :: (a, b, c, d, e) -> (a, b, c, d, e) -> Diff (a, b, c, d, e) Source # patch :: Diff (a, b, c, d, e) -> (a, b, c, d, e) -> Maybe (a, b, c, d, e) Source # |
Different (f (g a)) => Different (Compose f g a) Source # | |
Instance detailsDefined in Diff |
(Different a, Different b, Different c, Different d, Different e, Different f) => Different (a, b, c, d, e, f) Source # | |
Instance detailsDefined in Diff Methods diff :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Diff (a, b, c, d, e, f) Source # patch :: Diff (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Maybe (a, b, c, d, e, f) Source # |
(Different a, Different b, Different c, Different d, Different e, Different f, Different g) => Different (a, b, c, d, e, f, g) Source # | |
Instance detailsDefined in Diff Associated Types type Diff (a, b, c, d, e, f, g) Source # Methods diff :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Diff (a, b, c, d, e, f, g) Source # patch :: Diff (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Maybe (a, b, c, d, e, f, g) Source # |