-1 for partial.

Indifferent on the total versions.

`either (const _) id` is easy enough.

On May 30, 2016 9:38 AM, "Kosyrev Serge" <_deepfire@feelingofgreen.ru> wrote:
lennart spitzner <lsp@informatik.uni-kiel.de> writes:
>>>> Data.Either.Combinators.fromLeft  :: a -> Either a b -> a
>>
>> This is the thing we want.
>
> Oh indeed, derp; still had the first suggestion in mind.
> (b -> (a -> b) -> Either ..)
>
> On this one i am neutral.

How should we address the part where we don't want to promote
Partiality Oriented Programming?

--
с уважениeм / respectfully,
Косырев Сергей
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries