singletons-default 0.1.0.1 → 0.1.0.2

raw patch · 2 files changed

+4/−2 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Data.Default.Singletons: type family Neg n

+ Data.Default.Singletons: type family Demote k = (r :: Type) | r -> k

singletons-default.cabal view

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           singletons-default-version:        0.1.0.1+version:        0.1.0.2 synopsis:       An optional type with type level default description:    dependently typed optional values with default category:       Data

src/Data/Default/Singletons.hs view

@@ -104,13 +104,15 @@   , optionally   , definite   , perhaps-  , demote     -- | Promoted Datakinds   , Z (..)   , Neg   , Q (..)   , SInteger (..)   , SRational (..)+    -- | Reexport Demote+  , demote+  , type Demote   ) where  import Control.Applicative