prologue-3.2.6: Better, more general Prelude exporting common utilities.

Safe HaskellNone
LanguageHaskell2010

Prologue.Data.Default

Documentation

type family Defaults lst :: Constraint where ... Source #

Equations

Defaults '[] = () 
Defaults (a ': as) = (Default a, Defaults as)