dhall-recursive-adt 0.1.0.0 → 0.1.0.1

raw patch · 3 files changed

+10/−6 lines, 3 filesdep +yasidep −neat-interpolationdep ~basedep ~dhalldep ~hedgehogPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies added: yasi

Dependencies removed: neat-interpolation

Dependency ranges changed: base, dhall, hedgehog, tasty-hedgehog

API changes (from Hackage documentation)

- Dhall.Deriving.Recursive: instance Dhall.Deriving.Recursive.RecFromDhall a => Dhall.FromDhall (Dhall.Deriving.Recursive.RecADT a)

- Dhall.Deriving.Recursive: instance Dhall.Deriving.Recursive.RecToDhall a => Dhall.ToDhall (Dhall.Deriving.Recursive.RecADT a)

+ Dhall.Deriving.Recursive: instance Dhall.Deriving.Recursive.RecFromDhall a => Dhall.Marshal.Decode.FromDhall (Dhall.Deriving.Recursive.RecADT a)

+ Dhall.Deriving.Recursive: instance Dhall.Deriving.Recursive.RecToDhall a => Dhall.Marshal.Encode.ToDhall (Dhall.Deriving.Recursive.RecADT a)

CHANGELOG.md view

@@ -1,5 +1,9 @@ # Revision history for dhall-recursive-adt +## 0.1.0.1 -- 2021-06-04++* Support Dhall 1.39 and GHC 9.0.+ ## 0.1.0.0 -- 2021-01-28  * First version. Released on an uNsUsPeCtInG world.

dhall-recursive-adt.cabal view

@@ -1,6 +1,6 @@ cabal-version: 2.4 name: dhall-recursive-adt-version: 0.1.0.0+version: 0.1.0.1  synopsis: Convert recursive ADTs from and to Dhall description:@@ -39,7 +39,7 @@     Dhall.Deriving.Recursive   build-depends:       base >= 4.12 && < 5-    , dhall ^>= 1.38+    , dhall >= 1.38 && < 1.40     , data-fix ^>= 0.3     , recursion-schemes ^>= 5.2 @@ -57,7 +57,7 @@     , recursion-schemes     , tasty >= 1.3 && <= 1.5     , tasty-hunit ^>= 0.10-    , tasty-hedgehog ^>= 1+    , tasty-hedgehog >= 1.0 && < 1.2     , hedgehog ^>= 1  test-suite docspec@@ -69,4 +69,4 @@   hs-source-dirs: test   build-depends:       base-    , neat-interpolation ^>= 0.5+    , yasi >= 0.1

src/Dhall/Deriving/Recursive.hs view

@@ -148,9 +148,9 @@ -- In Dhall, we can construct an @Expr@ like this: -- -- >>> import qualified Dhall as D--- >>> import NeatInterpolation+-- >>> import Yasi -- >>> :{--- dhallExpr <- D.inputExpr [trimming|+-- dhallExpr <- D.inputExpr [i| --   let ExprF = λ(a : Type) → < LitF : Natural | AddF : { _1 : a, _2 : a } | MulF : { _1 : a, _2 : a } > --   let Expr  = ∀(a : Type) → (ExprF a → a) → a --   --