cabal-version: 1.24

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

name:           dovin
version:        0.1.0.0
synopsis:       A proof assistant for Magic: The Gathering puzzles.
description:    Please see the README on GitHub at <https://github.com/githubuser/dovin#readme>
category:       Games
homepage:       https://github.com/xaviershay/dovin#readme
bug-reports:    https://github.com/xaviershay/dovin/issues
author:         Xavier Shay
maintainer:     contact@xaviershay.com
copyright:      2018 Xavier Shay
license:        BSD3
license-file:   LICENSE
build-type:     Custom
extra-source-files:
    README.md

source-repository head
  type: git
  location: https://github.com/xaviershay/dovin

custom-setup
  setup-depends:
      Cabal
    , base >=4.7 && <5
    , directory
    , filepath

library
  exposed-modules:
      Dovin
      Dovin.Actions
      Dovin.Attributes
      Dovin.Builder
      Dovin.Dump
      Dovin.Formatting
      Dovin.Helpers
      Dovin.Monad
      Dovin.Prelude
      Dovin.Types
      Dovin.V1
      Dovin.V2
      Lib
      Solutions
      Solutions.Channel
      Solutions.Core19_9
      Solutions.Dominaria5
      Solutions.Example
      Solutions.ExplorersOfIxalanContest
      Solutions.GuildsOfRavnica1
      Solutions.GuildsOfRavnica3
      Solutions.GuildsOfRavnica8
      Solutions.GuildsOfRavnica9
      Solutions.GuildsOfRavnicaPre2
      Solutions.RivalsOfIxalan7
      Solutions.UltimateMasters
  other-modules:
      Paths_dovin
  hs-source-dirs:
      src
  build-depends:
      base >=4.7 && <5
    , containers
    , hashable
    , lens
    , mtl
    , parsec
    , unordered-containers
  default-language: Haskell2010

executable dovin
  main-is: Main.hs
  other-modules:
      Paths_dovin
  hs-source-dirs:
      app
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.7 && <5
    , containers
    , dovin
    , hashable
    , lens
    , mtl
    , parsec
    , unordered-containers
  default-language: Haskell2010

test-suite dovin-test
  type: exitcode-stdio-1.0
  main-is: Driver.hs
  other-modules:
      Activate
      Counter
      Damage
      Discard
      Exert
      Flashback
      Jumpstart
      Move
      Resolve
      Spec
      StateBasedActions
      TestPrelude
      TestPrelude.V2
      TestSolutions
      Trigger
      Paths_dovin
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wunused-imports
  build-depends:
      base >=4.7 && <5
    , containers
    , dovin
    , hashable
    , lens
    , mtl
    , parsec
    , tasty
    , tasty-discover
    , tasty-hunit
    , tasty-quickcheck
    , unordered-containers
  default-language: Haskell2010