name:               vessel
version:            0.2.0.0
description:
  A dependently-typed key-value data structure that allows for storage of both "queries", (wherein keys are stored along with reasons for selecting the items or counts of the number of times something has been selected), as well as the responses to those queries, in which the type of the key additionally determines the type of the response

license:            BSD3
license-file:       LICENSE
author:             Obsidian Systems LLC
maintainer:         maintainer@obsidian.systems
copyright:          Obsidian Systems LLC
build-type:         Simple
extra-doc-files:    tutorial/Tutorial.md
extra-source-files:
  ChangeLog.md
  README.md
  tutorial/Tutorial.md

cabal-version:      2.0
category:           Data
synopsis:           Functor-parametric containers
tested-with:        GHC ==8.6.5 || ==8.8.4 || ==8.10.2

library
  exposed-modules:
    Data.Vessel
    Data.Vessel.Class
    Data.Vessel.DependentMap
    Data.Vessel.Disperse
    Data.Vessel.Identity
    Data.Vessel.Internal
    Data.Vessel.Map
    Data.Vessel.Selectable
    Data.Vessel.Single
    Data.Vessel.SubVessel
    Data.Vessel.Vessel
    Data.Vessel.ViewMorphism

  other-extensions:
    FlexibleInstances
    GeneralizedNewtypeDeriving
    RankNTypes
    ScopedTypeVariables
    StandaloneDeriving
    TypeFamilies
    UndecidableInstances

  build-depends:
      aeson                        >=1.4     && <1.6
    , base                         >=4.9     && <4.15
    , bifunctors                   ^>=5.5
    , constraints                  >=0.10    && <0.15
    , constraints-extras           ^>=0.3
    , containers                   ^>=0.6
    , dependent-map                ^>=0.4
    , dependent-monoidal-map       ^>=0.1.1.0
    , dependent-sum                ^>=0.7
    , dependent-sum-aeson-orphans  ^>=0.3
    , monoidal-containers          ^>=0.6
    , mtl                          ^>=2.2
    , patch                        ^>=0.0.4.0
    , reflex                       >=0.6.4   && <0.9
    , semialign                    >=1
    , these                        ^>=1
    , witherable                   >=0.2     && <=0.3.2

  hs-source-dirs:   src
  default-language: Haskell2010

library vessel-tutorial
  if impl(ghcjs)
    buildable: False

  hs-source-dirs:     tutorial
  exposed-modules:    Tutorial
  default-language:   Haskell2010
  default-extensions:
    ConstraintKinds
    FlexibleContexts
    FlexibleInstances
    GADTs
    GeneralizedNewtypeDeriving
    LambdaCase
    MultiParamTypeClasses
    OverloadedStrings
    QuantifiedConstraints
    RankNTypes
    RecursiveDo
    RoleAnnotations
    ScopedTypeVariables
    StandaloneDeriving
    TemplateHaskell
    TypeFamilies
    UndecidableInstances

  ghc-options:        -Wall -pgmL markdown-unlit
  build-tool-depends: markdown-unlit:markdown-unlit -any
  build-depends:
      aeson
    , aeson-gadt-th
    , base
    , constraints
    , constraints-extras
    , containers
    , dependent-map
    , dependent-monoidal-map
    , dependent-sum
    , dependent-sum-aeson-orphans
    , dependent-sum-template
    , lens
    , markdown-unlit
    , monoidal-containers
    , mtl
    , reflex
    , semialign
    , text
    , these
    , vessel
    , witherable

source-repository head
  type:     git
  location: https://github.com/obsidiansystems/vessel