909f7c3bce
fix: linter bugs
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2024-02-07 10:07:37 +01:00
59381c1e50
fix: some internal refactorings
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2024-02-06 21:35:33 +01:00
02ec50c91d
fix: attempt to expose Monad as an interface
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2024-02-05 12:29:45 +01:00
668eb85aea
fix: some smaller optimizations
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2024-02-01 09:08:31 +01:00
7d3759619c
Add Do notation support and Bind to Monads ( #100 )
...
* fix: implement bind, let, apS for serveral monads
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
* fix: implement bind for maps
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
* fix: implement do notation for more monads
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
* fix: add bind to more monads
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
* fix: add Do and Bind support to Monads
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
---------
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2024-01-31 21:34:46 +01:00
1e1411c003
fix: add LogJson
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2024-01-15 10:46:50 +01:00
36eefbcd27
fix: name the endomorphism for the Y combinator
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-12-22 14:41:55 +01:00
973138c822
fix: add prepend method
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-12-21 16:46:47 +01:00
5fcd0b1595
fix: use endomorphism
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-12-17 12:34:15 +01:00
8bb006c741
fix: add a uniq method to arrays ( #88 )
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-11-30 09:03:16 +01:00
211340952b
Dependency injection ( #81 )
...
* fix: checkin
Signed-off-by: Carsten Leue <carsten.leue@de.ibm.com >
* fix: add initial DI implementation
Signed-off-by: Carsten Leue <carsten.leue@de.ibm.com >
* fix: add multi provider
Signed-off-by: Carsten Leue <carsten.leue@de.ibm.com >
* fix: simplify DI implementation
Signed-off-by: Carsten Leue <carsten.leue@de.ibm.com >
* fix: simplify provider
Signed-off-by: Carsten Leue <carsten.leue@de.ibm.com >
* fix: add Switch to function package
Signed-off-by: Carsten Leue <carsten.leue@de.ibm.com >
* fix: add DI
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
---------
Signed-off-by: Carsten Leue <carsten.leue@de.ibm.com >
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-11-25 16:56:39 +01:00
c0b16c675b
fix: add reduce and filter ( #79 )
...
Signed-off-by: Carsten Leue <carsten.leue@de.ibm.com >
2023-11-11 16:50:18 +01:00
e9f9c2777f
fix: change order of generics for flap
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-10-10 22:40:59 +02:00
5f25317f97
fix: provide AltMonoid
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-10-06 21:50:22 +02:00
1cd167541d
fix: add flap and non empty array
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-09-26 22:32:53 +02:00
ff1b6faf84
fix: order of parameters in optics
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-09-10 21:49:44 +02:00
d5d89b1853
fix: add runtime type validation
...
Signed-off-by: Carsten Leue <carsten.leue@de.ibm.com >
2023-08-24 22:49:03 +02:00
0f061a5099
fix: initial implementation of types
...
Signed-off-by: Carsten Leue <carsten.leue@de.ibm.com >
2023-08-22 22:34:05 +02:00
ee4e936183
fix: add array examples
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-08-11 22:31:36 +02:00
1b1dccc551
fix: implement FoldMap
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-08-10 18:08:11 +02:00
c0028918ae
fix: implement FilterChain
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-08-10 11:46:30 +02:00
e4fd34a6b5
fix: add Zip and ZipWith to iterators
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-08-03 13:27:41 +02:00
94bcfde0d3
fix: add missing array traversal to either
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-07-28 22:50:52 +02:00
47a6d3c177
fix: auto generate more sequence operations
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-07-27 22:39:38 +02:00
1713de0c3e
fix: introduce stateless iterator
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-07-24 16:43:07 +02:00
7476b70a23
fix: add optics and consistent copyright
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-07-23 22:05:54 +02:00
9e32acf551
fix: auto generate SequenceT for ReaderIOEither
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-07-20 16:17:23 +02:00
b25de3c7c3
doc: fix case
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-07-18 15:57:54 +02:00
5020437b6a
fix: add ioeither
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-07-14 17:30:58 +02:00
e350f70659
fix: order of parameters on Ap
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-07-14 13:20:00 +02:00
c07df5c771
initial checkin
...
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com >
2023-07-07 22:31:06 +02:00