capn | capn allows you to specify hooks when changing directories | Command Line Interface library

Unfortunately, you cannot dynamically add new elements to a list; you have to specify the full size of the list when you first create it. This is a side effect of Cap'n Proto's zero-copy nature. Since the list is allocated in-place directly into the final message buffer, it can't be resized later.

What you can do instead is maintain a map separately and then write the final list as a last step, like:

Interesting - usually GHC tells you its brain exploded if you try something like that. I guess in your case, SomeNat is only an existential, not a true GADT, therefore you don't get the fun error message.

In any case, you need to match a constructor with a case expression instead of a let if you want access to types that are hidden inside the data type.

I think it's at least in part because there's nothing in the definition of Finite that restricts the contained Integer to be within the assumed bounds (0 to n-1): newtype Finite (n :: Nat) = Finite Integer.

reifyNat takes as an argument a function which works for any natural. A function of type forall m. (KnownNat m, n `CmpNat` m ~ 'GT) => Proxy m -> r doesn't work on any natural; it only works on naturals less than some other n.

Since you are calling getFinite to produce the actual value, you know that value is less than n. Unfortunately, you have no way to prove this to the typechecker. Fortunately, you are allowed to tell the typechecker to trust you:

Update: Reinstalling the virtual anaconda environment and specifying the needed packages at the beginning with the conda create command (and not after the virtual env is already created) fixed it somehow!

Your seed array is too small. Get the minimum size like this:

I believe this is how you wanted it to run:

It seems like you are using the v3 server container with the v4 binding libraries.

It is definitely recommended to use v4, so you can try setting up the v4 stack by following the guide at smartgrid.store

That stack assumes you are using kubernetes and ceph, but you can also set up a development deployment using minikube and no ceph, although the documentation is a little thinner there.

To get faster responses, you can also email btrdb@googlegroups.com

EDIT: it does seem like the out of date readme led you astray. I'll update that now. Thanks