52 lines
1.3 KiB
Plaintext
52 lines
1.3 KiB
Plaintext
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:
|