packages feed

group-theory-0.1.0.0: group-theory.cabal

cabal-version:   2.0
name:            group-theory
version:         0.1.0.0
synopsis:        The theory of groups
description:
  This package includes definitions for Groups (monoids with invertibility), including
  finite, fre, simple, cyclic, and permutation groups. Additionally, we add the concept
  of 'Cancelative' functors, building upon 'Alternative' applicative functors.

homepage:        https://github.com/emilypi/group-theory
bug-reports:     https://github.com/emilypi/group-theory/issues
license:         BSD3
license-file:    LICENSE
author:          Emily Pillmore
maintainer:      emilypi@cohomolo.gy
copyright:       (c) 2020 Emily Pillmore <emilypi@cohomolo.gy>
category:        Algebra, Math, Permutations, Groups
build-type:      Custom
extra-doc-files:
  CHANGELOG.md
  README.md

tested-with:     GHC ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.2

source-repository head
  type:     git
  location: https://github.com/emilypi/group-theory.git

custom-setup
  setup-depends:
      base           >=4.11 && <5
    , Cabal
    , cabal-doctest

library
  exposed-modules:
    Control.Applicative.Cancelative
    Data.Group
    Data.Group.Additive
    Data.Group.Cyclic
    Data.Group.Finite
    Data.Group.Foldable
    Data.Group.Free
    Data.Group.Free.Church
    Data.Group.Multiplicative
    Data.Group.Permutation

  build-depends:
      base        >=4.11 && <5
    , containers  >=0.5  && <0.7

  hs-source-dirs:   src
  default-language: Haskell2010
  ghc-options:      -Wall

test-suite doctests
  default-language:  Haskell2010
  type:              exitcode-stdio-1.0
  main-is:           doctests.hs
  build-depends:
      base          >=4.11 && <5
    , doctest
    , group-theory

  hs-source-dirs:    test
  ghc-options:       -Wall -threaded
  x-doctest-options: --fast