cabal-version:       2.4
name:                monoidal-functors
category:            Control, Categories
version:             0.1.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,
    tagged               >= 0.8.6 && < 0.9,
    contravariant        >= 1.5.5 && < 1.6,
    profunctors          >= 5.6.2 && < 5.7,
    semigroupoids        >= 5.3.6 && < 5.4,
    these                >= 1.1.1 && < 1.2,

  exposed-modules:
    Control.Category.Tensor
    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 -Wno-trustworthy-safe -Wno-star-is-type

  if impl(ghc >= 9.0)
    -- these flags may abort compilation with GHC-8.10
    -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295
    ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode

  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