cabal-version:  3.0
name:           free-category
version:        0.0.4.5
x-revision:     1
synopsis:       efficient data types for free categories and arrows
description:
  This package provides various data types for free categories, type
  aligned queues, arrows and type classes which allow to write abstract
  categories with side effects (Kleisli like categories).  These are useful
  for encoding type safe state machines.  Free arrows are also provided.
category:       Algebra, Control, Monads, Category
homepage:       https://github.com/coot/free-category#readme
bug-reports:    https://github.com/coot/free-category/issues
author:         Marcin Szamotulski
maintainer:     coot@coot.me
copyright:      (c) 2018-2024 Marcin Szamotulski
license:        MPL-2.0
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    ChangeLog.md
    README.md
    bench/report-O0.md
    bench/report-O1.md
    bench/report-O2.md
stability:      experimental
tested-with:    GHC == { 8.10, 9.0, 9.2, 9.4, 9.6, 9.8, 9.10 }

source-repository head
  type: git
  location: https://github.com/coot/free-category

library
  exposed-modules:
      Control.Arrow.Free
      Control.Category.Free
      Control.Category.Free.Internal
      Control.Category.FreeEffect
  other-modules:
      Paths_free_category
  autogen-modules:
      Paths_free_category
  hs-source-dirs:
      src
  build-depends:
      base           >= 4.9 && < 5.0
    , free-algebras ^>= 0.1.1.0 || ^>= 0.1.2
  ghc-options:
    -Wall
    -fwarn-incomplete-record-updates
    -fwarn-incomplete-uni-patterns
    -fwarn-redundant-constraints
    -fwarn-deprecations
  default-language: Haskell2010

test-suite test-cats
  type:
      exitcode-stdio-1.0
  hs-source-dirs:
      test
  main-is:
      Main.hs
  other-modules:
      Test.Cat
      Test.Queue
  build-depends:
      base
    , QuickCheck
    , tasty-quickcheck
    , tasty
    , free-algebras

    , free-category
  ghc-options:
    -Wall
    -fwarn-incomplete-record-updates
    -fwarn-incomplete-uni-patterns
    -fno-ignore-asserts
    -fwarn-deprecations
  default-language: Haskell2010

benchmark bench-cats
  hs-source-dirs:
      bench
  main-is:
      Main.hs
  type:
      exitcode-stdio-1.0
  build-depends:
      base
    , free-category
    , criterion
  ghc-options:
    -rtsopts
  default-language: Haskell2010