search

mauke / data-default

A class for types with a default value
45 stars 16 forks source link

introduce Default1 in a similar way like Eq1, Ord1, etc. #24

Open KommuSoft opened 3 years ago

KommuSoft commented 3 years ago

Creating a class Default1 (a :: * -> *) in analogy with Eq1, Ord1, Show1, etc. that allows to pass an explicit default for a wrapped type.