cabal-version:       2.4
name:                monoidal-functors
category:            Control, Categories
version:             0.2.1.0
license:             MIT
license-file:        LICENSE
author:              Solomon Bothwell & Asad Saeeduddin
maintainer:          ssbothwell@gmail.com
stability:           experimental
synopsis:            Monoidal Functors Library
homepage:            http://github.com/solomon-b/monoidal-functors
build-type:          Simple
extra-source-files:  CHANGELOG.md
description:         A typeclass hierarchy for monoidal functors.
source-repository head
  type:     git
  location: https://github.com/solomon-b/monoidal-functors

--------------------------------------------------------------------------------

library
  build-depends:
    base          >= 4.12   && < 5,
    bifunctors    >= 5.5.11 && < 5.6,
    comonad       >= 5.0.8  && < 5.1,
    distributive  >= 0.6.2  && < 0.7,
    tagged        >= 0.8.6  && < 0.9,
    contravariant >= 1.5.5  && < 1.6,
    profunctors   >= 5.6.2  && < 5.7,
    semialign     >= 1.2.0  && < 1.3,
    semigroupoids >= 5.3.6  && < 5.4,
    these         >= 1.1.1  && < 1.2,

  exposed-modules:
    Control.Category.Tensor
    Control.Category.Cartesian
    Control.Category.Tensor.Expr
    Data.Bifunctor.BiInvariant
    Data.Bifunctor.Module
    Data.Bifunctor.Monoidal
    Data.Bifunctor.Monoidal.Specialized
    Data.Functor.Invariant
    Data.Functor.Module
    Data.Functor.Monoidal
    Data.Trifunctor.Module
    Data.Trifunctor.Monoidal

  ghc-options:
    -Wall
    -Wcpp-undef
    -Widentities
    -Wincomplete-record-updates
    -Wincomplete-uni-patterns
    -Wpartial-fields
    -Werror=missing-home-modules
    -Wno-star-is-type

  hs-source-dirs: src

  default-language: Haskell2010

  default-extensions:
    ConstraintKinds
    DeriveFunctor
    DerivingVia
    FunctionalDependencies
    FlexibleInstances
    FlexibleContexts
    GeneralizedNewtypeDeriving
    InstanceSigs
    KindSignatures
    LambdaCase
    MultiParamTypeClasses
    NoImplicitPrelude
    QuantifiedConstraints
    RankNTypes
    ScopedTypeVariables
    StandaloneDeriving
    TypeApplications
    TypeOperators
    UndecidableInstances