Description
declaring Default instances just got even easier.
Description
Declaring instances of the Default
type class has always been pretty mechanical. This package makes the compiler do the mechanical bit. This has the benefit that even less thought is required, and the instance will automatically be corrected when the definition of the data type changes (say, to add more arguments to the constructor). Usage looks like this, for example:
(-# LANGUAGE TemplateHaskell #-)
import Data.Default.TH
data List a = Nil | Cons a (List a)
deriveDefault ''List
This example results in the following instance:
instance Data.Default.Default (List a_ad2) where
Data.Default.def = Nil