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 # |