cabal-version:   3.4
name:            monoids-in-the-category-of-endofunctors
version:         0.1.0.0
license:         0BSD
license-file:    LICENSE.txt
author:          James T. Martin
maintainer:      james@jtm.dev
build-type:      Simple
extra-source-files:
    README.md

common common
    default-language: GHC2021
    default-extensions: BlockArguments, LambdaCase, NoImplicitPrelude, NoStarIsType, RoleAnnotations, TypeFamilies, DefaultSignatures, DataKinds, QuantifiedConstraints
    ghc-options: -Wextra

library
    import:             common
    build-depends:      base ^>=4.17.0.0, data-fix ^>= 0.3.2
    hs-source-dirs:     src
    exposed-modules:
        Category.Constraint
        Category.Kleisli
        Data.Dict
        Data.Fin
        Data.Identity
        Data.Nat
        Data.Proxy
        Data.Vec
        Functor.Algebra
        Functor.Associative
        Functor.Base
        Functor.Bifunctor
        Functor.Compose
        Functor.Distributive
        Functor.Exponent
        Functor.Identity
        Functor.Product
        Functor
        Object.Monoid
        Object.Semigroup
        Quantifier
        Relation.Base
        Relation.Category
        Relation.Opposite
        Relation.Product
        Relation.Reflexive
        Relation.Symmetric
        Relation.Transitive
        Relation
    other-modules: