tagged 0.2.2 → 0.2.2.1
raw patch · 2 files changed
+4/−4 lines, 2 files
Files
- Data/Proxy.hs +3/−3
- tagged.cabal +1/−1
Data/Proxy.hs view
@@ -135,10 +135,10 @@ def = Proxy {-# INLINE def #-} --- | Some times you need to change the tag you have lying around.+-- | Some times you need to change the proxy you have lying around. -- Idiomatic usage is to make a new combinator for the relationship --- between the tags that you want to enforce, and define that --- combinator using 'retag'.+-- between the proxies that you want to enforce, and define that +-- combinator using 'reproxy'. -- -- > data Succ n -- > reproxySucc :: Proxy n -> Proxy (Succ n)
tagged.cabal view
@@ -1,5 +1,5 @@ name: tagged-version: 0.2.2+version: 0.2.2.1 license: BSD3 license-file: LICENSE author: Edward A. Kmett