Dr. Carsten Leue
|
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 |
|
Dr. Carsten Leue
|
5f25317f97
|
fix: provide AltMonoid
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-10-06 21:50:22 +02:00 |
|
Dr. Carsten Leue
|
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 |
|
Dr. Carsten Leue
|
7ef6eb524b
|
fix: add match example
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-09-24 22:15:01 +02:00 |
|
Dr. Carsten Leue
|
a83c2aec49
|
fix: change Cache to Memoize and fix order of parameters to ToType
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-09-10 21:29:01 +02:00 |
|
Dr. Carsten Leue
|
3e0eb99b88
|
fix: order of generic parameters
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-09-08 18:16:06 +02:00 |
|
Carsten Leue
|
d5d89b1853
|
fix: add runtime type validation
Signed-off-by: Carsten Leue <carsten.leue@de.ibm.com>
|
2023-08-24 22:49:03 +02:00 |
|
Dr. Carsten Leue
|
e9f03e2d26
|
fix: add more examples
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-08-11 16:26:15 +02:00 |
|
Dr. Carsten Leue
|
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 |
|
Dr. Carsten Leue
|
b25de3c7c3
|
doc: fix case
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-07-18 15:57:54 +02:00 |
|
Dr. Carsten Leue
|
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 |
|
Dr. Carsten Leue
|
177979354c
|
fix: generate sequenceT
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-07-13 22:24:04 +02:00 |
|
Dr. Carsten Leue
|
b34f3e3ae1
|
fix: add auto generation for Eitherize
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-07-13 16:14:38 +02:00 |
|
Dr. Carsten Leue
|
c169cb42bb
|
fix: use tag to discriminate values
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-07-08 11:21:26 +02:00 |
|
Dr. Carsten Leue
|
c07df5c771
|
initial checkin
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-07-07 22:31:06 +02:00 |
|