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 |