[m-dev.] generic result types

[Julien Fischer]

On Wed, 18 Feb 2009, Peter Ross wrote:

> Hi,
>
> Do people think it would be useful to add the following generic types
> to the standard library?
>
> :- type result(T, E)
>    --->    ok(T)
>    ;       error(E)
>    .
>
> :- type partial_result(T, E) == partial_result(T, T, E).
>
> :- type partial_result(T, P, E)
>    --->    ok(T)
>    ;       error(P, E)
>
> :- type result(E)
>    --->    ok
>    ;       error(E)
>    .
>
> Then the various io and stream types could be redefined in terms of these types.
>
> I ask because we have written a lot of code at MC which should use these generic
> result types, so I was going to add this to our library but ian
> suggested we should
> see first if it goes better in the mercury standard library.

In which module would they be defined?

Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------