Eq1 Par1 Source # | |

## Instance details |

Ord1 Par1 Source # | |

## Instance details |

Eq1 (V1 :: Type -> Type) Source # | |

## Instance details |

Eq1 (U1 :: Type -> Type) Source # | |

## Instance details |

Ord1 (V1 :: Type -> Type) Source # | |

## Instance details |

Ord1 (U1 :: Type -> Type) Source # | |

## Instance details |

Eq1 f => Eq1 (Rec1 f) Source # | |

## Instance details |

Ord1 f => Ord1 (Rec1 f) Source # | |

## Instance details |

Eq c => Eq1 (K1 i c :: Type -> Type) Source # | |

## Instance details |

(Eq1 f, Eq1 g) => Eq1 (f :+: g) Source # | |

## Instance details |

(Eq1 f, Eq1 g) => Eq1 (f :*: g) Source # | |

## Instance details |

Ord c => Ord1 (K1 i c :: Type -> Type) Source # | |

## Instance details |

(Ord1 f, Ord1 g) => Ord1 (f :+: g) Source # | |

## Instance details |

(Ord1 f, Ord1 g) => Ord1 (f :*: g) Source # | |

## Instance details |

Eq1 f => Eq1 (M1 i c f) Source # | |

## Instance details |

(Eq1 f, Eq1 g) => Eq1 (f :.: g) Source # | |

## Instance details |

Ord1 f => Ord1 (M1 i c f) Source # | |

## Instance details |

(Ord1 f, Ord1 g) => Ord1 (f :.: g) Source # | |

## Instance details |