search

anoma / juvix-stdlib

The Juvix standard library
https://anoma.github.io/juvix-stdlib/
11 stars 2 forks source link

Rename ∘ to << and add >>, |> and <| functions #103

Closed paulcadman closed 5 months ago

paulcadman commented 5 months ago

This PR replaces the unicode composition function name with << and adds similar functions >>, |> and <|. Inspired by elm.

The $ function is now called <|.

The >>> (builtin seq) function is now called >->.

The >> : IO -> IO -> IO function is now called >>>.