Ztrategic-0.2.0: Ztrategic.cabal
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.2.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