Gabriel Habryn [Mon, 11 Dec 2017 22:44:07 +0000 (23:44 +0100)]
Merge pull request #61 from widmogrod/feature/free-2
Another approach to implementation of free.
widmogrod [Mon, 11 Dec 2017 22:26:17 +0000 (23:26 +0100)]
Remove file
widmogrod [Mon, 11 Dec 2017 22:12:18 +0000 (23:12 +0100)]
Update readme
widmogrod [Mon, 11 Dec 2017 22:06:37 +0000 (23:06 +0100)]
PHP7 only
widmogrod [Sun, 10 Dec 2017 23:39:09 +0000 (00:39 +0100)]
Another implementation of free
Gabriel Habryn [Sat, 18 Nov 2017 19:19:16 +0000 (20:19 +0100)]
Merge pull request #60 from EduardoGR/EduardoGR-adding-contributing
EduardoGR adding contributing file
Eduardo García [Tue, 31 Oct 2017 01:55:03 +0000 (02:55 +0100)]
Rename contributing.md to CONTRIBUTING.md
Eduardo García [Tue, 31 Oct 2017 01:50:47 +0000 (02:50 +0100)]
Create contributing.md
Gabriel Habryn [Sat, 12 Aug 2017 15:09:45 +0000 (17:09 +0200)]
Merge pull request #59 from widmogrod/feature/code-quality-improvements
Disable some checks
widmogrod [Sat, 12 Aug 2017 15:01:20 +0000 (17:01 +0200)]
Disable some checks
Gabriel Habryn [Sat, 12 Aug 2017 14:58:02 +0000 (16:58 +0200)]
Merge pull request #58 from widmogrod/feature/update-badge
code coverage
widmogrod [Sat, 12 Aug 2017 14:53:13 +0000 (16:53 +0200)]
use only one env
widmogrod [Sat, 12 Aug 2017 14:47:22 +0000 (16:47 +0200)]
unit -> test
widmogrod [Sat, 12 Aug 2017 14:40:06 +0000 (16:40 +0200)]
codeclimate
widmogrod [Sat, 12 Aug 2017 12:17:05 +0000 (14:17 +0200)]
rever changes fron .travis.yml
widmogrod [Sat, 12 Aug 2017 12:13:47 +0000 (14:13 +0200)]
code coverage
Gabriel Habryn [Sat, 12 Aug 2017 12:02:35 +0000 (14:02 +0200)]
Merge pull request #57 from widmogrod/feature/code-climate-config
codeclimat
widmogrod [Sat, 12 Aug 2017 11:34:40 +0000 (13:34 +0200)]
Add Codeclimate badge
widmogrod [Sat, 12 Aug 2017 11:30:46 +0000 (13:30 +0200)]
codeclimat
Gabriel Habryn [Mon, 26 Jun 2017 14:40:10 +0000 (16:40 +0200)]
Merge pull request #55 from widmogrod/feature/free-monad
Free Monad in PHP. First implementation
widmogrod [Mon, 26 Jun 2017 13:21:18 +0000 (15:21 +0200)]
php5.6 compatibl
widmogrod [Mon, 26 Jun 2017 11:16:12 +0000 (13:16 +0200)]
comment code
widmogrod [Mon, 26 Jun 2017 11:12:43 +0000 (13:12 +0200)]
Update readme
widmogrod [Mon, 26 Jun 2017 11:12:35 +0000 (13:12 +0200)]
another way to write echo program
widmogrod [Sun, 25 Jun 2017 20:40:12 +0000 (22:40 +0200)]
Improve signatures
widmogrod [Sun, 25 Jun 2017 19:19:28 +0000 (21:19 +0200)]
Fix typo
widmogrod [Sun, 25 Jun 2017 19:16:50 +0000 (21:16 +0200)]
Small improvements in code quality
widmogrod [Wed, 14 Jun 2017 13:25:17 +0000 (15:25 +0200)]
Remove var_dump
widmogrod [Sun, 11 Jun 2017 20:43:21 +0000 (22:43 +0200)]
Free Monad in PHP. First implementation
Gabriel Habryn [Sat, 4 Feb 2017 22:02:46 +0000 (23:02 +0100)]
Merge pull request #53 from mattjmattj/fix/travis-hhvm
Fix travis build on HHVM
Matthias Jouan [Sat, 4 Feb 2017 14:37:50 +0000 (14:37 +0000)]
Fix travis build on HHVM
Travis build fails because no HHVM version is specified, travis then tries
to build on a pretty old 3.3 version. Unfortunately, php-cs-fixer conflicts
with HHVM prior to version 3.9.
In this commit, we force an Ubuntu trusty in order to be able to choose a more
recent HHVM version, and set it to 3.12.
see https://docs.travis-ci.com/user/languages/php/#HHVM-versions for further details
Gabriel Habryn [Thu, 5 Jan 2017 20:53:25 +0000 (21:53 +0100)]
Merge pull request #51 from widmogrod/feature/cs-fixer
update php-cs-fixer
widmogrod [Thu, 5 Jan 2017 20:39:23 +0000 (21:39 +0100)]
update php-cs-fixer
Gabriel Habryn [Sat, 29 Oct 2016 19:41:36 +0000 (21:41 +0200)]
Merge pull request #44 from widmogrod/feature/reuse-listt
Slowly introduce listt instead of native php array
widmogrod [Sun, 23 Oct 2016 22:45:04 +0000 (00:45 +0200)]
Slowly introduce listt instead of native php array
Gabriel Habryn [Mon, 24 Oct 2016 12:15:08 +0000 (14:15 +0200)]
Merge pull request #43 from widmogrod/feature/improve-next
Fix traversable issue #30
widmogrod [Sun, 23 Oct 2016 22:42:08 +0000 (00:42 +0200)]
Fix traversable issue #30
Gabriel Habryn [Sat, 22 Oct 2016 22:49:19 +0000 (00:49 +0200)]
Merge pull request #40 from widmogrod/feature/improve-next
Fix reader monad test for php 7.1
widmogrod [Sat, 22 Oct 2016 22:47:22 +0000 (00:47 +0200)]
make tests for php 7.1 mandatory
widmogrod [Sat, 22 Oct 2016 22:44:06 +0000 (00:44 +0200)]
Fix reader monad test for php 7.1
Gabriel Habryn [Sat, 22 Oct 2016 22:39:22 +0000 (00:39 +0200)]
Merge pull request #39 from widmogrod/feature/pure
Improve list applicative
widmogrod [Sat, 22 Oct 2016 22:35:34 +0000 (00:35 +0200)]
Update dockblock
widmogrod [Sat, 22 Oct 2016 22:29:20 +0000 (00:29 +0200)]
Listt appliactive has now valid implementation
Gabriel Habryn [Sat, 22 Oct 2016 21:58:31 +0000 (23:58 +0200)]
Merge pull request #38 from widmogrod/feature/improvements
Checkstype automation
widmogrod [Sat, 22 Oct 2016 21:54:58 +0000 (23:54 +0200)]
allow failures on hhvm
widmogrod [Sat, 22 Oct 2016 21:48:35 +0000 (23:48 +0200)]
standardise code base
widmogrod [Sat, 22 Oct 2016 21:47:42 +0000 (23:47 +0200)]
automate code checking
widmogrod [Sat, 22 Oct 2016 21:43:56 +0000 (23:43 +0200)]
define php-functional .php_cs
widmogrod [Sat, 22 Oct 2016 21:05:04 +0000 (23:05 +0200)]
add cs-fixer
Gabriel Habryn [Sat, 22 Oct 2016 20:57:12 +0000 (22:57 +0200)]
Merge pull request #37 from widmogrod/feature/product
Introduce product primitive
widmogrod [Sat, 22 Oct 2016 20:47:55 +0000 (22:47 +0200)]
allow failures on 7.1
widmogrod [Sat, 22 Oct 2016 20:29:42 +0000 (22:29 +0200)]
add php 7.1 to tests
widmogrod [Sat, 22 Oct 2016 20:27:27 +0000 (22:27 +0200)]
Introduce product primitive
Gabriel Habryn [Sat, 22 Oct 2016 20:24:08 +0000 (22:24 +0200)]
Merge pull request #36 from widmogrod/feature/new-primitives
New primitives
widmogrod [Fri, 21 Oct 2016 23:23:18 +0000 (01:23 +0200)]
Introduce Sum primitive type + tests
widmogrod [Fri, 21 Oct 2016 23:21:20 +0000 (01:21 +0200)]
add Num primitive + test
widmogrod [Fri, 21 Oct 2016 23:21:07 +0000 (01:21 +0200)]
add missing file in composer
widmogrod [Fri, 21 Oct 2016 23:20:43 +0000 (01:20 +0200)]
Remove Primitive interface
widmogrod [Fri, 21 Oct 2016 23:13:21 +0000 (01:13 +0200)]
Fxit typo
Gabriel Habryn [Sat, 22 Oct 2016 20:20:18 +0000 (22:20 +0200)]
Merge pull request #32 from krtek4/reader_and_writer
Reader and Writer monads. closes #28.
Gilles Crettenand [Sat, 22 Oct 2016 12:01:35 +0000 (14:01 +0200)]
update README
Gilles Crettenand [Fri, 21 Oct 2016 23:06:56 +0000 (01:06 +0200)]
fix coding style and typo
Gilles Crettenand [Fri, 21 Oct 2016 23:06:48 +0000 (01:06 +0200)]
simplify ap implementation
Gilles Crettenand [Fri, 21 Oct 2016 23:06:08 +0000 (01:06 +0200)]
ensure we get a callable
Gilles Crettenand [Fri, 21 Oct 2016 23:05:44 +0000 (01:05 +0200)]
use call_user_func as the other way fails on older PHP version
Gilles Crettenand [Fri, 21 Oct 2016 23:05:10 +0000 (01:05 +0200)]
fixup! replace StringMonoid with Stringg and explicitely require a Monoid
Gilles Crettenand [Fri, 21 Oct 2016 23:04:23 +0000 (01:04 +0200)]
replace StringMonoid with Stringg and explicitely require a Monoid
Gilles Crettenand [Sun, 16 Oct 2016 19:50:42 +0000 (21:50 +0200)]
update README.md and test examples
Gilles Crettenand [Sun, 16 Oct 2016 19:23:51 +0000 (21:23 +0200)]
Writer monad with tests
Gilles Crettenand [Sun, 16 Oct 2016 19:23:35 +0000 (21:23 +0200)]
Reader monad with tests
Gabriel Habryn [Fri, 21 Oct 2016 23:11:05 +0000 (01:11 +0200)]
Merge pull request #34 from widmogrod/feature/collection-should-be-primitiv
Move collection monad as a a List primitive
widmogrod [Fri, 21 Oct 2016 23:02:59 +0000 (01:02 +0200)]
Make examples more precise
widmogrod [Fri, 21 Oct 2016 22:56:54 +0000 (00:56 +0200)]
update readme
widmogrod [Fri, 21 Oct 2016 22:49:12 +0000 (00:49 +0200)]
Adapt monoid laws usage in listt
widmogrod [Thu, 20 Oct 2016 18:54:30 +0000 (20:54 +0200)]
Update readme
widmogrod [Thu, 20 Oct 2016 18:53:35 +0000 (20:53 +0200)]
Listt now implements primitive + Monoid tests
widmogrod [Thu, 20 Oct 2016 18:39:35 +0000 (20:39 +0200)]
Move collection monad as a a List primitive
Gabriel Habryn [Fri, 21 Oct 2016 21:36:05 +0000 (23:36 +0200)]
Merge pull request #35 from widmogrod/feature/new-laws
Setoid laws and simplification of other
widmogrod [Fri, 21 Oct 2016 21:29:45 +0000 (23:29 +0200)]
change test method name
widmogrod [Fri, 21 Oct 2016 21:24:55 +0000 (23:24 +0200)]
adapt pure func call in test for older php versions
widmogrod [Fri, 21 Oct 2016 21:20:54 +0000 (23:20 +0200)]
adapt return func call in test for older php versions
widmogrod [Fri, 21 Oct 2016 21:15:24 +0000 (23:15 +0200)]
adapt assert call in test for older php versions
widmogrod [Fri, 21 Oct 2016 18:04:55 +0000 (20:04 +0200)]
simpify laws helpers even more
widmogrod [Fri, 21 Oct 2016 18:00:35 +0000 (20:00 +0200)]
simpify other laws helpers
widmogrod [Fri, 21 Oct 2016 18:00:20 +0000 (20:00 +0200)]
monoid functions are now curried
widmogrod [Fri, 21 Oct 2016 17:59:55 +0000 (19:59 +0200)]
Add SetoidLaws
Gabriel Habryn [Fri, 21 Oct 2016 21:16:17 +0000 (23:16 +0200)]
Merge pull request #27 from krtek4/foldM
add the `foldM` helper
Gilles Crettenand [Fri, 21 Oct 2016 14:18:00 +0000 (16:18 +0200)]
add test for empty array and traversable
Gilles Crettenand [Fri, 21 Oct 2016 14:06:21 +0000 (16:06 +0200)]
curry the function
Gilles Crettenand [Sat, 15 Oct 2016 08:40:55 +0000 (10:40 +0200)]
add tests for foldM
Gilles Crettenand [Sat, 15 Oct 2016 08:32:48 +0000 (10:32 +0200)]
add the foldM functional helper
Gabriel Habryn [Fri, 21 Oct 2016 21:07:53 +0000 (23:07 +0200)]
Merge pull request #26 from krtek4/filterM
add the `filterM` helper
Gilles Crettenand [Fri, 21 Oct 2016 14:25:57 +0000 (16:25 +0200)]
call of statically
Gilles Crettenand [Fri, 21 Oct 2016 14:22:07 +0000 (16:22 +0200)]
curry the function filterM
Gilles Crettenand [Fri, 21 Oct 2016 14:20:35 +0000 (16:20 +0200)]
add test for empty array and traversable
Gilles Crettenand [Fri, 21 Oct 2016 14:17:32 +0000 (16:17 +0200)]
tail: implementation for \Traversable
Gilles Crettenand [Sat, 15 Oct 2016 08:46:16 +0000 (10:46 +0200)]
add tests for filterM
Gilles Crettenand [Sat, 15 Oct 2016 08:30:08 +0000 (10:30 +0200)]
add the filterM functional helper
Gabriel Habryn [Thu, 20 Oct 2016 18:22:24 +0000 (20:22 +0200)]
Merge pull request #33 from widmogrod/feature/primitive-concept
Introduce higher order primitive values concept
widmogrod [Thu, 20 Oct 2016 17:56:34 +0000 (19:56 +0200)]
rename mappend -> concatM & mempty -> emptyM