Version 0.6

• The binary and deepseq Cabal flags were removed since these two packages are always included with the GHC distribution, so it doesn't make sense to make them optional.

• The optional dependencies hidden behind Cabal flags now apply to the test suite as well.

• Builds with GHC 8.4.

Version 0.5

• BREAKING: Depend on singletons == 2.3.*.

• Add same{1,2,3,4}.

• Add dependencies on cborg and serialise

• Add instances for serialise (binary CBOR encoding/decoding)

Version 0.4

• BREAKING: Decouple binary and cereal instances from bytes. This introduces a slight backwards incompatible change if you were using some Serial instances that depended on host endianness (such as Int).

• Add P1, P2, P3, P4.

• Add S1, S2, S3, S4.

• Add Read instances for Some{1,2,3,4}.

• Moved documentation from README.md into the top-level Exinst module.

Version 0.3.0.1

• Removed dependency on generic-random.

• Correctly deal with cabal flags for deepseq and hashable.

• Add binary's Data.Binary.Binary and cereal's Data.Serialize.Serialize instances for Some{1,2,3,4}. These instances are compatible with each other and rely on the Data.Bytes.Serial instances.

Version 0.3

• BREAKING: Renamed module Exinst.Singletons to Exinst.

• BREAKING: The Exinst.Instances.Base module is gone. The base instances are now exported from Exinst.

• Add Dict0.

• Re-export Constraint from base.

• Add Dict{0,2,3,4} instances for Bool.

• Add GHC.Generics.Generic support for Some{1,2,3,4}. This only works for indexes with PEnum and PBounded instances.

• Added tests.

• Added Test.QuickCheck.Arbitrary instances for Some{1,2,3,4} in Exinst.Instances.QuickCheck. These instances and their dependency on QuickCheck can be toggled with the quickcheck Cabal flag.

• Added Data.Aeson.{FromJSON,ToJSON} instances for Some{1,2,3,4} in Exinst.Instances.Aeson. These instances and their dependency on aeson can be toggled with the aeson Cabal flag. These instances used to exist in now-deprecated the exinst-aeson package, and are compatible with them.

• Added Bytes.Serial.Serial instances for Some{1,2,3,4} in Exinst.Instances.Bytes. These instances and their dependency on bytes can be toggled with the bytes Cabal flag. These instances used to exist in now-deprecated the exinst-bytes package, and are compatible with them.

• Added Control.DeepSeq.NFData instances for Some{1,2,3,4} in Exinst.Instances.DeepSeq. These instances and their dependency on deepseq can be toggled with the deepseq Cabal flag. These instances used to exist in now-deprecated the exinst-deepseq package, and are compatible with them.

• Added Data.Hashable.Hashable instances for Some{1,2,3,4} in Exinst.Instances.DeepSeq. These instances and their dependency on hashable can be toggled with the hashable Cabal flag. These instances used to exist in now-deprecated the exinst-hashable package, and are compatible with them.

Version 0.2

• Depend on singletons-2.2, which means KProxy is gone.

• Add _Some{1,2,3,4} prisms.

• Add Dict1 instance for Bool.

• Add some{1,2,3,4}SingRep.

• Thanks to Sandy Maguire for having contributed to this release.

Version 0.1.2

• Export the Some{1,2,3,4} constructors.

• Make all the fields in Some{1,2,3,4} strict.

• Relax upper bound on base, singletons, constraints.

• Re-export Dict(Dict) from constraints.

Version 0.1.1

• Relax upper bound on singletons dependency.

• withSome{1,2,3,4}Sing brings SingI instances to scope.

• Generalized the (* -> Constraint) parameter in Dict{1,2,3,4} to (k -> Constraint).

Version 0.1

• Initial release.