-
Notifications
You must be signed in to change notification settings - Fork 7
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update from Hackage at 2020-07-03T18:33:19Z
- Loading branch information
1 parent
037cf9c
commit ccbc276
Showing
2 changed files
with
136 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,135 @@ | ||
cabal-version: 2.0 | ||
name: sweet-egison | ||
version: 0.1.0.1 | ||
synopsis: | ||
Shallow embedding implementation of non-linear pattern matching | ||
|
||
description: | ||
The [sweet-egison](https://hackage.haskell.org/package/sweet-egison) is a shallow embedding implementation of non-linear pattern matching with extensible and polymorphic patterns. | ||
In other words, this implements [Egison](https:///www.egison.org) pattern matching in Haskell by desugaring pattern expressions. | ||
This library provides a base of the Pattern-Match-Oriented (PMO) programming style for Haskell users at a practical level of efficiency. | ||
|
||
bug-reports: https://github.com/egison/sweet-egison/issues | ||
homepage: https://github.com/egison/sweet-egison#readme | ||
license: BSD3 | ||
license-file: LICENSE | ||
author: coord_e | ||
maintainer: coord_e <me@coord-e.com>, Satoshi Egi <egi@egison.org> | ||
copyright: Copyright 2020 coord_e | ||
category: Control, Pattern | ||
build-type: Simple | ||
extra-source-files: | ||
CHANGELOG.md | ||
README.md | ||
|
||
-- see .github/workflows | ||
tested-with: GHC ==8.6.2 || ==8.6.5 || ==8.8.1 | ||
|
||
source-repository head | ||
type: git | ||
location: https://github.com/egison/sweet-egison | ||
|
||
library | ||
hs-source-dirs: src | ||
exposed-modules: | ||
Control.Egison | ||
Control.Egison.Match | ||
Control.Egison.Matcher | ||
Control.Egison.Matcher.Collection | ||
Control.Egison.Matcher.Pair | ||
Control.Egison.QQ | ||
|
||
build-depends: | ||
backtracking ^>=0.1 | ||
, base >=4.8 && <5 | ||
, egison-pattern-src ^>=0.2.1 | ||
, egison-pattern-src-th-mode ^>=0.2.1 | ||
, haskell-src-exts | ||
, haskell-src-meta | ||
, logict ^>=0.7.0 | ||
, template-haskell | ||
, transformers | ||
|
||
ghc-options: | ||
-O3 -Wall -Wcompat -Widentities -Wincomplete-record-updates | ||
-Wincomplete-uni-patterns | ||
|
||
default-language: Haskell2010 | ||
default-extensions: | ||
AllowAmbiguousTypes | ||
DataKinds | ||
DefaultSignatures | ||
DerivingStrategies | ||
ExplicitForAll | ||
FlexibleContexts | ||
FlexibleInstances | ||
GeneralizedNewtypeDeriving | ||
LambdaCase | ||
MultiParamTypeClasses | ||
NamedFieldPuns | ||
PolyKinds | ||
QuasiQuotes | ||
RankNTypes | ||
ScopedTypeVariables | ||
StandaloneDeriving | ||
TemplateHaskell | ||
TupleSections | ||
TypeFamilies | ||
TypeOperators | ||
|
||
test-suite test | ||
type: exitcode-stdio-1.0 | ||
hs-source-dirs: test | ||
main-is: test.hs | ||
ghc-options: | ||
-Wall -threaded -rtsopts -with-rtsopts=-N -Wno-type-defaults | ||
|
||
default-language: Haskell2010 | ||
build-depends: | ||
base | ||
, primes | ||
, sweet-egison | ||
, tasty | ||
, tasty-hunit | ||
|
||
default-extensions: | ||
GADTs | ||
QuasiQuotes | ||
TemplateHaskell | ||
TypeApplications | ||
|
||
-- cabal-fmt: expand test | ||
other-modules: Control.EgisonSpec | ||
build-tool-depends: tasty-discover:tasty-discover -any | ||
|
||
benchmark comb2 | ||
type: exitcode-stdio-1.0 | ||
hs-source-dirs: benchmark | ||
main-is: comb2.hs | ||
ghc-options: -O3 -Wall -threaded -rtsopts -with-rtsopts=-N | ||
default-language: Haskell2010 | ||
build-depends: | ||
base | ||
, criterion | ||
, sweet-egison | ||
|
||
default-extensions: | ||
QuasiQuotes | ||
TemplateHaskell | ||
TypeApplications | ||
|
||
benchmark perm2 | ||
type: exitcode-stdio-1.0 | ||
hs-source-dirs: benchmark | ||
main-is: perm2.hs | ||
ghc-options: -O3 -Wall -threaded -rtsopts -with-rtsopts=-N | ||
default-language: Haskell2010 | ||
build-depends: | ||
base | ||
, criterion | ||
, sweet-egison | ||
|
||
default-extensions: | ||
QuasiQuotes | ||
TemplateHaskell | ||
TypeApplications |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
{"package-hashes":{"MD5":"3a835527ee9ef7c5f40b026cdc3eb1e6","Skein512_512":"88ce594b30558ef630bff2616e187590bb79efab92dafdfd222ca187ca1e3ba855803cdf9b627b86837b117bbb0b58d3c0475878bcc41e808920ee63d9e2cf9d","SHA1":"061b7983aff1b9c35a8875616765bba2f0723943","SHA512":"44d26e817f69c1232958abfd14bce8891207aadc260587c48a9737d2bc25dd721e49b55524fae210ad19381f11cb0a8a0f002d319c3e17630c80d82bfe6ad3f0","SHA256":"431877a44a97f43d8582bd4f4456d603bace667226d66921db6c56f0c9a49422"},"package-locations":["https://hackage.haskell.org/package/sweet-egison-0.1.0.1/sweet-egison-0.1.0.1.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/sweet-egison-0.1.0.1.tar.gz"],"package-size":10569} |