name: operational-alacarte version: 0.3.1 x-revision: 1 synopsis: A version of Operational suitable for extensible EDSLs description: A version of Operational \[1\] suitable for EDSLs extensible via data types à la carte. . This library provides two important extensions to Operational: . 1. The ability for instructions to refer to sub-programs in a generic way. (This is a key to obtaining an extensible library.) . 2. Generic interpretation of programs, including sub-programs and other sub-structures (e.g. expressions). . More information is found in the documentation of "Control.Monad.Operational.Higher". . \[1\] license: BSD3 license-file: LICENSE author: Emil Axelsson maintainer: 78emil@gmail.com copyright: Copyright (c) 2016 Emil Axelsson Copyright (c) 2015 Emil Axelsson, Heinrich Apfelmus homepage: https://github.com/emilaxelsson/operational-alacarte bug-reports: https://github.com/emilaxelsson/operational-alacarte/issues category: Language build-type: Simple cabal-version: >=1.10 extra-source-files: README.md examples/*.hs tests/*.hs source-repository head type: git location: git@github.com:emilaxelsson/operational-alacarte.git library exposed-modules: Data.ALaCarte Control.Monad.Operational.Higher default-language: Haskell2010 default-extensions: DataKinds DeriveDataTypeable DeriveFunctor FlexibleContexts FlexibleInstances GADTs MultiParamTypeClasses PolyKinds Rank2Types ScopedTypeVariables TypeOperators -- DeriveDataTypeable only needed for GHC < 7.10 build-depends: base >=4.6 && <5, mtl <2.4 hs-source-dirs: src test-suite Examples type: exitcode-stdio-1.0 hs-source-dirs: examples tests main-is: Tests.hs default-language: Haskell2010 build-depends: base, operational-alacarte