name: dino version: 0.1 synopsis: A convenient tagless EDSL description: For more information, see the . license: BSD3 license-file: LICENSE author: Emil Axelsson maintainer: 78emil@gmail.com copyright: 2019 Mpowered Business Solutions homepage: https://github.com/emilaxelsson/dino bug-reports: https://github.com/emilaxelsson/dino/issues category: Language build-type: Simple cabal-version: >=1.10 extra-source-files: README.md source-repository head type: git location: https://github.com/emilaxelsson/dino.git library exposed-modules: Dino.Pretty Dino.AST Dino.AST.Diff Dino.Prelude Dino.Types Dino.Expression Dino.Interpretation Dino.Verification Dino build-depends: base < 5, ansi-wl-pprint < 0.7, containers < 0.7, exceptions < 0.11, errors < 2.4, hashable < 1.3, monad-loops < 0.5, mtl < 2.3, text < 1.3, transformers < 0.6, tree-view < 0.6, unordered-containers < 0.3 hs-source-dirs: src default-language: Haskell2010 default-extensions: ConstraintKinds DataKinds DefaultSignatures DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable FlexibleContexts FlexibleInstances FunctionalDependencies GADTs InstanceSigs MultiParamTypeClasses NamedFieldPuns NoImplicitPrelude OverloadedStrings Rank2Types ScopedTypeVariables StandaloneDeriving TupleSections TypeApplications TypeFamilies TypeOperators other-extensions: GeneralizedNewtypeDeriving PolyKinds ghc-options: -Wall test-suite tests type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Tests.hs other-modules: DiffTest build-depends: base , dino , tasty < 1.3 , tasty-quickcheck < 0.11 , tasty-th < 0.2 , text , unordered-containers ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N default-language: Haskell2010 default-extensions: DefaultSignatures FlexibleInstances OverloadedStrings ScopedTypeVariables TupleSections test-suite examples type: exitcode-stdio-1.0 hs-source-dirs: examples main-is: Examples.hs other-modules: README build-depends: base >= 4.10 && < 5 , dino ghc-options: -Wall default-language: Haskell2010 default-extensions: NoImplicitPrelude OverloadedStrings Rank2Types