|
|
18d005aa92
|
update imports
|
2025-04-17 11:59:33 -05:00 |
|
|
|
d661524857
|
finish refactor
|
2025-04-13 04:45:12 -05:00 |
|
|
|
17a10b92f2
|
finish refactor
|
2025-04-13 04:40:54 -05:00 |
|
|
|
5d7d810d8d
|
update free/list
|
2025-04-13 04:31:29 -05:00 |
|
|
|
cafa3a8fa7
|
change type ref pattern; update type signatures
|
2025-04-12 02:28:18 -05:00 |
|
|
|
19f02031b0
|
wip method typing
|
2025-04-11 18:16:01 -05:00 |
|
|
|
619f24c7dc
|
add reduce derivation; add reduce to Free; fix traverse
|
2025-04-11 16:37:04 -05:00 |
|
|
|
cf3fe66f73
|
types & free reduce
|
2025-04-11 04:03:09 -05:00 |
|
|
|
853601f2c5
|
wip types
|
2025-04-11 00:36:41 -05:00 |
|
|
|
1e09ca655f
|
wip interfaces
|
2025-04-10 04:37:45 -05:00 |
|
|
|
38343d7ec0
|
split monad law tests, add setoid to Option and Result
|
2025-04-09 23:17:38 -05:00 |
|
|
|
48a3670172
|
fix tests
|
2025-04-09 23:00:21 -05:00 |
|
|
|
35aa1c6ae9
|
move interfaces to their own file
|
2025-04-09 22:22:44 -05:00 |
|
|
|
96cc50ad34
|
move functions to own library
|
2025-04-09 02:18:49 -05:00 |
|
|
|
f79a2ca462
|
free refactor
|
2025-04-07 23:05:39 -05:00 |
|
|
|
55be1efee1
|
io wip
|
2025-04-07 03:03:40 -05:00 |
|
|
|
50f3cff3d9
|
List.count
|
2025-04-07 02:30:49 -05:00 |
|
|
|
b2d5ece8f0
|
reader fixes
|
2025-04-06 20:34:12 -05:00 |
|
|
|
1fec16c29c
|
add reader
|
2025-04-06 18:23:53 -05:00 |
|
|
|
6e2f725e7a
|
finished list
|
2025-04-06 15:52:57 -05:00 |
|
|
|
0336213ca9
|
wip cons list
|
2025-04-06 12:50:31 -05:00 |
|
|
|
e213666051
|
allow default interface impl
|
2025-04-05 22:50:38 -05:00 |
|
|
|
699a8e6a7c
|
:3c
|
2025-04-05 22:39:39 -05:00 |
|
|
|
d2051d9086
|
removed unused type from union
|
2025-04-03 16:53:55 -05:00 |
|
|
|
272ffd6c58
|
add disjoint union type
|
2025-04-03 16:53:17 -05:00 |
|
|
|
d8bd69528b
|
im really bad at proofreading orz
|
2025-03-31 21:15:01 -05:00 |
|
|
|
eb2f6d9b15
|
thought of a better way to explain Result
|
2025-03-31 20:50:55 -05:00 |
|
|
|
b271ef2549
|
these god damb backslashes are everywhere
|
2025-03-31 20:50:08 -05:00 |
|
|
|
19826ab203
|
add isSome/isNone; fix more formatting; fix typoes
|
2025-03-31 20:49:12 -05:00 |
|
|
|
8eaf2e5dcc
|
fix some formatting issues
|
2025-03-31 20:46:38 -05:00 |
|
|
|
5726e0d9c3
|
add documentation for each method
|
2025-03-31 20:45:26 -05:00 |
|
|
|
026be017be
|
document isX bifunctor methods
|
2025-03-31 16:53:46 -05:00 |
|
|
|
5461295b0b
|
correct of signature
|
2025-03-31 16:20:36 -05:00 |
|
|
|
a8efdd68ae
|
correct unescaped generic being parsed as an underline tag
|
2025-03-31 16:17:49 -05:00 |
|
|
|
ca5185d719
|
add some more documentation
|
2025-03-31 16:16:59 -05:00 |
|
|
|
c2b63ff779
|
fix Construct<T>, add bimap to result
|
2025-03-31 13:37:15 -05:00 |
|
|
|
34ad493fc5
|
oops remove testing stuff
|
2025-03-31 07:54:07 -05:00 |
|
|
|
9dc971fbf6
|
add annotation to undocumnted inner fn of curry
|
2025-03-31 07:36:23 -05:00 |
|
|
|
1884f59229
|
fix typo in curry type
|
2025-03-31 07:30:46 -05:00 |
|
|
|
27e00bbc11
|
fix type in readme: bind -> chain
|
2025-03-31 05:27:48 -05:00 |
|
|
|
448dcf7856
|
doc cleanup; export curry
|
2025-03-31 05:22:59 -05:00 |
|
|
|
48df37e502
|
documented crimes
|
2025-03-31 05:17:07 -05:00 |
|
|
|
0d29eb50d2
|
crimes!
|
2025-03-31 05:16:22 -05:00 |
|
|
|
a18a759db4
|
refactor
|
2025-03-31 05:10:46 -05:00 |
|
|
|
c951b97dc9
|
update monad/constantmonad definitions
|
2025-03-29 06:37:34 -05:00 |
|
|
|
a2e4231b06
|
rename lift to of
|
2025-03-29 06:32:39 -05:00 |
|
|
|
1402219aad
|
overhaul monad impls
|
2025-03-29 06:09:49 -05:00 |
|
|
|
1224a8382c
|
add readme
|
2025-03-26 21:42:55 -05:00 |
|
|
|
8d525d5392
|
initial commit
|
2025-03-26 21:28:33 -05:00 |
|
