zm 0.2.2 → 0.2.4

raw patch · 3 files changed

+11/−12 lines, 3 filesdep ~cryptonite

Dependency ranges changed: cryptonite

Files

• README.md +4/−8
• stack.yaml +4/−0
• zm.cabal +3/−4

@@ -34,11 +34,7 @@ We use `absTypeModel` to get the canonical type of `Maybe Bool` and `pPrint` to print it nicely:  ```haskell-prt = pPrint -- . CompactPretty-```--```haskell-prt $ absTypeModel (Proxy :: Proxy (Maybe Bool))+pPrint $ absTypeModel (Proxy :: Proxy (Maybe Bool)) -> Type: ->  -> Kda6836778fd4 K306f1981b41c:@@ -63,7 +59,7 @@ For example, a `Word7` (an unsigned integer of 7 bits length) is defined as an explicit enumeration of all the 128 different values that can fit in 7 bits:  ```haskell-prt $ absTypeModel (Proxy :: Proxy Word7)+pPrint $ absTypeModel (Proxy :: Proxy Word7) -> Type: ->  -> Kf4c946334a7e:@@ -89,7 +85,7 @@ A `Word32` can be defined as a `NonEmptyList` list of `Word7`s (a definition equivalent to the [Base 128 Varints encoding](https://developers.google.com/protocol-buffers/docs/encoding#varints)).  ```haskell-prt $ absTypeModel (Proxy :: Proxy Word32)+pPrint $ absTypeModel (Proxy :: Proxy Word32) -> Type: ->  -> K2412799c99f1:@@ -131,7 +127,7 @@ And finally a `Char` can be defined as a tagged `Word32`:  ```haskell-prt $ absTypeModel (Proxy :: Proxy Char)+pPrint $ absTypeModel (Proxy :: Proxy Char) -> Type: ->  -> K066db52af145:

@@ -4,3 +4,7 @@ - flat-0.3 - mono-traversable-1.0.2 - cryptonite-0.22++#- cryptonite-0.23+#- foundation-0.0.9+#- memory-0.14.5

@@ -1,5 +1,5 @@ name: zm-version: 0.2.2+version: 0.2.4 synopsis: Language independent, reproducible, absolute types description:     See the <http://github.com/tittoassini/zm online tutorial>.@@ -30,9 +30,8 @@         build-depends:             ghcjs-base >=0.2 && <0.3     else-        build-depends:-            cryptonite >=0.22 && <0.23,-            memory >=0.13+        build-depends: cryptonite >=0.22,memory >=0.13+     exposed-modules:         Data.Digest.Keccak         ZM