Jonathan Fischoff | 12 Feb 05:51 2014

ANN: generic-maybe-

generic-maybe utilizes GHC.Generics to generalize the functions of Data.Maybe to arbitrary sum types with two constructors, with one "empty."

Here is a quick example:

λ> :set -XDeriveGeneric
λ> import GHC.Generics

λ> data Result a = Success a | Fail deriving (Show, Generic)

λ> fromMaybe 'a' Fail
λ> fromMaybe 'a' $ Success 'b'

Additionally, it lets you convert between two representations:

λ> convert (Just 'a') :: Result Char
 Success 'a'

Documentation on Hackage:

-Jonathan Fischoff
Haskell-Cafe mailing list
Haskell-Cafe <at>