Gabriel Habryn [Tue, 10 Nov 2015 00:32:48 +0000 (01:32 +0100)]
Update README.md
Gabriel Habryn [Tue, 10 Nov 2015 00:31:17 +0000 (01:31 +0100)]
Merge pull request #16 from widmogrod/feature/do-monad
Do notation from Haskell in PHP
widmogrod [Tue, 10 Nov 2015 00:28:57 +0000 (01:28 +0100)]
Do notation from Haskell in PHP
widmogrod [Mon, 9 Nov 2015 19:14:12 +0000 (20:14 +0100)]
update readme
widmogrod [Mon, 9 Nov 2015 19:14:02 +0000 (20:14 +0100)]
rename methods in monad\control
widmogrod [Mon, 9 Nov 2015 18:53:01 +0000 (19:53 +0100)]
Add small note to use cases.
widmogrod [Mon, 9 Nov 2015 18:46:07 +0000 (19:46 +0100)]
Fix readme
Gabriel Habryn [Mon, 9 Nov 2015 18:43:00 +0000 (19:43 +0100)]
Merge pull request #15 from widmogrod/feature/functor
Functor test for all monads
widmogrod [Mon, 9 Nov 2015 18:40:46 +0000 (19:40 +0100)]
Functor test for all monads
Gabriel Habryn [Thu, 29 Oct 2015 23:37:09 +0000 (00:37 +0100)]
Merge pull request #14 from widmogrod/feature/cleanup-interfaces
Cleanup docs
widmogrod [Thu, 29 Oct 2015 22:45:41 +0000 (23:45 +0100)]
Cleanup docs
Gabriel Habryn [Thu, 29 Oct 2015 22:32:37 +0000 (23:32 +0100)]
Merge pull request #13 from widmogrod/feature/rename-interfaces
Remove "Interface" word from FantasyLand namespace
widmogrod [Thu, 29 Oct 2015 22:27:27 +0000 (23:27 +0100)]
Remove "Interface" word from FantasyLand namespace
Gabriel Habryn [Thu, 29 Oct 2015 22:07:31 +0000 (23:07 +0100)]
Merge pull request #12 from widmogrod/feature/applicative-laws
Applicative laws in PHP
widmogrod [Thu, 29 Oct 2015 21:49:35 +0000 (22:49 +0100)]
update functions
widmogrod [Thu, 29 Oct 2015 20:07:05 +0000 (21:07 +0100)]
use value instead of function
widmogrod [Thu, 29 Oct 2015 20:03:41 +0000 (21:03 +0100)]
uppgrade version of packages
widmogrod [Thu, 29 Oct 2015 19:53:22 +0000 (20:53 +0100)]
Applicative laws
Gabriel Habryn [Wed, 28 Oct 2015 21:42:03 +0000 (22:42 +0100)]
Merge pull request #11 from widmogrod/feature/test-all-monads
Monad IO utility functions like: until, getChar
widmogrod [Wed, 28 Oct 2015 21:38:07 +0000 (22:38 +0100)]
Monad IO utility functions like: until, getChar
Gabriel Habryn [Sun, 4 Oct 2015 15:36:23 +0000 (17:36 +0200)]
Merge pull request #10 from widmogrod/feature/test-all-monads
Test all monads laws and remove obsolete code
widmogrod [Sun, 4 Oct 2015 15:32:32 +0000 (17:32 +0200)]
remove phpspec.yml
widmogrod [Sun, 4 Oct 2015 15:31:23 +0000 (17:31 +0200)]
remove PHPSpec tests
widmogrod [Sun, 4 Oct 2015 15:28:01 +0000 (17:28 +0200)]
Test IO Monad
widmogrod [Sun, 4 Oct 2015 15:20:12 +0000 (17:20 +0200)]
Test Either Monad
widmogrod [Sun, 4 Oct 2015 15:09:30 +0000 (17:09 +0200)]
remove copy pastle duplication
widmogrod [Sun, 4 Oct 2015 15:08:48 +0000 (17:08 +0200)]
Test Maybe Monad
widmogrod [Sun, 4 Oct 2015 15:06:02 +0000 (17:06 +0200)]
Test Maybe Monad
widmogrod [Sun, 4 Oct 2015 15:04:52 +0000 (17:04 +0200)]
Test Collection Monad
widmogrod [Sun, 4 Oct 2015 15:03:23 +0000 (17:03 +0200)]
Test Identity Monad
Gabriel Habryn [Sun, 4 Oct 2015 11:17:05 +0000 (13:17 +0200)]
Merge pull request #9 from widmogrod/feature/state-monad
State Monad in PHP
widmogrod [Sun, 4 Oct 2015 11:14:30 +0000 (13:14 +0200)]
Update README
widmogrod [Sun, 4 Oct 2015 11:09:17 +0000 (13:09 +0200)]
Create example of a state monad
widmogrod [Sun, 4 Oct 2015 10:57:32 +0000 (12:57 +0200)]
evalState and execState
widmogrod [Sun, 4 Oct 2015 10:50:31 +0000 (12:50 +0200)]
runState function
widmogrod [Sun, 4 Oct 2015 10:47:57 +0000 (12:47 +0200)]
rename variable $state -> $initialState
widmogrod [Sun, 4 Oct 2015 10:47:10 +0000 (12:47 +0200)]
rename method run -> runState
widmogrod [Sun, 4 Oct 2015 10:39:05 +0000 (12:39 +0200)]
update docs on a state functions
widmogrod [Sat, 3 Oct 2015 23:14:07 +0000 (01:14 +0200)]
add state monad tests
widmogrod [Sat, 3 Oct 2015 23:11:31 +0000 (01:11 +0200)]
state monad test
widmogrod [Sat, 3 Oct 2015 22:00:22 +0000 (00:00 +0200)]
refactor some functions
widmogrod [Sat, 3 Oct 2015 20:40:55 +0000 (22:40 +0200)]
express State::ap as a bind & map
widmogrod [Sat, 3 Oct 2015 20:15:33 +0000 (22:15 +0200)]
state monad draft
Gabriel Habryn [Sat, 3 Oct 2015 22:59:56 +0000 (00:59 +0200)]
Merge pull request #8 from widmogrod/feature/monad-laws
Generic test to verify if a monad obey the laws.
widmogrod [Sat, 3 Oct 2015 22:57:01 +0000 (00:57 +0200)]
new line at the end of the file
widmogrod [Sat, 3 Oct 2015 22:53:34 +0000 (00:53 +0200)]
Generic test to verify if a monad obey the laws.
Gabriel Habryn [Sat, 19 Sep 2015 14:11:37 +0000 (16:11 +0200)]
Merge pull request #7 from widmogrod/feature/monoid
Fantasy land compatibility
widmogrod [Fri, 18 Sep 2015 22:54:08 +0000 (00:54 +0200)]
squence implementation + fixed append
widmogrod [Fri, 18 Sep 2015 21:39:09 +0000 (23:39 +0200)]
simplify map for Identity monad
widmogrod [Fri, 18 Sep 2015 21:38:44 +0000 (23:38 +0200)]
use isNativeTraversable
widmogrod [Thu, 17 Sep 2015 22:45:00 +0000 (00:45 +0200)]
TraversableInterface with implementation for Collection Monad
widmogrod [Thu, 17 Sep 2015 22:44:05 +0000 (00:44 +0200)]
Just::map simplified implementation
widmogrod [Wed, 16 Sep 2015 21:58:27 +0000 (23:58 +0200)]
update readme
widmogrod [Wed, 16 Sep 2015 21:48:19 +0000 (23:48 +0200)]
haskell do notation in php added to readme
widmogrod [Wed, 16 Sep 2015 21:45:59 +0000 (23:45 +0200)]
haskell do notation in php added to readme
widmogrod [Wed, 16 Sep 2015 21:43:01 +0000 (23:43 +0200)]
haskell do notation in php
widmogrod [Wed, 16 Sep 2015 21:31:14 +0000 (23:31 +0200)]
add filter function
widmogrod [Tue, 15 Sep 2015 21:50:39 +0000 (23:50 +0200)]
introduce sequenceM a.k.a >>
widmogrod [Tue, 15 Sep 2015 20:08:51 +0000 (22:08 +0200)]
simplify sequence_ implementation
widmogrod [Tue, 15 Sep 2015 20:00:46 +0000 (22:00 +0200)]
rename foldl to reduce
widmogrod [Tue, 15 Sep 2015 18:05:31 +0000 (20:05 +0200)]
IO monad now implements Foldable
widmogrod [Tue, 15 Sep 2015 18:05:05 +0000 (20:05 +0200)]
concatArray renamed to append and sequence_ function
widmogrod [Sat, 12 Sep 2015 14:33:34 +0000 (16:33 +0200)]
update readme
widmogrod [Sat, 12 Sep 2015 14:33:27 +0000 (16:33 +0200)]
new example for maybe monad and collection monad
widmogrod [Sat, 12 Sep 2015 14:24:46 +0000 (16:24 +0200)]
update docblock for some functions
widmogrod [Sat, 12 Sep 2015 14:21:43 +0000 (16:21 +0200)]
update examples basing on Collection Monad
widmogrod [Sat, 12 Sep 2015 14:21:25 +0000 (16:21 +0200)]
collection monad now implements foldable
widmogrod [Sat, 12 Sep 2015 14:20:56 +0000 (16:20 +0200)]
change mining of concat
widmogrod [Sat, 12 Sep 2015 14:19:31 +0000 (16:19 +0200)]
mix maybe functions - missing const and typo
widmogrod [Mon, 31 Aug 2015 16:21:56 +0000 (18:21 +0200)]
refactor liftM2, liftA2
widmogrod [Sun, 23 Aug 2015 22:24:33 +0000 (00:24 +0200)]
tryMaybe
widmogrod [Sun, 23 Aug 2015 22:22:35 +0000 (00:22 +0200)]
IO getArgs getEnv
widmogrod [Sun, 23 Aug 2015 17:51:32 +0000 (19:51 +0200)]
introduce Maybe\maybe function
widmogrod [Sun, 23 Aug 2015 17:51:15 +0000 (19:51 +0200)]
update Functional\bind doc
widmogrod [Sun, 23 Aug 2015 17:49:54 +0000 (19:49 +0200)]
update Functional\map
widmogrod [Sun, 23 Aug 2015 17:49:29 +0000 (19:49 +0200)]
add type signature for ChainInterface::bind
widmogrod [Sat, 22 Aug 2015 22:12:41 +0000 (00:12 +0200)]
Update readme
widmogrod [Sat, 22 Aug 2015 19:13:27 +0000 (21:13 +0200)]
remove IOMonad example
widmogrod [Sat, 22 Aug 2015 18:00:16 +0000 (20:00 +0200)]
IO\writeFile; IO\readFile; IO errors functions
widmogrod [Sat, 22 Aug 2015 17:59:43 +0000 (19:59 +0200)]
functional\tryCatch
widmogrod [Sat, 22 Aug 2015 16:38:42 +0000 (18:38 +0200)]
small either refactoring
widmogrod [Sat, 22 Aug 2015 15:24:46 +0000 (17:24 +0200)]
succeed -> right && fail -> left
widmogrod [Fri, 21 Aug 2015 23:06:00 +0000 (01:06 +0200)]
Helpful\Monad::testMonadLaws
widmogrod [Fri, 21 Aug 2015 22:59:25 +0000 (00:59 +0200)]
more utils functions
widmogrod [Fri, 21 Aug 2015 22:58:56 +0000 (00:58 +0200)]
Monad\IO refactored
widmogrod [Fri, 21 Aug 2015 22:58:23 +0000 (00:58 +0200)]
add docblocks
widmogrod [Fri, 21 Aug 2015 22:57:36 +0000 (00:57 +0200)]
use curry in test
widmogrod [Thu, 20 Aug 2015 22:35:41 +0000 (00:35 +0200)]
lazies of IO::bind
widmogrod [Thu, 20 Aug 2015 22:35:03 +0000 (00:35 +0200)]
spaces
widmogrod [Thu, 20 Aug 2015 22:03:51 +0000 (00:03 +0200)]
reformat IO monad
widmogrod [Thu, 20 Aug 2015 20:03:57 +0000 (22:03 +0200)]
test for tail method
widmogrod [Thu, 20 Aug 2015 19:57:24 +0000 (21:57 +0200)]
flip, tail, head,
widmogrod [Thu, 20 Aug 2015 19:10:45 +0000 (21:10 +0200)]
add Hindley–Milner type system adnotations
widmogrod [Wed, 19 Aug 2015 06:33:48 +0000 (08:33 +0200)]
fromMaybe
widmogrod [Tue, 18 Aug 2015 22:38:52 +0000 (00:38 +0200)]
add constants
widmogrod [Tue, 18 Aug 2015 16:24:16 +0000 (18:24 +0200)]
commit another test
widmogrod [Mon, 17 Aug 2015 12:23:53 +0000 (14:23 +0200)]
f\join
widmogrod [Mon, 17 Aug 2015 00:04:09 +0000 (02:04 +0200)]
IO monad usecase
widmogrod [Sun, 16 Aug 2015 21:25:16 +0000 (23:25 +0200)]
draft of IO Monad
widmogrod [Sun, 16 Aug 2015 20:29:07 +0000 (22:29 +0200)]
rename parameter name of of()