Correl Roush
7745f5ff6a
Fix circular imports in Result and Maybe
...
Result and Maybe include methods for converting themselves into each
other. In order for the forward references to work correctly, the
imports need to be module-only imports.
2019-02-15 13:40:45 -05:00
a340cfea68
Ensure the types are correct for all monad methods
2019-01-03 22:28:41 -05:00
8a25d3904f
Add an infix operator for Applicative.apply
2018-12-11 23:22:35 -05:00
58c8d6841b
Add Result.mapError
2018-12-11 22:19:13 -05:00
Correl Roush
50a26a7b7a
Add Maybe analogues to Result's to/from Maybe methods
2018-12-06 13:31:09 -05:00
Correl Roush
c85f5537ec
Change class parameter in Result.fromMaybe
2018-12-06 13:31:09 -05:00
Correl Roush
c7a5020d89
Add some useful conversion functions
2018-12-03 16:16:04 -05:00
Correl Roush
8c18de5e6f
Ignore coverage on unreachable code branches
...
These code branches should be unreachable in type-safe code.
2018-10-12 15:41:37 -04:00
Correl Roush
68705f25cc
Remove old Monad definition from monads.result
2018-10-12 14:54:03 -04:00
Correl Roush
e21791a8b7
Ignore coverage of repr / base class methods
2018-10-12 14:54:03 -04:00
Correl Roush
1a87d73a5b
Applicative
2018-10-12 14:54:03 -04:00
c71b9d6ff6
Rename methods
...
unit -> pure
fmap -> map
2018-10-11 21:06:23 -04:00
Correl Roush
d38f617ba4
Test that each monad respects monad laws
2018-10-11 12:15:52 -04:00
de53c59732
Organize into a library
2018-10-11 01:26:00 -04:00
