cabal-version: 2.4
name:
  coya
version:
  0.1
synopsis:
  Coya monoids
description:
  Take some log semiring R. Then, for any two x,y :: R, the following holds:
  .
  x ^ log y == y ^ log x == e ^ (log x * log y)
  .
  A Coya monoid is some commutative monoid (R, #), where x # y = x ^ log y.
  The following laws hold:
  .
  e # x = x (Left Identity)
  . 
  x # e = x (Right Identity)
  . 
  (x # y) # z == x # (y # z) (Associativity)
  .
  x # y == y # x (Commutativity)
  .
  If the R is a poset where all elements in R are greater than one, then R
  also forms a group:
  .
  x # (e ^ (1 / log (x))) == x
homepage:
  https://github.com/chessai/coya
bug-reports:
  https://github.com/chessai/coya/issues
license:
  BSD-3-Clause
license-file:
  LICENSE
author:
  chessai
maintainer:
  chessai1996@gmail.com
copyright:
  2019 chessai
category:
  Data, Math
build-type:
  Simple
extra-doc-files:
    README.md
  , CHANGELOG.md
tested-with:
  GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.3

source-repository head
  type:
    git
  location:
    https://github.com/chessai/coya.git

library
  hs-source-dirs:
    src
  exposed-modules:
    Coya
  build-depends:
    , base >= 4.10.1 && < 4.13
    , groups >= 0.4
    , primitive >= 0.6.4
    , refined >= 0.3
    , semirings >= 0.3
  ghc-options:
    -O2
    -Wall
  default-language:
    Haskell2010