Cameron Ball [Tue, 8 Jan 2019 07:09:25 +0000 (15:09 +0800)]
Update README
Gabriel Habryn [Wed, 13 Jun 2018 23:28:53 +0000 (01:28 +0200)]
Merge pull request #95 from widmogrod/feature/algorith-w-move-out
Move AlgorithmW implementation
widmogrod [Wed, 13 Jun 2018 23:24:28 +0000 (01:24 +0200)]
Move AlgorithmW implementation
Gabriel Habryn [Wed, 13 Jun 2018 22:09:18 +0000 (00:09 +0200)]
Merge pull request #94 from widmogrod/feature/algorithm-w
Algorithm W
widmogrod [Wed, 13 Jun 2018 21:08:43 +0000 (23:08 +0200)]
Finish AlgorithmW implementation
widmogrod [Wed, 13 Jun 2018 21:08:03 +0000 (23:08 +0200)]
match now support `any` and multiple patterns
widmogrod [Wed, 13 Jun 2018 21:06:54 +0000 (23:06 +0200)]
ListtNil works nicely with function based on Iterator
widmogrod [Mon, 11 Jun 2018 11:07:22 +0000 (13:07 +0200)]
Infer type for EAbs
widmogrod [Sun, 10 Jun 2018 22:03:27 +0000 (00:03 +0200)]
Print expression
widmogrod [Sun, 10 Jun 2018 19:33:30 +0000 (21:33 +0200)]
Naive implementation of Map and Set
widmogrod [Sun, 3 Jun 2018 18:48:16 +0000 (20:48 +0200)]
Test cases now have "expected"
widmogrod [Sun, 3 Jun 2018 18:12:22 +0000 (20:12 +0200)]
Update CodeClimate badges
widmogrod [Fri, 1 Jun 2018 19:51:30 +0000 (21:51 +0200)]
Reorder imports
widmogrod [Fri, 1 Jun 2018 19:49:55 +0000 (21:49 +0200)]
Algorithm W - implementation continues
widmogrod [Fri, 1 Jun 2018 19:49:02 +0000 (21:49 +0200)]
Maybe now can be pattern matched
Gabriel Habryn [Sat, 24 Feb 2018 18:22:26 +0000 (19:22 +0100)]
Merge pull request #93 from widmogrod/feature/refactor
refactor parser tests
widmogrod [Sat, 24 Feb 2018 18:14:40 +0000 (19:14 +0100)]
Fix code style
widmogrod [Sat, 24 Feb 2018 18:14:24 +0000 (19:14 +0100)]
Refactor examples, to compare generate code much more nicer
widmogrod [Sun, 18 Feb 2018 21:40:57 +0000 (22:40 +0100)]
Going further into madness. Generate PHP code form haskell's data
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