semilattices 0.0.0.7 → 0.0.0.8

raw patch · 3 files changed

+42/−22 lines, 3 filesdep ~basedep ~containersPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base, containers

API changes (from Hackage documentation)

- Data.Semilattice.Bound: instance Data.Foldable.Foldable Data.Semilattice.Bound.Bound

- Data.Semilattice.Bound: instance Data.Traversable.Traversable Data.Semilattice.Bound.Bound

- Data.Semilattice.Bound: instance GHC.Base.Functor Data.Semilattice.Bound.Bound

- Data.Semilattice.Bound: instance GHC.Enum.Bounded a => Data.Semilattice.Lower.Lower (Data.Semilattice.Bound.Bound a)

- Data.Semilattice.Bound: instance GHC.Enum.Bounded a => Data.Semilattice.Upper.Upper (Data.Semilattice.Bound.Bound a)

- Data.Semilattice.Bound: instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Semilattice.Bound.Bound a)

- Data.Semilattice.Bound: instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Semilattice.Bound.Bound a)

- Data.Semilattice.Bound: instance GHC.Num.Num a => GHC.Num.Num (Data.Semilattice.Bound.Bound a)

- Data.Semilattice.Bound: instance GHC.Read.Read a => GHC.Read.Read (Data.Semilattice.Bound.Bound a)

- Data.Semilattice.Bound: instance GHC.Show.Show a => GHC.Show.Show (Data.Semilattice.Bound.Bound a)

- Data.Semilattice.Join: instance (Data.Semilattice.Lower.Lower a, Data.Semilattice.Join.Join a) => GHC.Base.Monoid (Data.Semilattice.Join.Joining a)

- Data.Semilattice.Join: instance Data.Foldable.Foldable Data.Semilattice.Join.Joining

- Data.Semilattice.Join: instance Data.Foldable.Foldable Data.Semilattice.Join.LessThan

- Data.Semilattice.Join: instance Data.Semilattice.Join.Join a => GHC.Base.Semigroup (Data.Semilattice.Join.Joining a)

- Data.Semilattice.Join: instance Data.Traversable.Traversable Data.Semilattice.Join.Joining

- Data.Semilattice.Join: instance Data.Traversable.Traversable Data.Semilattice.Join.LessThan

- Data.Semilattice.Join: instance GHC.Base.Functor Data.Semilattice.Join.Joining

- Data.Semilattice.Join: instance GHC.Base.Functor Data.Semilattice.Join.LessThan

- Data.Semilattice.Join: instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Semilattice.Join.Joining a)

- Data.Semilattice.Join: instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Semilattice.Join.Joining a)

- Data.Semilattice.Join: instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Semilattice.Join.LessThan a)

- Data.Semilattice.Join: instance GHC.Num.Num a => GHC.Num.Num (Data.Semilattice.Join.Joining a)

- Data.Semilattice.Join: instance GHC.Num.Num a => GHC.Num.Num (Data.Semilattice.Join.LessThan a)

- Data.Semilattice.Join: instance GHC.Read.Read a => GHC.Read.Read (Data.Semilattice.Join.Joining a)

- Data.Semilattice.Join: instance GHC.Read.Read a => GHC.Read.Read (Data.Semilattice.Join.LessThan a)

- Data.Semilattice.Join: instance GHC.Show.Show a => GHC.Show.Show (Data.Semilattice.Join.Joining a)

- Data.Semilattice.Join: instance GHC.Show.Show a => GHC.Show.Show (Data.Semilattice.Join.LessThan a)

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower (Data.Monoid.First a)

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower (Data.Monoid.Last a)

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower (Data.Semigroup.Internal.Endo a)

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower (GHC.Maybe.Maybe a)

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Data.Semigroup.Internal.All

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Data.Semigroup.Internal.Any

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CBool

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CChar

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CInt

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CIntMax

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CIntPtr

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CLLong

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CLong

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CPtrdiff

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CSChar

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CShort

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CSigAtomic

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CSize

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CUChar

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CUInt

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CUIntMax

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CUIntPtr

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CULLong

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CULong

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CUShort

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.C.Types.CWchar

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.Ptr.IntPtr

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower Foreign.Ptr.WordPtr

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Generics.Associativity

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Generics.DecidedStrictness

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Generics.SourceStrictness

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Generics.SourceUnpackedness

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Int.Int16

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Int.Int32

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Int.Int64

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Int.Int8

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Unicode.GeneralCategory

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Word.Word16

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Word.Word32

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Word.Word64

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Word.Word8

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CBlkCnt

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CBlkSize

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CDev

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CFsBlkCnt

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CFsFilCnt

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CGid

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CId

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CIno

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CKey

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CMode

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CNlink

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.COff

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CPid

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CRLim

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CSsize

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CTcflag

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.CUid

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower System.Posix.Types.Fd

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower a => Data.Semilattice.Lower.Lower (Data.Functor.Identity.Identity a)

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower a => Data.Semilattice.Lower.Lower (Data.Semigroup.Internal.Dual a)

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower a => Data.Semilattice.Lower.Lower (Data.Semigroup.Internal.Product a)

- Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower a => Data.Semilattice.Lower.Lower (Data.Semigroup.Internal.Sum a)

- Data.Semilattice.Lower: instance forall k (a :: k) (b :: k). (a GHC.Types.~ b) => Data.Semilattice.Lower.Lower (a Data.Type.Equality.:~: b)

- Data.Semilattice.Lower: instance forall k (a :: k) (b :: k). GHC.Types.Coercible a b => Data.Semilattice.Lower.Lower (Data.Type.Coercion.Coercion a b)

- Data.Semilattice.Lower: instance forall k (a :: k). Data.Semilattice.Lower.Lower (Data.Proxy.Proxy a)

- Data.Semilattice.Lower: instance forall k a (b :: k). Data.Semilattice.Lower.Lower a => Data.Semilattice.Lower.Lower (Data.Functor.Const.Const a b)

- Data.Semilattice.Lower: instance forall k1 k2 (a :: k1) (b :: k2). (a GHC.Types.~~ b) => Data.Semilattice.Lower.Lower (a Data.Type.Equality.:~~: b)

- Data.Semilattice.Meet: instance (Data.Semilattice.Upper.Upper a, Data.Semilattice.Meet.Meet a) => GHC.Base.Monoid (Data.Semilattice.Meet.Meeting a)

- Data.Semilattice.Meet: instance Data.Foldable.Foldable Data.Semilattice.Meet.GreaterThan

- Data.Semilattice.Meet: instance Data.Foldable.Foldable Data.Semilattice.Meet.Meeting

- Data.Semilattice.Meet: instance Data.Semilattice.Meet.Meet a => GHC.Base.Semigroup (Data.Semilattice.Meet.Meeting a)

- Data.Semilattice.Meet: instance Data.Traversable.Traversable Data.Semilattice.Meet.GreaterThan

- Data.Semilattice.Meet: instance Data.Traversable.Traversable Data.Semilattice.Meet.Meeting

- Data.Semilattice.Meet: instance GHC.Base.Functor Data.Semilattice.Meet.GreaterThan

- Data.Semilattice.Meet: instance GHC.Base.Functor Data.Semilattice.Meet.Meeting

- Data.Semilattice.Meet: instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Semilattice.Meet.Meeting a)

- Data.Semilattice.Meet: instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Semilattice.Meet.GreaterThan a)

- Data.Semilattice.Meet: instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Semilattice.Meet.Meeting a)

- Data.Semilattice.Meet: instance GHC.Num.Num a => GHC.Num.Num (Data.Semilattice.Meet.GreaterThan a)

- Data.Semilattice.Meet: instance GHC.Num.Num a => GHC.Num.Num (Data.Semilattice.Meet.Meeting a)

- Data.Semilattice.Meet: instance GHC.Read.Read a => GHC.Read.Read (Data.Semilattice.Meet.GreaterThan a)

- Data.Semilattice.Meet: instance GHC.Read.Read a => GHC.Read.Read (Data.Semilattice.Meet.Meeting a)

- Data.Semilattice.Meet: instance GHC.Show.Show a => GHC.Show.Show (Data.Semilattice.Meet.GreaterThan a)

- Data.Semilattice.Meet: instance GHC.Show.Show a => GHC.Show.Show (Data.Semilattice.Meet.Meeting a)

- Data.Semilattice.Order: instance Data.Foldable.Foldable Data.Semilattice.Order.Order

- Data.Semilattice.Order: instance Data.Traversable.Traversable Data.Semilattice.Order.Order

- Data.Semilattice.Order: instance GHC.Base.Functor Data.Semilattice.Order.Order

- Data.Semilattice.Order: instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Semilattice.Order.Order a)

- Data.Semilattice.Order: instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Semilattice.Order.Order a)

- Data.Semilattice.Order: instance GHC.Num.Num a => GHC.Num.Num (Data.Semilattice.Order.Order a)

- Data.Semilattice.Order: instance GHC.Read.Read a => GHC.Read.Read (Data.Semilattice.Order.Order a)

- Data.Semilattice.Order: instance GHC.Show.Show a => GHC.Show.Show (Data.Semilattice.Order.Order a)

- Data.Semilattice.Tumble: instance Data.Foldable.Foldable Data.Semilattice.Tumble.Tumble

- Data.Semilattice.Tumble: instance Data.Traversable.Traversable Data.Semilattice.Tumble.Tumble

- Data.Semilattice.Tumble: instance GHC.Base.Functor Data.Semilattice.Tumble.Tumble

- Data.Semilattice.Tumble: instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Semilattice.Tumble.Tumble a)

- Data.Semilattice.Tumble: instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Semilattice.Tumble.Tumble a)

- Data.Semilattice.Tumble: instance GHC.Num.Num a => GHC.Num.Num (Data.Semilattice.Tumble.Tumble a)

- Data.Semilattice.Tumble: instance GHC.Read.Read a => GHC.Read.Read (Data.Semilattice.Tumble.Tumble a)

- Data.Semilattice.Tumble: instance GHC.Show.Show a => GHC.Show.Show (Data.Semilattice.Tumble.Tumble a)

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Data.Semigroup.Internal.All

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Data.Semigroup.Internal.Any

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CBool

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CChar

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CInt

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CIntMax

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CIntPtr

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CLLong

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CLong

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CPtrdiff

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CSChar

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CShort

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CSigAtomic

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CSize

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CUChar

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CUInt

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CUIntMax

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CUIntPtr

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CULLong

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CULong

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CUShort

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.C.Types.CWchar

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.Ptr.IntPtr

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper Foreign.Ptr.WordPtr

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Generics.Associativity

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Generics.DecidedStrictness

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Generics.SourceStrictness

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Generics.SourceUnpackedness

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Int.Int16

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Int.Int32

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Int.Int64

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Int.Int8

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Unicode.GeneralCategory

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Word.Word16

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Word.Word32

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Word.Word64

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Word.Word8

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CBlkCnt

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CBlkSize

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CDev

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CFsBlkCnt

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CFsFilCnt

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CGid

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CId

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CIno

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CKey

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CMode

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CNlink

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.COff

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CPid

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CRLim

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CSsize

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CTcflag

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.CUid

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper System.Posix.Types.Fd

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper a => Data.Semilattice.Upper.Upper (Data.Functor.Identity.Identity a)

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper a => Data.Semilattice.Upper.Upper (Data.Semigroup.Internal.Dual a)

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper a => Data.Semilattice.Upper.Upper (Data.Semigroup.Internal.Product a)

- Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper a => Data.Semilattice.Upper.Upper (Data.Semigroup.Internal.Sum a)

- Data.Semilattice.Upper: instance forall k (a :: k) (b :: k). (a GHC.Types.~ b) => Data.Semilattice.Upper.Upper (a Data.Type.Equality.:~: b)

- Data.Semilattice.Upper: instance forall k (a :: k) (b :: k). GHC.Types.Coercible a b => Data.Semilattice.Upper.Upper (Data.Type.Coercion.Coercion a b)

- Data.Semilattice.Upper: instance forall k (a :: k). Data.Semilattice.Upper.Upper (Data.Proxy.Proxy a)

- Data.Semilattice.Upper: instance forall k a (b :: k). Data.Semilattice.Upper.Upper a => Data.Semilattice.Upper.Upper (Data.Functor.Const.Const a b)

- Data.Semilattice.Upper: instance forall k1 k2 (a :: k1) (b :: k2). (a GHC.Types.~~ b) => Data.Semilattice.Upper.Upper (a Data.Type.Equality.:~~: b)

+ Data.Semilattice.Bound: instance GHC.Internal.Base.Functor Data.Semilattice.Bound.Bound

+ Data.Semilattice.Bound: instance GHC.Internal.Data.Foldable.Foldable Data.Semilattice.Bound.Bound

+ Data.Semilattice.Bound: instance GHC.Internal.Data.Traversable.Traversable Data.Semilattice.Bound.Bound

+ Data.Semilattice.Bound: instance GHC.Internal.Enum.Bounded a => Data.Semilattice.Lower.Lower (Data.Semilattice.Bound.Bound a)

+ Data.Semilattice.Bound: instance GHC.Internal.Enum.Bounded a => Data.Semilattice.Upper.Upper (Data.Semilattice.Bound.Bound a)

+ Data.Semilattice.Bound: instance GHC.Internal.Enum.Bounded a => GHC.Internal.Enum.Bounded (Data.Semilattice.Bound.Bound a)

+ Data.Semilattice.Bound: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Data.Semilattice.Bound.Bound a)

+ Data.Semilattice.Bound: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Data.Semilattice.Bound.Bound a)

+ Data.Semilattice.Bound: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Data.Semilattice.Bound.Bound a)

+ Data.Semilattice.Bound: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Data.Semilattice.Bound.Bound a)

+ Data.Semilattice.Join: instance (Data.Semilattice.Lower.Lower a, Data.Semilattice.Join.Join a) => GHC.Internal.Base.Monoid (Data.Semilattice.Join.Joining a)

+ Data.Semilattice.Join: instance Data.Semilattice.Join.Join a => GHC.Internal.Base.Semigroup (Data.Semilattice.Join.Joining a)

+ Data.Semilattice.Join: instance GHC.Internal.Base.Functor Data.Semilattice.Join.Joining

+ Data.Semilattice.Join: instance GHC.Internal.Base.Functor Data.Semilattice.Join.LessThan

+ Data.Semilattice.Join: instance GHC.Internal.Data.Foldable.Foldable Data.Semilattice.Join.Joining

+ Data.Semilattice.Join: instance GHC.Internal.Data.Foldable.Foldable Data.Semilattice.Join.LessThan

+ Data.Semilattice.Join: instance GHC.Internal.Data.Traversable.Traversable Data.Semilattice.Join.Joining

+ Data.Semilattice.Join: instance GHC.Internal.Data.Traversable.Traversable Data.Semilattice.Join.LessThan

+ Data.Semilattice.Join: instance GHC.Internal.Enum.Bounded a => GHC.Internal.Enum.Bounded (Data.Semilattice.Join.Joining a)

+ Data.Semilattice.Join: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Data.Semilattice.Join.Joining a)

+ Data.Semilattice.Join: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Data.Semilattice.Join.LessThan a)

+ Data.Semilattice.Join: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Data.Semilattice.Join.Joining a)

+ Data.Semilattice.Join: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Data.Semilattice.Join.LessThan a)

+ Data.Semilattice.Join: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Data.Semilattice.Join.Joining a)

+ Data.Semilattice.Join: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Data.Semilattice.Join.LessThan a)

+ Data.Semilattice.Join: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Data.Semilattice.Join.Joining a)

+ Data.Semilattice.Join: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Data.Semilattice.Join.LessThan a)

+ Data.Semilattice.Lower: ($dmlowerBound) :: (Lower s, Bounded s) => s

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower (GHC.Internal.Data.Monoid.First a)

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower (GHC.Internal.Data.Monoid.Last a)

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower (GHC.Internal.Data.Semigroup.Internal.Endo a)

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower (GHC.Internal.Maybe.Maybe a)

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Data.Semigroup.Internal.All

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Data.Semigroup.Internal.Any

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CBool

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CChar

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CInt

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CIntMax

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CIntPtr

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CLLong

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CLong

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CPtrdiff

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CSChar

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CShort

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CSigAtomic

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CSize

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CUChar

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CUInt

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CUIntMax

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CUIntPtr

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CULLong

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CULong

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CUShort

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.C.Types.CWchar

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.Ptr.IntPtr

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Foreign.Ptr.WordPtr

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Generics.Associativity

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Generics.DecidedStrictness

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Generics.SourceStrictness

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Generics.SourceUnpackedness

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Int.Int16

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Int.Int32

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Int.Int64

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Int.Int8

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CBlkCnt

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CBlkSize

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CDev

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CFsBlkCnt

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CFsFilCnt

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CGid

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CId

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CIno

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CKey

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CMode

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CNlink

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.COff

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CPid

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CRLim

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CSsize

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CTcflag

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.CUid

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.System.Posix.Types.Fd

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Unicode.GeneralCategory

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Word.Word16

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Word.Word32

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Word.Word64

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower GHC.Internal.Word.Word8

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower a => Data.Semilattice.Lower.Lower (GHC.Internal.Data.Functor.Identity.Identity a)

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower a => Data.Semilattice.Lower.Lower (GHC.Internal.Data.Semigroup.Internal.Dual a)

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower a => Data.Semilattice.Lower.Lower (GHC.Internal.Data.Semigroup.Internal.Product a)

+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower a => Data.Semilattice.Lower.Lower (GHC.Internal.Data.Semigroup.Internal.Sum a)

+ Data.Semilattice.Lower: instance forall k (a :: k) (b :: k). (a GHC.Types.~ b) => Data.Semilattice.Lower.Lower (a GHC.Internal.Data.Type.Equality.:~: b)

+ Data.Semilattice.Lower: instance forall k (a :: k) (b :: k). GHC.Types.Coercible a b => Data.Semilattice.Lower.Lower (GHC.Internal.Data.Type.Coercion.Coercion a b)

+ Data.Semilattice.Lower: instance forall k (a :: k). Data.Semilattice.Lower.Lower (GHC.Internal.Data.Proxy.Proxy a)

+ Data.Semilattice.Lower: instance forall k a (b :: k). Data.Semilattice.Lower.Lower a => Data.Semilattice.Lower.Lower (GHC.Internal.Data.Functor.Const.Const a b)

+ Data.Semilattice.Lower: instance forall k1 k2 (a :: k1) (b :: k2). (a GHC.Types.~~ b) => Data.Semilattice.Lower.Lower (a GHC.Internal.Data.Type.Equality.:~~: b)

+ Data.Semilattice.Meet: instance (Data.Semilattice.Upper.Upper a, Data.Semilattice.Meet.Meet a) => GHC.Internal.Base.Monoid (Data.Semilattice.Meet.Meeting a)

+ Data.Semilattice.Meet: instance Data.Semilattice.Meet.Meet a => GHC.Internal.Base.Semigroup (Data.Semilattice.Meet.Meeting a)

+ Data.Semilattice.Meet: instance GHC.Internal.Base.Functor Data.Semilattice.Meet.GreaterThan

+ Data.Semilattice.Meet: instance GHC.Internal.Base.Functor Data.Semilattice.Meet.Meeting

+ Data.Semilattice.Meet: instance GHC.Internal.Data.Foldable.Foldable Data.Semilattice.Meet.GreaterThan

+ Data.Semilattice.Meet: instance GHC.Internal.Data.Foldable.Foldable Data.Semilattice.Meet.Meeting

+ Data.Semilattice.Meet: instance GHC.Internal.Data.Traversable.Traversable Data.Semilattice.Meet.GreaterThan

+ Data.Semilattice.Meet: instance GHC.Internal.Data.Traversable.Traversable Data.Semilattice.Meet.Meeting

+ Data.Semilattice.Meet: instance GHC.Internal.Enum.Bounded a => GHC.Internal.Enum.Bounded (Data.Semilattice.Meet.Meeting a)

+ Data.Semilattice.Meet: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Data.Semilattice.Meet.GreaterThan a)

+ Data.Semilattice.Meet: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Data.Semilattice.Meet.Meeting a)

+ Data.Semilattice.Meet: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Data.Semilattice.Meet.GreaterThan a)

+ Data.Semilattice.Meet: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Data.Semilattice.Meet.Meeting a)

+ Data.Semilattice.Meet: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Data.Semilattice.Meet.GreaterThan a)

+ Data.Semilattice.Meet: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Data.Semilattice.Meet.Meeting a)

+ Data.Semilattice.Meet: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Data.Semilattice.Meet.GreaterThan a)

+ Data.Semilattice.Meet: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Data.Semilattice.Meet.Meeting a)

+ Data.Semilattice.Order: instance GHC.Internal.Base.Functor Data.Semilattice.Order.Order

+ Data.Semilattice.Order: instance GHC.Internal.Data.Foldable.Foldable Data.Semilattice.Order.Order

+ Data.Semilattice.Order: instance GHC.Internal.Data.Traversable.Traversable Data.Semilattice.Order.Order

+ Data.Semilattice.Order: instance GHC.Internal.Enum.Bounded a => GHC.Internal.Enum.Bounded (Data.Semilattice.Order.Order a)

+ Data.Semilattice.Order: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Data.Semilattice.Order.Order a)

+ Data.Semilattice.Order: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Data.Semilattice.Order.Order a)

+ Data.Semilattice.Order: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Data.Semilattice.Order.Order a)

+ Data.Semilattice.Order: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Data.Semilattice.Order.Order a)

+ Data.Semilattice.Tumble: instance GHC.Internal.Base.Functor Data.Semilattice.Tumble.Tumble

+ Data.Semilattice.Tumble: instance GHC.Internal.Data.Foldable.Foldable Data.Semilattice.Tumble.Tumble

+ Data.Semilattice.Tumble: instance GHC.Internal.Data.Traversable.Traversable Data.Semilattice.Tumble.Tumble

+ Data.Semilattice.Tumble: instance GHC.Internal.Enum.Bounded a => GHC.Internal.Enum.Bounded (Data.Semilattice.Tumble.Tumble a)

+ Data.Semilattice.Tumble: instance GHC.Internal.Enum.Enum a => GHC.Internal.Enum.Enum (Data.Semilattice.Tumble.Tumble a)

+ Data.Semilattice.Tumble: instance GHC.Internal.Num.Num a => GHC.Internal.Num.Num (Data.Semilattice.Tumble.Tumble a)

+ Data.Semilattice.Tumble: instance GHC.Internal.Read.Read a => GHC.Internal.Read.Read (Data.Semilattice.Tumble.Tumble a)

+ Data.Semilattice.Tumble: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Data.Semilattice.Tumble.Tumble a)

+ Data.Semilattice.Upper: ($dmupperBound) :: (Upper s, Bounded s) => s

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Data.Semigroup.Internal.All

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Data.Semigroup.Internal.Any

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CBool

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CChar

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CInt

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CIntMax

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CIntPtr

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CLLong

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CLong

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CPtrdiff

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CSChar

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CShort

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CSigAtomic

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CSize

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CUChar

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CUInt

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CUIntMax

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CUIntPtr

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CULLong

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CULong

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CUShort

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.C.Types.CWchar

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.Ptr.IntPtr

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Foreign.Ptr.WordPtr

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Generics.Associativity

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Generics.DecidedStrictness

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Generics.SourceStrictness

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Generics.SourceUnpackedness

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Int.Int16

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Int.Int32

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Int.Int64

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Int.Int8

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CBlkCnt

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CBlkSize

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CDev

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CFsBlkCnt

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CFsFilCnt

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CGid

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CId

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CIno

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CKey

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CMode

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CNlink

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.COff

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CPid

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CRLim

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CSsize

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CTcflag

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.CUid

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.System.Posix.Types.Fd

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Unicode.GeneralCategory

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Word.Word16

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Word.Word32

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Word.Word64

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper GHC.Internal.Word.Word8

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper a => Data.Semilattice.Upper.Upper (GHC.Internal.Data.Functor.Identity.Identity a)

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper a => Data.Semilattice.Upper.Upper (GHC.Internal.Data.Semigroup.Internal.Dual a)

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper a => Data.Semilattice.Upper.Upper (GHC.Internal.Data.Semigroup.Internal.Product a)

+ Data.Semilattice.Upper: instance Data.Semilattice.Upper.Upper a => Data.Semilattice.Upper.Upper (GHC.Internal.Data.Semigroup.Internal.Sum a)

+ Data.Semilattice.Upper: instance forall k (a :: k) (b :: k). (a GHC.Types.~ b) => Data.Semilattice.Upper.Upper (a GHC.Internal.Data.Type.Equality.:~: b)

+ Data.Semilattice.Upper: instance forall k (a :: k) (b :: k). GHC.Types.Coercible a b => Data.Semilattice.Upper.Upper (GHC.Internal.Data.Type.Coercion.Coercion a b)

+ Data.Semilattice.Upper: instance forall k (a :: k). Data.Semilattice.Upper.Upper (GHC.Internal.Data.Proxy.Proxy a)

+ Data.Semilattice.Upper: instance forall k a (b :: k). Data.Semilattice.Upper.Upper a => Data.Semilattice.Upper.Upper (GHC.Internal.Data.Functor.Const.Const a b)

+ Data.Semilattice.Upper: instance forall k1 k2 (a :: k1) (b :: k2). (a GHC.Types.~~ b) => Data.Semilattice.Upper.Upper (a GHC.Internal.Data.Type.Equality.:~~: b)

- Data.Semilattice.Lower: lowerBound :: (Lower s, Bounded s) => s

+ Data.Semilattice.Lower: lowerBound :: Lower s => s

- Data.Semilattice.Upper: upperBound :: (Upper s, Bounded s) => s

+ Data.Semilattice.Upper: upperBound :: Upper s => s

Files

ChangeLog.md +5/−0
semilattices.cabal +35/−22
test/Doctests.hs +2/−0

ChangeLog.md view

@@ -1,3 +1,8 @@+# 0.0.0.8++Loosen the bound on `containers`.++ # 0.0.0.7  Fix more broken builds 😬

semilattices.cabal view

@@ -1,18 +1,19 @@+cabal-version:       3.0+ name:                semilattices-version:             0.0.0.7+version:             0.0.0.8 synopsis:            Semilattices description:         Join- and meet-semilattices, with optional upper and lower bounds, and a variety of instances for each. homepage:            https://github.com/robrix/semilattices-license:             BSD3+license:             BSD-3-Clause license-file:        LICENSE author:              Rob Rix maintainer:          rob.rix@me.com copyright:           2017-2024 Rob Rix category:            Algebra, Data, Data Structures, Math build-type:          Simple-cabal-version:       >=1.10 -extra-source-files:+extra-doc-files:   README.md   ChangeLog.md @@ -22,21 +23,8 @@   GHC   == 8.8.1   GHCJS == 8.4.0 -library-  exposed-modules:-    Data.Semilattice.Bound-    Data.Semilattice.Join-    Data.Semilattice.Lower-    Data.Semilattice.Meet-    Data.Semilattice.Order-    Data.Semilattice.Tumble-    Data.Semilattice.Upper-  build-depends:-      base >=4.9 && <5-    , containers >=0.5 && <0.7-    , unordered-containers >=0.2.20 && <0.3-  hs-source-dirs:      src-  default-language:    Haskell2010+common common+  default-language: Haskell2010   ghc-options:     -Weverything     -Wno-all-missed-specialisations@@ -53,20 +41,45 @@   if (impl(ghc >= 8.8))     ghc-options: -Wno-missing-deriving-strategies   if (impl(ghc >= 8.10))-    ghc-options: -Wno-missing-safe-haskell-mode+    ghc-options:+      -Wno-missing-safe-haskell-mode+      -Wno-prepositive-qualified-module   if (impl(ghc >= 9.2))-    ghc-options: -Wno-missing-kind-signatures+    ghc-options:+      -Wno-missing-kind-signatures   -- recent unordered-containers versions don't require Hashable for unionWith.   if (impl(ghc >= 9.4))     ghc-options: -Wno-redundant-constraints+  if (impl(ghc >= 9.8))+    ghc-options:+      -Wno-missing-role-annotations+      -Wno-term-variable-capture +library+  import: common+  exposed-modules:+    Data.Semilattice.Bound+    Data.Semilattice.Join+    Data.Semilattice.Lower+    Data.Semilattice.Meet+    Data.Semilattice.Order+    Data.Semilattice.Tumble+    Data.Semilattice.Upper+  build-depends:+    , base >=4.9 && <5+    , containers >=0.5 && <0.8+    , unordered-containers >=0.2.20 && <0.3+  hs-source-dirs:      src+  default-language:    Haskell2010+ test-suite doctests+  import:              common   type:                exitcode-stdio-1.0   hs-source-dirs:      test   main-is:             Doctests.hs   default-language:    Haskell2010   build-depends:-      base+    , base >= 4.9 && < 5     , doctest >= 0.7 && < 1.0     , QuickCheck >= 2.7 && < 3     , quickcheck-instances == 0.3.*

test/Doctests.hs view

@@ -4,6 +4,8 @@  import System.Environment import Test.DocTest+import Test.QuickCheck () -- NB: Workaround for a bug in ghc 9.8 CI+import Test.QuickCheck.Instances ()  main :: IO () main = do