prologue-3.2.3: Better, more general Prelude exporting common utilities.
Prologue.Data.Default1
class Default1 t where Source #
Minimal complete definition
def1
Methods
def1 :: forall a. t a Source #
type family Defaults1 lst :: Constraint where ... Source #
Equations