anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
442 stars 54 forks source link

Add lcomposition fixity to support (>>) in the stdlib #2847

Closed paulcadman closed 1 week ago

paulcadman commented 1 week ago

The stdlib composition function has fixity composition which means it is right associative.

We will rename to << in the stdlib and add a new function:

>> {a b c} : (a -> b) -> (b -> c) -> a -> c

for consistency with << this should be left associative.

This is not a breaking change to package-base so we don't need to increment the version number.