search

pragmatrix / Mom

MOnadic Machines: F# computation expressions and combinators for deterministic coordination, simulation, and testing of concurrent processes.
1 stars 0 forks source link

Rename IVR.ofValue to IVR.ret #22

Closed pragmatrix closed 7 years ago

pragmatrix commented 7 years ago

... in accordance to the monadic return function. Sadly IVR.return is can not be used, because it conflicts with the F# return keyword and usually lift seems to be used for lifting non-monadic functions like map but not values.

Also thing about renaming any other IVR.of... function.

Requires #19 to be closed first.

pragmatrix commented 7 years ago

... or IVR.unit even though unit is the void type in F#?

pragmatrix commented 7 years ago

I prefer unit now because basically this function constructs an IVR that will always returns that value, it does not actually return it, but also will keep ofValue for the time being because I don't have any ideas what to do about ofResult and ofError.