Edsko de Vries
|
90b1c210ae
|
Merge pull request #10 from BeFunctional/edsko/improve-external
Improve external buffer API
|
2023-03-29 13:46:25 +02:00 |
|
Edsko de Vries
|
6e245576e8
|
Improve external buffer API
|
2023-03-29 13:41:31 +02:00 |
|
Edsko de Vries
|
452fce4ea5
|
Merge pull request #9 from BeFunctional/edsko/external
API for working with external buffers
|
2023-03-29 10:45:23 +02:00 |
|
Edsko de Vries
|
8994f68c3b
|
API for working with external buffers
|
2023-03-29 10:35:58 +02:00 |
|
Edsko de Vries
|
0bdbb0f1cb
|
Merge pull request #8 from BeFunctional/edsko/show-json
Show instance for JSON
|
2023-03-23 17:33:35 +00:00 |
|
Edsko de Vries
|
8aeada3529
|
Show instance for JSON
|
2023-03-23 18:27:59 +01:00 |
|
Edsko de Vries
|
1c5fef5162
|
Merge pull request #7 from BeFunctional/edsko/remove-failure-wrappers
More consistent treatment of `Failure`
|
2023-03-23 17:13:58 +00:00 |
|
Edsko de Vries
|
97504b714c
|
More consistent treatment of `Failure`
|
2023-03-23 18:09:03 +01:00 |
|
Edsko de Vries
|
c28efafcb6
|
Merge pull request #6 from BeFunctional/edsko/structured-floating
Structured.Show instance for float/double
|
2023-03-23 15:41:47 +00:00 |
|
Edsko de Vries
|
d4a2e49173
|
Structured.Show instance for float/double
|
2023-03-23 16:35:04 +01:00 |
|
Edsko de Vries
|
8f736dd4c4
|
Merge pull request #5 from BeFunctional/edsko/drop-annotation
Introduce `dropAnnotation`
|
2023-03-23 13:44:44 +00:00 |
|
Edsko de Vries
|
929dcd01c8
|
Introduce `dropAnnotation`
This relies on some fairly intricate `generics-sop` code, which we might be
able to upstream. See https://github.com/well-typed/generics-sop/issues/163 .
|
2023-03-23 14:35:50 +01:00 |
|
Edsko de Vries
|
4e65e10b96
|
Merge pull request #4 from BeFunctional/edsko/export-withBorshBufferOfInitSize
Export `withBorshBufferOfInitSize`
|
2023-03-23 10:13:07 +00:00 |
|
Edsko de Vries
|
3d24066eb6
|
Export `withBorshBufferOfInitSize`
|
2023-03-23 11:07:44 +01:00 |
|
Edsko de Vries
|
dd3eed5940
|
Merge pull request #3 from BeFunctional/edsko/maxsize
`BorshMaxSize` should work similar to _fixed_ size
|
2023-03-22 11:16:06 +00:00 |
|
Edsko de Vries
|
7e18d48951
|
`BorshMaxSize` should work similar to _fixed_ size
(instead of similiar to variable size, as it was prior to this commit.)
|
2023-03-22 08:18:08 +01:00 |
|
Edsko de Vries
|
f30df93fb5
|
Merge pull request #2 from BeFunctional/edsko/throw-failure
Introduce `throwFailure`
|
2023-03-21 12:26:17 +00:00 |
|
Edsko de Vries
|
5c420970c1
|
Introduce `throwFailure`
|
2023-03-21 13:14:22 +01:00 |
|
Edsko de Vries
|
ad7043bb75
|
Merge pull request #1 from BeFunctional/edsko/pure-and-io-versions
Distinguish between IO and pure functions
|
2023-03-20 13:01:15 +00:00 |
|
Edsko de Vries
|
ebb6549319
|
Disable cabal check
|
2023-03-20 13:29:53 +01:00 |
|
Edsko de Vries
|
b9e13b0dbd
|
Distinguish between IO and pure functions
|
2023-03-20 12:36:23 +01:00 |
|
Edsko de Vries
|
6c48f2357f
|
Initial push
|
2023-03-17 16:20:03 +01:00 |
|
BefunctionalRepos
|
9c54a79def
|
Initial commit
|
2023-01-23 09:09:21 +00:00 |