I just felt this need when I wanted to implement bind. Bind is neither a refute or assert. It simply combines two asserts in sequence and it makes sense to declare bind under combinators: referee.combinators.bind.
The same goes for the next version of attr that will not assert but just be a projection
With the new selfdescribing raw asserts this:
could be changed into this:
I just felt this need when I wanted to implement bind. Bind is neither a refute or assert. It simply combines two asserts in sequence and it makes sense to declare bind under combinators:
referee.combinators.bind
.The same goes for the next version of
attr
that will not assert but just be a projection