[m-dev.] maybe_error type

Michael Day mikeday at yeslogic.com
Sun Apr 21 11:13:26 AEST 2013


Hi Paul,

> :- type maybe_error(E)
>      --->     ok
>      ;       error(E).

This type is isomorphic to maybe(E), eg. maybe(error), which is shorter 
and just as obvious, I think :)

Cheers,

Michael



More information about the developers mailing list