Daniel Fox Franke
Daniel Fox Franke
This also adds proper prototypes to shut the compiler warnings up.
We spoke on IRC the other day about adding a newtype to represent the multiplicative group of a field. I've since generalized this slightly to separate `Additively` and `Units` types,...
The following `makeBound` invocation chokes: ```haskell {-# LANGUAGE DeriveFunctor, TemplateHaskell #-} import Bound import Bound.Name import Data.Text type Named b = Name Text b data Term v = EVar v...
Chapter 6 in the section "Polymorphism" claims that it is impossible to write a function of type `(a -> b) -> f a -> f b` that doesn't satisfy `forall...
The lmdb `Error` type is exposed via `rkv::error::StoreError::LmdbError`. `rkv` doesn't re-export the `lmdb-rkv` crate, so anyone who wants to use this type has to make `lmdb-rkv` a direct dependency of...
`AsyncReadExt::read_to_string` leaves `buf` empty if it encounters invalid UTF-8. This is inconsistent with the behavior of `std::io::Read::read_to_string`, which will truncate it to original length (i.e. leave it unchanged). Relatedly, the...
This issue is a tour of some scaffolding I wrote for being able to safely access a `SystemTable` as a global variable. Incorporating this would make it possible to turn...
I'm trying to use tarpaulin to get a coverage report for my crate [`hw-exception`](https://docs.rs/hw-exception/latest/hw_exception/). This crate is designed for, among other things, handling and recovering from segfaults. Unsurprisingly, it has...
SIGBUS is similar to SIGSEGV in regards to when it is raised and the sort of special handling required for recovery. I'm planning (haven't started) a `pagefault` crate specifically designed...
Same behavior as the `Monad` instances, but with weaker superclass constraints: `(Alt f, Apply f)` rather than `Alternative f`. It looks like this instance used to exist, but with a...