Ztrategic 0.3.0 → 0.3.1

raw patch · 3 files changed

+8/−3 lines, 3 filesdep +QuickChecknew-uploader

Dependencies added: QuickCheck

Files

• Language/Memo/Ztrategic.hs +2/−0
• Language/Ztrategic.hs +2/−0
• Ztrategic.cabal +4/−3

@@ -15,6 +15,8 @@ import Language.StrategicData import Language.Memo.AGMemo +import Test.QuickCheck+ ---------- ---- --- TP

@@ -19,6 +19,8 @@ import Control.Monad.State.Lazy import System.Random (randomRIO, initStdGen, setStdGen) +import Test.QuickCheck+  gatherChildren (trav, untrav) z = maybe [] ((navigation:) . gatherChildrenR navigation) $ down' z  where navigation = (fromJust . down' . trav, untrav . fromJust . up)

@@ -1,11 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.38.1.+-- This file has been generated from package.yaml by hpack version 0.36.0. -- -- see: https://github.com/sol/hpack  name:           Ztrategic-version:        0.3.0+version:        0.3.1 synopsis:       Zipper-based library for strategic programming and attribute grammars. description:    Strategic programming and attribute grammar library built on top of the Zipper data structure. Can be used as a strategic programming library exclusively, with the option of integrating attribute grammars during strategic term traversal. Supports non-memoized and memoized attribute grammars.  category:       Generics@@ -41,7 +41,8 @@   hs-source-dirs:       ./   build-depends:-      ZipperAG >=1.0.0 && <2+      QuickCheck >=2.14.3 && <3+    , ZipperAG >=1.0.0 && <2     , base >4.14 && <5     , monadplus >=1.4.3 && <2     , mtl >2.0.0.0 && <3