name: imperative-edsl version: 0.8.2 synopsis: Deep embedding of imperative programs with code generation description: Deep embedding of imperative programs with code generation. . The main module for users who want to write imperative programs is "Language.Embedded.Imperative". . Examples can be found in the @examples@ directory. license: BSD3 license-file: LICENSE author: Anders Persson, Emil Axelsson, Markus Aronsson maintainer: 78emil@gmail.com copyright: Copyright (c) 2016 Anton Ekblad, Emil Axelsson, Máté Karácsony Copyright (c) 2015 Anders Persson, Anton Ekblad, Emil Axelsson, Markus Aronsson, Josef Svenningsson homepage: https://github.com/emilaxelsson/imperative-edsl bug-reports: https://github.com/emilaxelsson/imperative-edsl/issues category: Language build-type: Simple cabal-version: >=1.10 extra-source-files: examples/*.hs tests/*.hs source-repository head type: git location: git@github.com:emilaxelsson/imperative-edsl.git library exposed-modules: Control.Monads System.IO.Fake Language.C.Monad Language.Embedded.Expression Language.Embedded.Traversal Language.Embedded.Imperative.CMD Language.Embedded.Imperative.Args Language.Embedded.Imperative.Frontend.General Language.Embedded.Imperative.Frontend Language.Embedded.Imperative Language.Embedded.Concurrent.CMD Language.Embedded.Concurrent Language.Embedded.Signature Language.Embedded.Backend.C Language.Embedded.Backend.C.Expression Language.Embedded.CExp other-modules: Language.Embedded.Imperative.Backend.C Language.Embedded.Concurrent.Backend.C -- No need to export these since only the instances are interesting Control.Chan default-language: Haskell2010 default-extensions: ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveTraversable FlexibleContexts FlexibleInstances GADTs GeneralizedNewtypeDeriving MultiParamTypeClasses PatternSynonyms PolyKinds Rank2Types RecordWildCards ScopedTypeVariables StandaloneDeriving TypeFamilies TypeOperators ViewPatterns other-extensions: CPP QuasiQuotes UndecidableInstances build-depends: array < 0.6, base >=4 && <5, containers < 0.7, data-default-class < 0.2, deepseq < 1.5, directory < 1.4, exception-transformers < 0.5, ghc-prim < 0.8, language-c-quote >= 0.11.5 && < 0.14, mainland-pretty >= 0.4 && < 0.8, microlens >= 0.3.0.0 && < 0.5, microlens-mtl >= 0.1.8 && < 0.3, microlens-th < 0.5, mtl < 2.3, process < 1.7, operational-alacarte >= 0.3, BoundedChan < 1.1, srcloc < 0.7, syntactic >= 3.8, -- That version fixes overlap bugs time >= 1.5.0.1 && < 1.12, stm >= 2.4 && < 2.6 hs-source-dirs: src test-suite Tests type: exitcode-stdio-1.0 hs-source-dirs: tests examples main-is: Tests.hs default-language: Haskell2010 build-depends: base, directory, filepath, imperative-edsl, process, random, syntactic, tasty-quickcheck, tasty-th