Edsko de Vries
|
2bf292e2e5
|
Merge pull request #6 from BeFunctional/edsko/simplify-external
Simplify the external API
|
2023-03-29 13:43:18 +02:00 |
|
Edsko de Vries
|
d94cc0bd44
|
Simplify the external API
|
2023-03-29 13:39:27 +02:00 |
|
Edsko de Vries
|
6c9b2fed2c
|
Merge pull request #5 from BeFunctional/edsko/improve-external
Improve external buffer API
|
2023-03-29 13:28:39 +02:00 |
|
Edsko de Vries
|
3564134777
|
Improve external buffer API
|
2023-03-29 13:03:02 +02:00 |
|
Edsko de Vries
|
b4b00f16ee
|
Merge pull request #4 from BeFunctional/edsko/external
API for working with external buffers
|
2023-03-29 10:39:28 +02:00 |
|
Edsko de Vries
|
6315bad3ce
|
API for working with external buffers
|
2023-03-29 10:38:39 +02:00 |
|
Edsko de Vries
|
04f00f547b
|
Merge pull request #3 from BeFunctional/edsko/haskell-max-size
Introduce `HaskellMaxSize`
|
2023-03-22 11:07:49 +00:00 |
|
Edsko de Vries
|
a31fc62ac4
|
Introduce HaskellMaxSize
|
2023-03-22 12:05:14 +01:00 |
|
Edsko de Vries
|
792680d016
|
Merge pull request #2 from BeFunctional/edsko/generalize-error
Use `std::error::Error` (not `std::io::Error`)
|
2023-03-21 15:43:10 +00:00 |
|
Edsko de Vries
|
7685f363e2
|
Use std::error::Error (not std::io::Error)
This makes client code a bit easier to write, since we can then use `?;` in
more situations to just cast any kind of error.
|
2023-03-21 16:00:58 +01:00 |
|
Edsko de Vries
|
f034cbe5d9
|
Merge pull request #1 from BeFunctional/edsko/marshall-result
Introduce `marshall_result_to_haskell_var`
|
2023-03-21 11:59:17 +00:00 |
|
Edsko de Vries
|
f406ec34a3
|
Introduce marshall_result_to_haskell_var
|
2023-03-21 12:51:32 +01:00 |
|
Edsko de Vries
|
c46977354d
|
Initial push
|
2023-03-17 09:22:04 +01:00 |
|
BefunctionalRepos
|
d1327c45f4
|
Initial commit
|
2023-01-23 09:06:17 +00:00 |
|