Gabriel Habryn [Sun, 18 Feb 2018 18:08:22 +0000 (19:08 +0100)]
Merge pull request #92 from widmogrod/feature/fantasy-land
Use FunctionalPHP\FantasyLand
widmogrod [Sun, 18 Feb 2018 18:03:26 +0000 (19:03 +0100)]
Use FunctionalPHP\FantasyLand
Gabriel Habryn [Sun, 18 Feb 2018 17:50:32 +0000 (18:50 +0100)]
Merge pull request #90 from widmogrod/feature/space
parser - pushing it forward
widmogrod [Sun, 18 Feb 2018 17:43:21 +0000 (18:43 +0100)]
endByP - combinator for parser
widmogrod [Sun, 11 Feb 2018 17:07:40 +0000 (18:07 +0100)]
automatic code fix
widmogrod [Sun, 11 Feb 2018 16:56:28 +0000 (17:56 +0100)]
type parser
widmogrod [Sun, 11 Feb 2018 00:54:57 +0000 (01:54 +0100)]
Parser can now parse grouped types
widmogrod [Sun, 11 Feb 2018 00:47:10 +0000 (01:47 +0100)]
WIP with parser
widmogrod [Sun, 11 Feb 2018 00:45:38 +0000 (01:45 +0100)]
self_accessor - considered harmful
widmogrod [Sun, 11 Feb 2018 00:45:12 +0000 (01:45 +0100)]
introduce lt predicate (<)
widmogrod [Sun, 11 Feb 2018 00:44:57 +0000 (01:44 +0100)]
introduce dropWhile function + test
widmogrod [Wed, 31 Jan 2018 22:52:48 +0000 (23:52 +0100)]
add space
Gabriel Habryn [Sat, 17 Feb 2018 20:50:24 +0000 (21:50 +0100)]
Merge pull request #91 from widmogrod/widmogrod-patch-1
Update CONTRIBUTING.md
Gabriel Habryn [Sat, 17 Feb 2018 20:46:13 +0000 (21:46 +0100)]
Update CONTRIBUTING.md
Gabriel Habryn [Tue, 30 Jan 2018 22:39:13 +0000 (23:39 +0100)]
Merge pull request #89 from widmogrod/feature/calculator-free
More applications of Free Monad
widmogrod [Tue, 30 Jan 2018 22:35:46 +0000 (23:35 +0100)]
Update readme
widmogrod [Tue, 30 Jan 2018 22:24:20 +0000 (23:24 +0100)]
Introduce parser that build AST from Free Monad
widmogrod [Tue, 30 Jan 2018 22:23:31 +0000 (23:23 +0100)]
Either\fromLeft Either\fromRight
widmogrod [Tue, 30 Jan 2018 22:22:43 +0000 (23:22 +0100)]
introduce span function
widmogrod [Tue, 16 Jan 2018 22:47:53 +0000 (23:47 +0100)]
Naive calculator - that also includes optimization of FreeMonad
Gabriel Habryn [Tue, 2 Jan 2018 16:26:06 +0000 (17:26 +0100)]
Merge pull request #88 from widmogrod/feature/readme-update
Readme improvements
Gabriel Habryn [Tue, 2 Jan 2018 16:23:35 +0000 (17:23 +0100)]
#80 Section about book Functional PHP by Gilles Crettenand
widmogrod [Tue, 2 Jan 2018 15:58:14 +0000 (16:58 +0100)]
Functional PHP book cover
widmogrod [Tue, 2 Jan 2018 15:57:20 +0000 (16:57 +0100)]
Add information about check style automated fixing
widmogrod [Tue, 2 Jan 2018 15:55:58 +0000 (16:55 +0100)]
Remove changelog
widmogrod [Tue, 2 Jan 2018 15:55:24 +0000 (16:55 +0100)]
Update readme with doo notation
Gabriel Habryn [Tue, 2 Jan 2018 13:35:51 +0000 (14:35 +0100)]
Merge pull request #87 from widmogrod/feature/free-example
Use free monad to design - haskell like do notation in PHP
widmogrod [Mon, 1 Jan 2018 22:36:50 +0000 (23:36 +0100)]
Clean up interpretation code
widmogrod [Mon, 1 Jan 2018 22:15:08 +0000 (23:15 +0100)]
Introduce contra example - how control flow looks like without do notation
Introduce contr example - how control flow looks like without do notation
widmogrod [Mon, 1 Jan 2018 22:05:31 +0000 (23:05 +0100)]
Working implementation of Haskell do notation in PHP
widmogrod [Mon, 1 Jan 2018 21:54:53 +0000 (22:54 +0100)]
Use free monad to design - haskell like do notation
Gabriel Habryn [Sat, 30 Dec 2017 21:08:36 +0000 (22:08 +0100)]
Merge pull request #85 from widmogrod/feature/make-list-more-lazy
Small refactoring
widmogrod [Fri, 29 Dec 2017 23:18:52 +0000 (00:18 +0100)]
Maybe is not foldable
widmogrod [Fri, 29 Dec 2017 22:32:55 +0000 (23:32 +0100)]
Improve type hints
widmogrod [Fri, 29 Dec 2017 22:18:14 +0000 (23:18 +0100)]
ListtConst::of now only puts value into context (as it should)
Gabriel Habryn [Thu, 28 Dec 2017 23:34:29 +0000 (00:34 +0100)]
Merge pull request #84 from widmogrod/feature/fix-io
Feature/fix io
widmogrod [Thu, 28 Dec 2017 23:25:55 +0000 (00:25 +0100)]
Make Primitive\Sum tests much more nicer
widmogrod [Thu, 28 Dec 2017 23:23:56 +0000 (00:23 +0100)]
Make Primitive\Num tests much more nicer
widmogrod [Thu, 28 Dec 2017 23:22:43 +0000 (00:22 +0100)]
Make Primitive\Product tests much more nicer
widmogrod [Thu, 28 Dec 2017 23:18:21 +0000 (00:18 +0100)]
remove curry from laws tests
widmogrod [Thu, 28 Dec 2017 23:16:55 +0000 (00:16 +0100)]
Make Stringg tests much more nicer
widmogrod [Thu, 28 Dec 2017 23:06:25 +0000 (00:06 +0100)]
Fix IO\getArgs() use now Listt
Gabriel Habryn [Sun, 24 Dec 2017 00:06:09 +0000 (01:06 +0100)]
Merge pull request #83 from widmogrod/feature/aline-comments
align comments
widmogrod [Sat, 23 Dec 2017 21:25:12 +0000 (22:25 +0100)]
Update interface of Traversable
widmogrod [Sat, 23 Dec 2017 21:24:57 +0000 (22:24 +0100)]
Remove getEmpty() methods
widmogrod [Sat, 23 Dec 2017 21:21:51 +0000 (22:21 +0100)]
Update interface of Setoid
widmogrod [Sat, 23 Dec 2017 21:19:30 +0000 (22:19 +0100)]
Simplify FantasyLand\Monoid instance
widmogrod [Sat, 23 Dec 2017 21:10:20 +0000 (22:10 +0100)]
Update interface of Apply
widmogrod [Sat, 23 Dec 2017 21:07:26 +0000 (22:07 +0100)]
Update map & bind signatures
widmogrod [Sat, 23 Dec 2017 20:46:32 +0000 (21:46 +0100)]
Update interface of Functor
widmogrod [Sat, 23 Dec 2017 20:31:58 +0000 (21:31 +0100)]
Update interface of Semigroup
widmogrod [Sat, 23 Dec 2017 20:04:03 +0000 (21:04 +0100)]
align comments
Gabriel Habryn [Thu, 21 Dec 2017 21:49:31 +0000 (22:49 +0100)]
Merge pull request #76 from widmogrod/feature/strict_types
declare(strict_types=1)
widmogrod [Thu, 21 Dec 2017 21:43:43 +0000 (22:43 +0100)]
declare(strict_types=1)
Gabriel Habryn [Thu, 21 Dec 2017 21:31:23 +0000 (22:31 +0100)]
Merge pull request #75 from widmogrod/feature/increase-code-cov
Feature/increase code cov
widmogrod [Thu, 21 Dec 2017 21:24:44 +0000 (22:24 +0100)]
Make tests more deterministic
widmogrod [Thu, 21 Dec 2017 21:17:25 +0000 (22:17 +0100)]
Remove experimental Monad\Control\doo
widmogrod [Thu, 21 Dec 2017 21:13:43 +0000 (22:13 +0100)]
Add SetoidLaws for Stringg
widmogrod [Thu, 21 Dec 2017 21:12:15 +0000 (22:12 +0100)]
Improve code coverage for Sum
widmogrod [Thu, 21 Dec 2017 21:12:06 +0000 (22:12 +0100)]
Improve code coverage for String
widmogrod [Thu, 21 Dec 2017 21:11:54 +0000 (22:11 +0100)]
Improve code coverage for Product
Gabriel Habryn [Thu, 21 Dec 2017 21:03:04 +0000 (22:03 +0100)]
Merge pull request #74 from widmogrod/feature/code-climat
Update CodeClimat integration
widmogrod [Thu, 21 Dec 2017 20:57:20 +0000 (21:57 +0100)]
Generate code coverage properly
widmogrod [Thu, 21 Dec 2017 20:49:19 +0000 (21:49 +0100)]
Generate code coverage properly
widmogrod [Thu, 21 Dec 2017 20:34:13 +0000 (21:34 +0100)]
Generate code coverage properly
widmogrod [Thu, 21 Dec 2017 20:24:39 +0000 (21:24 +0100)]
Upload code coverage manually
widmogrod [Thu, 21 Dec 2017 20:07:09 +0000 (21:07 +0100)]
Update CodeClimat integration
Gabriel Habryn [Thu, 21 Dec 2017 19:44:58 +0000 (20:44 +0100)]
Merge pull request #72 from widmogrod/feature/list-standardisation
List standardisation - wip
widmogrod [Thu, 21 Dec 2017 19:38:35 +0000 (20:38 +0100)]
Update tests to phpunit=6
widmogrod [Thu, 21 Dec 2017 18:47:12 +0000 (19:47 +0100)]
Update tests to phpunit=6
widmogrod [Thu, 21 Dec 2017 18:37:01 +0000 (19:37 +0100)]
Functional\constt test + implementation
widmogrod [Thu, 21 Dec 2017 18:30:34 +0000 (19:30 +0100)]
Update function docbloc
widmogrod [Thu, 21 Dec 2017 18:25:03 +0000 (19:25 +0100)]
Remove functions that are not needed yet.
widmogrod [Thu, 21 Dec 2017 18:11:00 +0000 (19:11 +0100)]
Functional\cycle tests
widmogrod [Thu, 21 Dec 2017 18:01:28 +0000 (19:01 +0100)]
Functional\replicate tests + implementation
widmogrod [Thu, 21 Dec 2017 17:58:19 +0000 (18:58 +0100)]
Functional\iterate tests
widmogrod [Thu, 21 Dec 2017 17:53:38 +0000 (18:53 +0100)]
Functional\unzip make to work on infinite lists
widmogrod [Thu, 21 Dec 2017 17:28:23 +0000 (18:28 +0100)]
Functional\zip make to work on infinite lists
widmogrod [Thu, 21 Dec 2017 17:19:19 +0000 (18:19 +0100)]
Improve operations on lists to make them lazy always
widmogrod [Thu, 21 Dec 2017 16:55:28 +0000 (17:55 +0100)]
Functional\take & drop can work on infinite lists
widmogrod [Thu, 21 Dec 2017 16:54:49 +0000 (17:54 +0100)]
Update thrown exception docblock
widmogrod [Thu, 21 Dec 2017 16:54:23 +0000 (17:54 +0100)]
Functional\repeat test + implementation
widmogrod [Thu, 21 Dec 2017 15:40:45 +0000 (16:40 +0100)]
Functional\drop test + implementation
widmogrod [Thu, 21 Dec 2017 15:33:15 +0000 (16:33 +0100)]
Functional\take test + implementation
widmogrod [Thu, 21 Dec 2017 12:30:30 +0000 (13:30 +0100)]
Replace all Listt::mempty() with fromNil
widmogrod [Thu, 21 Dec 2017 12:26:08 +0000 (13:26 +0100)]
Refactor remaining call_user_func_array
widmogrod [Thu, 21 Dec 2017 12:19:36 +0000 (13:19 +0100)]
Introduce Functional\fromNil - produce empty list
widmogrod [Thu, 21 Dec 2017 01:47:48 +0000 (02:47 +0100)]
Functional\unzip tests
widmogrod [Thu, 21 Dec 2017 01:41:02 +0000 (02:41 +0100)]
Make Listt lazy
widmogrod [Wed, 20 Dec 2017 20:59:20 +0000 (21:59 +0100)]
Refactor listt
widmogrod [Wed, 20 Dec 2017 20:59:09 +0000 (21:59 +0100)]
Introduce new functions tail, head, length
widmogrod [Wed, 20 Dec 2017 20:58:46 +0000 (21:58 +0100)]
Functional\tail test
widmogrod [Wed, 20 Dec 2017 20:58:36 +0000 (21:58 +0100)]
Functional\length test
widmogrod [Wed, 20 Dec 2017 20:58:22 +0000 (21:58 +0100)]
Functional\head test
widmogrod [Wed, 20 Dec 2017 18:47:54 +0000 (19:47 +0100)]
Rename Monad\Free2 to Monad\Free
widmogrod [Wed, 20 Dec 2017 18:44:00 +0000 (19:44 +0100)]
Refactor function match and introduce PatternMatcher
widmogrod [Wed, 20 Dec 2017 17:58:48 +0000 (18:58 +0100)]
Functional\applicator tests
widmogrod [Wed, 20 Dec 2017 17:52:05 +0000 (18:52 +0100)]
Functional\valueOf tests
widmogrod [Wed, 20 Dec 2017 17:44:42 +0000 (18:44 +0100)]
Simplify Functional\tee
widmogrod [Wed, 20 Dec 2017 17:42:55 +0000 (18:42 +0100)]
Functiona\reverse tests