Manuel Bärenz

See https://github.com/snowleopard/selective/issues/54. I went for the instance isomorphic to the one of `ExceptT`. * [ ] Add some unit tests to see whether the laws hold

Should Validation be a Selective transformer?

2

`Either` naturally generalises as a monad transformer, `ExceptT`, and we've recently established that this is a bona fide `Selective` transformer, meaning that there is a natural instance `Selective f =>...

Dev maybe t

13

See https://github.com/snowleopard/selective/pull/39#issuecomment-1164093318 and https://github.com/snowleopard/selective/issues/37#issuecomment-1162756271

Instances of transformers not needing the Monad constraint?

19

Is there for example an instance: ```haskell instance Selective f => Selective (ReaderT r f a) ```

Integrate into nixpkgs/NixOS

6

In NixOS, there should be a simple option like: ``` cachix = { enable = true; caches = [ jupyterwith etc ]; }; ```

Option -c doesn't work?

3

I'm trying the following: ``` $ cachix -c ~/.config/nix/nix.conf use iohk This user doesn't have permissions to configure binary caches. You can either: a) Run the same command as root...

NifTuple doesn't work with polymorphic structs

5

Small failing example: ```rust use rustler::NifTuple; #[derive(NifTuple)] struct Foo { t: T, t2: T, } fn main() { } ``` ``` error[E0107]: missing generics for struct `Foo` --> src/main.rs:4:8 |...

Dev lifetime bug

9

Work in progress to fix #428

Generic types

8

Fixes #424 . I'm trying to implement support for generic/polymorphic types. Can you give me some feedback whether I'm on the right track? If yes, I'll proceed with the other...

Lifetimes seem broken

2

Prompted by https://github.com/rusterlium/rustler/pull/425#discussion_r803431410 I tried to add tests for lifetimes, but I couldn't do it because I got a compile error: ``` Checking rustler_test v0.1.0 (/home/turion/Nextcloud/e/informatisch/rust/rustler/rustler_tests/native/rustler_test) error[E0261]: use of undeclared...