cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.37.0.
--
-- see: https://github.com/sol/hpack

name:           Ztrategic
version:        0.1.0
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
stability:      experimental
homepage:       https://github.com/SLE-Laboratory/Ztrategic#readme
bug-reports:    https://github.com/SLE-Laboratory/Ztrategic/issues
author:         José Nuno Macedo <zenunomacedo@gmail.com>
maintainer:     José Nuno Macedo <zenunomacedo@gmail.com>
copyright:      © 2022 José Nuno Macedo
license:        MIT
license-file:   LICENSE
build-type:     Simple
tested-with:
    GHC == 9.4.7
extra-source-files:
    README.md

source-repository head
  type: git
  location: https://github.com/SLE-Laboratory/Ztrategic

library
  exposed-modules:
      Language.Memo.AGMemo
      Language.Memo.Safe.AGMemo
      Language.Memo.Safe.Ztrategic
      Language.Memo.State.Ztrategic
      Language.Memo.Ztrategic
      Language.StrategicData
      Language.Ztrategic
  other-modules:
      Paths_Ztrategic
  hs-source-dirs:
      ./
  build-depends:
      ZipperAG >=1.0.0 && <2
    , base >4.14 && <5
    , monadplus >=1.4.3 && <2
    , mtl >2.0.0.0 && <3
    , random >1.0.0.0 && <2
    , syb <1.0
    , syz ==0.2.0.0
    , transformers >=0.5.6 && <0.7
  default-language: Haskell2010