Cabal revisions of semirings-0.5.2
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: semirings-category: Algebra, Data, Data Structures, Math, Maths, Mathematics-version: 0.5.2-license: BSD3-cabal-version: >= 1.10-license-file: LICENSE-author: chessai-maintainer: chessai <chessai1996@gmail.com>-stability: provisional-homepage: http://github.com/chessai/semirings-bug-reports: http://github.com/chessai/semirings/issues-copyright: Copyright (C) 2018 chessai-synopsis: two monoids as one, in holy haskimony-description:- Haskellers are usually familiar with monoids and semigroups. A monoid has an appending operation `<>` (or `mappend`),- and an identity element, `mempty`. A semigroup has an appending `<>` operation, but does not require a `mempty` element.- .- A Semiring has two appending operations, `plus` and `times`, and two respective identity elements, `zero` and `one`.- .- More formally, a Semiring R is a set equipped with two binary relations `+` and `*`, such that:- .- (R,+) is a commutative monoid with identity element 0,- .- (R,*) is a monoid with identity element 1,- .- (*) left and right distributes over addition, and- .- multiplication by '0' annihilates R.--build-type: Simple-extra-source-files: README.md CHANGELOG.md-tested-with: GHC == 7.4.1- , GHC == 7.4.2- , GHC == 7.6.1- , GHC == 7.6.2- , GHC == 7.8.1- , GHC == 7.8.3- , GHC == 7.8.4- , GHC == 7.10.1- , GHC == 7.10.2- , GHC == 7.10.3- , GHC == 8.0.1- , GHC == 8.0.2- , GHC == 8.2.1- , GHC == 8.2.2- , GHC == 8.4.1- , GHC == 8.4.2- , GHC == 8.4.3- , GHC == 8.4.4- , GHC == 8.6.1- , GHC == 8.6.2- , GHC == 8.6.3- , GHC == 8.6.4- , GHC == 8.6.5- , GHC == 8.8.1--source-repository head- type: git- location: git://github.com/chessai/semirings.git--flag hashable- description:- You can disable the use of the `hashable` package using `-f-hashable`.- .- Disabling this may be useful for accelerating builds in sandboxes for expert users.- .- Note: `-f-hashable` implies `-f-unordered-containers`, as we are necessarily not able to supply those instances as well.- default: True- manual: True--flag containers- description:- You can disable the use of the `containers` package using `-f-containers`.- .- Disabling this may be useful for accelerating builds in sandboxes for expert users.- default: True- manual: True--flag unordered-containers- description:- You can disable the use of the `unordered-containers` package using `-f-unordered-containers`.- .- Disabling this may be useful for accelerating builds in sandboxes for expert users.- default: True- manual: True--library- default-language: Haskell98- ghc-options: -Wall-- build-depends:- base >= 4.5 && < 5- , integer-gmp-- if impl(ghc < 7.10)- build-depends:- nats >= 0.1 && < 2- , transformers-- if impl(ghc < 8.0)- build-depends: semigroups >= 0.17-- if impl(ghc < 7.8)- build-depends: tagged-- if impl(ghc >= 7.2)- exposed-modules:- Data.Euclidean- Data.Field- Data.Semiring- Data.Star- Data.Semiring.Tropical- if impl(ghc >= 7.6.1)- exposed-modules:- Data.Semiring.Generic-- if flag(containers) && impl(ghc >= 7.8)- build-depends: containers >= 0.5.4 && < 0.7-- if flag(hashable) && impl(ghc < 7.8)- build-depends: hashable >= 1.1 && < 1.4-- if flag(hashable) && impl(ghc >= 7.8)- build-depends: hashable >= 1.1 && < 1.4-- if flag(hashable) && flag(unordered-containers)- build-depends: unordered-containers >= 0.2 && < 0.3+name: semirings +category: Algebra, Data, Data Structures, Math, Maths, Mathematics +version: 0.5.2 +x-revision: 1 +license: BSD3 +cabal-version: >= 1.10 +license-file: LICENSE +author: chessai +maintainer: chessai <chessai1996@gmail.com> +stability: provisional +homepage: http://github.com/chessai/semirings +bug-reports: http://github.com/chessai/semirings/issues +copyright: Copyright (C) 2018 chessai +synopsis: two monoids as one, in holy haskimony +description: + Haskellers are usually familiar with monoids and semigroups. A monoid has an appending operation `<>` (or `mappend`), + and an identity element, `mempty`. A semigroup has an appending `<>` operation, but does not require a `mempty` element. + . + A Semiring has two appending operations, `plus` and `times`, and two respective identity elements, `zero` and `one`. + . + More formally, a Semiring R is a set equipped with two binary relations `+` and `*`, such that: + . + (R,+) is a commutative monoid with identity element 0, + . + (R,*) is a monoid with identity element 1, + . + (*) left and right distributes over addition, and + . + multiplication by '0' annihilates R. + +build-type: Simple +extra-source-files: README.md CHANGELOG.md +tested-with: GHC == 7.4.1 + , GHC == 7.4.2 + , GHC == 7.6.1 + , GHC == 7.6.2 + , GHC == 7.8.1 + , GHC == 7.8.3 + , GHC == 7.8.4 + , GHC == 7.10.1 + , GHC == 7.10.2 + , GHC == 7.10.3 + , GHC == 8.0.1 + , GHC == 8.0.2 + , GHC == 8.2.1 + , GHC == 8.2.2 + , GHC == 8.4.1 + , GHC == 8.4.2 + , GHC == 8.4.3 + , GHC == 8.4.4 + , GHC == 8.6.1 + , GHC == 8.6.2 + , GHC == 8.6.3 + , GHC == 8.6.4 + , GHC == 8.6.5 + , GHC == 8.8.1 + +source-repository head + type: git + location: git://github.com/chessai/semirings.git + +flag hashable + description: + You can disable the use of the `hashable` package using `-f-hashable`. + . + Disabling this may be useful for accelerating builds in sandboxes for expert users. + . + Note: `-f-hashable` implies `-f-unordered-containers`, as we are necessarily not able to supply those instances as well. + default: True + manual: True + +flag containers + description: + You can disable the use of the `containers` package using `-f-containers`. + . + Disabling this may be useful for accelerating builds in sandboxes for expert users. + default: True + manual: True + +flag unordered-containers + description: + You can disable the use of the `unordered-containers` package using `-f-unordered-containers`. + . + Disabling this may be useful for accelerating builds in sandboxes for expert users. + default: True + manual: True + +library + default-language: Haskell98 + ghc-options: -Wall + + build-depends: + base >= 4.5 && < 5 + , integer-gmp < 1.1 + + if impl(ghc < 7.10) + build-depends: + nats >= 0.1 && < 2 + , transformers + + if impl(ghc < 8.0) + build-depends: semigroups >= 0.17 + + if impl(ghc < 7.8) + build-depends: tagged + + if impl(ghc >= 7.2) + exposed-modules: + Data.Euclidean + Data.Field + Data.Semiring + Data.Star + Data.Semiring.Tropical + if impl(ghc >= 7.6.1) + exposed-modules: + Data.Semiring.Generic + + if flag(containers) && impl(ghc >= 7.8) + build-depends: containers >= 0.5.4 && < 0.7 + + if flag(hashable) && impl(ghc < 7.8) + build-depends: hashable >= 1.1 && < 1.4 + + if flag(hashable) && impl(ghc >= 7.8) + build-depends: hashable >= 1.1 && < 1.4 + + if flag(hashable) && flag(unordered-containers) + build-depends: unordered-containers >= 0.2 && < 0.3