Safe Haskell	None
Language	Haskell2010

Exinst.Instances.Base

Contents

Orphan instances

Description

This module exports Show, Eq and Ord instances for Some1, Some2, Some3 and Some4 from Exinst.Singletons, provided situable Dict1, Dict2, Dict3 and Dict4 instances are available.

See the README file for more general documentation: https://hackage.haskell.org/package/exinst#readme

Orphan instances

(SingKind k1 (KProxy k1), SDecide k1 (KProxy k1), Dict1 k1 * Eq f1) => Eq (Some1 k1 f1) Source #
Methods (==) :: Some1 k1 f1 -> Some1 k1 f1 -> Bool # (/=) :: Some1 k1 f1 -> Some1 k1 f1 -> Bool #
(SingKind k1 (KProxy k1), SDecide k1 (KProxy k1), Ord (DemoteRep k1 (KProxy k1)), Dict1 k1 * Ord f1, Eq (Some1 k1 f1)) => Ord (Some1 k1 f1) Source #
Methods compare :: Some1 k1 f1 -> Some1 k1 f1 -> Ordering # (<) :: Some1 k1 f1 -> Some1 k1 f1 -> Bool # (<=) :: Some1 k1 f1 -> Some1 k1 f1 -> Bool # (>) :: Some1 k1 f1 -> Some1 k1 f1 -> Bool # (>=) :: Some1 k1 f1 -> Some1 k1 f1 -> Bool # max :: Some1 k1 f1 -> Some1 k1 f1 -> Some1 k1 f1 # min :: Some1 k1 f1 -> Some1 k1 f1 -> Some1 k1 f1 #
(SingKind k1 (KProxy k1), Show (DemoteRep k1 (KProxy k1)), Dict1 k1 * Show f1) => Show (Some1 k1 f1) Source #
Methods showsPrec :: Int -> Some1 k1 f1 -> ShowS # show :: Some1 k1 f1 -> String # showList :: [Some1 k1 f1] -> ShowS #
(SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), SDecide k2 (KProxy k2), SDecide k1 (KProxy k1), Dict2 k1 k2 * Eq f2) => Eq (Some2 k1 k2 f2) Source #
Methods (==) :: Some2 k1 k2 f2 -> Some2 k1 k2 f2 -> Bool # (/=) :: Some2 k1 k2 f2 -> Some2 k1 k2 f2 -> Bool #
(SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), SDecide k2 (KProxy k2), SDecide k1 (KProxy k1), Ord (DemoteRep k2 (KProxy k2)), Ord (DemoteRep k1 (KProxy k1)), Dict2 k1 k2 * Ord f2, Eq (Some2 k1 k2 f2)) => Ord (Some2 k1 k2 f2) Source #
Methods compare :: Some2 k1 k2 f2 -> Some2 k1 k2 f2 -> Ordering # (<) :: Some2 k1 k2 f2 -> Some2 k1 k2 f2 -> Bool # (<=) :: Some2 k1 k2 f2 -> Some2 k1 k2 f2 -> Bool # (>) :: Some2 k1 k2 f2 -> Some2 k1 k2 f2 -> Bool # (>=) :: Some2 k1 k2 f2 -> Some2 k1 k2 f2 -> Bool # max :: Some2 k1 k2 f2 -> Some2 k1 k2 f2 -> Some2 k1 k2 f2 # min :: Some2 k1 k2 f2 -> Some2 k1 k2 f2 -> Some2 k1 k2 f2 #
(SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), Show (DemoteRep k2 (KProxy k2)), Show (DemoteRep k1 (KProxy k1)), Dict2 k1 k2 * Show f2) => Show (Some2 k1 k2 f2) Source #
Methods showsPrec :: Int -> Some2 k1 k2 f2 -> ShowS # show :: Some2 k1 k2 f2 -> String # showList :: [Some2 k1 k2 f2] -> ShowS #
(SingKind k3 (KProxy k3), SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), SDecide k3 (KProxy k3), SDecide k2 (KProxy k2), SDecide k1 (KProxy k1), Dict3 k1 k2 k3 * Eq f3) => Eq (Some3 k1 k2 k3 f3) Source #
Methods (==) :: Some3 k1 k2 k3 f3 -> Some3 k1 k2 k3 f3 -> Bool # (/=) :: Some3 k1 k2 k3 f3 -> Some3 k1 k2 k3 f3 -> Bool #
(SingKind k3 (KProxy k3), SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), SDecide k3 (KProxy k3), SDecide k2 (KProxy k2), SDecide k1 (KProxy k1), Ord (DemoteRep k3 (KProxy k3)), Ord (DemoteRep k2 (KProxy k2)), Ord (DemoteRep k1 (KProxy k1)), Dict3 k1 k2 k3 * Ord f3, Eq (Some3 k1 k2 k3 f3)) => Ord (Some3 k1 k2 k3 f3) Source #
Methods compare :: Some3 k1 k2 k3 f3 -> Some3 k1 k2 k3 f3 -> Ordering # (<) :: Some3 k1 k2 k3 f3 -> Some3 k1 k2 k3 f3 -> Bool # (<=) :: Some3 k1 k2 k3 f3 -> Some3 k1 k2 k3 f3 -> Bool # (>) :: Some3 k1 k2 k3 f3 -> Some3 k1 k2 k3 f3 -> Bool # (>=) :: Some3 k1 k2 k3 f3 -> Some3 k1 k2 k3 f3 -> Bool # max :: Some3 k1 k2 k3 f3 -> Some3 k1 k2 k3 f3 -> Some3 k1 k2 k3 f3 # min :: Some3 k1 k2 k3 f3 -> Some3 k1 k2 k3 f3 -> Some3 k1 k2 k3 f3 #
(SingKind k3 (KProxy k3), SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), Show (DemoteRep k3 (KProxy k3)), Show (DemoteRep k2 (KProxy k2)), Show (DemoteRep k1 (KProxy k1)), Dict3 k1 k2 k3 * Show f3) => Show (Some3 k1 k2 k3 f3) Source #
Methods showsPrec :: Int -> Some3 k1 k2 k3 f3 -> ShowS # show :: Some3 k1 k2 k3 f3 -> String # showList :: [Some3 k1 k2 k3 f3] -> ShowS #
(SingKind k4 (KProxy k4), SingKind k3 (KProxy k3), SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), SDecide k4 (KProxy k4), SDecide k3 (KProxy k3), SDecide k2 (KProxy k2), SDecide k1 (KProxy k1), Dict4 k1 k2 k3 k4 * Eq f4) => Eq (Some4 k1 k2 k3 k4 f4) Source #
Methods (==) :: Some4 k1 k2 k3 k4 f4 -> Some4 k1 k2 k3 k4 f4 -> Bool # (/=) :: Some4 k1 k2 k3 k4 f4 -> Some4 k1 k2 k3 k4 f4 -> Bool #
(SingKind k4 (KProxy k4), SingKind k3 (KProxy k3), SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), SDecide k4 (KProxy k4), SDecide k3 (KProxy k3), SDecide k2 (KProxy k2), SDecide k1 (KProxy k1), Ord (DemoteRep k4 (KProxy k4)), Ord (DemoteRep k3 (KProxy k3)), Ord (DemoteRep k2 (KProxy k2)), Ord (DemoteRep k1 (KProxy k1)), Dict4 k1 k2 k3 k4 * Ord f4, Eq (Some4 k1 k2 k3 k4 f4)) => Ord (Some4 k1 k2 k3 k4 f4) Source #
Methods compare :: Some4 k1 k2 k3 k4 f4 -> Some4 k1 k2 k3 k4 f4 -> Ordering # (<) :: Some4 k1 k2 k3 k4 f4 -> Some4 k1 k2 k3 k4 f4 -> Bool # (<=) :: Some4 k1 k2 k3 k4 f4 -> Some4 k1 k2 k3 k4 f4 -> Bool # (>) :: Some4 k1 k2 k3 k4 f4 -> Some4 k1 k2 k3 k4 f4 -> Bool # (>=) :: Some4 k1 k2 k3 k4 f4 -> Some4 k1 k2 k3 k4 f4 -> Bool # max :: Some4 k1 k2 k3 k4 f4 -> Some4 k1 k2 k3 k4 f4 -> Some4 k1 k2 k3 k4 f4 # min :: Some4 k1 k2 k3 k4 f4 -> Some4 k1 k2 k3 k4 f4 -> Some4 k1 k2 k3 k4 f4 #
(SingKind k4 (KProxy k4), SingKind k3 (KProxy k3), SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), Show (DemoteRep k4 (KProxy k4)), Show (DemoteRep k3 (KProxy k3)), Show (DemoteRep k2 (KProxy k2)), Show (DemoteRep k1 (KProxy k1)), Dict4 k1 k2 k3 k4 * Show f4) => Show (Some4 k1 k2 k3 k4 f4) Source #
Methods showsPrec :: Int -> Some4 k1 k2 k3 k4 f4 -> ShowS # show :: Some4 k1 k2 k3 k4 f4 -> String # showList :: [Some4 k1 k2 k3 k4 f4] -> ShowS #