type Eval (Compare 'False 'True) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare 'True 'False) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare a a :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare (_x ': _xs) ('[] :: [a]) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare ('[] :: [k]) (_y ': _ys) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare (x ': xs) (y ': ys) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare ('[] :: [k]) ('[] :: [k]) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare ('Just _a) ('Nothing :: Maybe a) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare ('Nothing :: Maybe a) ('Just _b) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare ('Just a2) ('Just b) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare ('Nothing :: Maybe a) ('Nothing :: Maybe a) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare 'LT 'EQ) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare 'LT 'GT) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare 'EQ 'LT) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare 'EQ 'GT) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare 'GT 'LT) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare 'GT 'EQ) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare a a :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare ('Right _a :: Either a b) ('Left _b :: Either a b) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare ('Left _a :: Either a b) ('Right _b :: Either a b) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare ('Right a3 :: Either a2 a1) ('Right b :: Either a2 a1) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare ('Left a2 :: Either a1 b1) ('Left b2 :: Either a1 b1) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare a b :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare a b :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare a b :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare '(a3, a4) '(b1, b2) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |

type Eval (Compare '(a4, a5, a6) '(b1, b2, b3) :: Ordering -> Type) Source # | |

## Instance detailsDefined in Fcf.Class.Ord |