singletons 0.9.0 → 0.9.1
raw patch · 4 files changed
+34/−29 lines, 4 files
Files
- CHANGES.md +5/−0
- Data/Singletons/TH.hs +1/−1
- README.md +26/−26
- singletons.cabal +2/−2
CHANGES.md view
@@ -1,6 +1,11 @@ Changelog for singletons project ================================ +0.9.1+-----++Fix export list of Data.Singletons.TH.+ 0.9.0 -----
Data/Singletons/TH.hs view
@@ -37,7 +37,7 @@ -- | These definitions might be mentioned in code generated by Template Haskell, -- so they must be in scope. - type (==), If, sIf, (:&&), SEq(..), + (:==), If, sIf, (:&&), SEq(..), Any, SDecide(..), (:~:)(..), Void, Refuted, Decision(..), KProxy(..), SomeSing(..)
README.md view
@@ -1,4 +1,4 @@-singletons 0.9.0+singletons 0.9.1 ================ This is the README file for the singletons library. This file contains all the@@ -158,29 +158,29 @@ The singletons library has to produce new names for the new constructs it generates. Here are some examples showing how this is done: -original datatype: `Nat`-promoted kind: `Nat`-singleton type: `SNat` (which is really a synonym for `Sing`)+original datatype: `Nat` +promoted kind: `Nat` +singleton type: `SNat` (which is really a synonym for `Sing`) -original datatype: `:/\:`-promoted kind: `:/\:`-singleton type: `:%/\:`+original datatype: `:/\:` +promoted kind: `:/\:` +singleton type: `:%/\:` -original constructor: `Zero`-promoted type: `'Zero` (you can use `Zero` when unambiguous)-singleton constructor: `SZero`+original constructor: `Zero` +promoted type: `'Zero` (you can use `Zero` when unambiguous) +singleton constructor: `SZero` -original constructor: `:+:`-promoted type: `':+:`-singleton constructor: `:%+:`+original constructor: `:+:` +promoted type: `':+:` +singleton constructor: `:%+:` -original value: `pred`-promoted type: `Pred`-singleton value: `sPred`+original value: `pred` +promoted type: `Pred` +singleton value: `sPred` -original value: `+`-promoted type: `:+`-singleton value: `%:+`+original value: `+` +promoted type: `:+` +singleton value: `%:+` Special names@@ -188,25 +188,25 @@ There are some special cases: -original datatype: `[]`+original datatype: `[]` singleton type: `SList` -original constructor: `[]`+original constructor: `[]` singleton constructor: `SNil` -original constructor: `:`+original constructor: `:` singleton constructor: `SCons` -original datatype: `(,)`+original datatype: `(,)` singleton type: `STuple2` -original constructor: `(,)`+original constructor: `(,)` singleton constructor: `STuple2` All tuples (including the 0-tuple, unit) are treated similarly. -original value: `undefined`-promoted type: `Any`+original value: `undefined` +promoted type: `Any` singleton value: `undefined`
singletons.cabal view
@@ -1,5 +1,5 @@ name: singletons-version: 0.9.0+version: 0.9.1 cabal-version: >= 1.10 synopsis: A framework for generating singleton types homepage: http://www.cis.upenn.edu/~eir/packages/singletons@@ -27,7 +27,7 @@ source-repository this type: git location: https://github.com/goldfirere/singletons.git- tag: v0.9.0+ tag: v0.9.1 library build-depends: