base
base copied to clipboard
unisonweb
Unison base libraries
The CONTRIBUTING.md doc is pretty outdated. it should be updated considering ucm updates and base moving to Share. It should probably be pretty concise and link to relevant material on...
# Problem/background Many of the functions related to ranges in base are exclusive on the upper bound, which always makes me think a bit harder, and I suspect that it...
Currently chicken scratch, but @SystemFw was noting some awkwardness with collecting up multiple assertions without failing fast, in a single run. We could do something like this, which also lets...
Both the [Process docs](https://share.unison-lang.org/@unison/base/code/releases/2.6.1/latest/types/IO/Process) and the [Process.start](https://share.unison-lang.org/@unison/base/code/releases/2.6.1/latest/terms/@@IO.process.start) docs claim that when the process finishes the handles will be closed, but that does not seem to be the case: ``` main...
This is a fun one that I just ran into. What is the result of this watch expression? ``` > Stream.fromList ["foo", "bar"] |> Stream.flatMap (s -> Stream.fromList (toCharList s))...
As a consequence of universal equality in Unison, making a set of sets does not behave correctly: ```haskell s1 = List.range 1 10 |> Set.fromList s2 = List.range 1 10...
I would like to generate a `Nat` with an inclusive upper value of `maxNat`. Is there a straightforward way to do that currently? Since `natIn lower upper` is exclusive on...
We have some functions that return `Either Text a`, others that return `Either Failure a`, and others that require `{Exception}`. I think `Either Text a` is right out, just replace...
It feels a little odd to me that `Pretty` is in base but there doesn't really seem to be any way to render it to `Text`. Should a render exist...
The comparison and equality operations in the `Universal` namespace are not adequate for `List`, `Map`, `Set`, `Tuple`, etc. Given that we don't have type classes in Unison yet, we need...
