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

Safe HaskellNone
LanguageHaskell2010

Prologue.Data.Default1

Documentation

class Default1 t where Source #

Minimal complete definition

def1

Methods

def1 :: forall a. t a Source #

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

Equations

Defaults1 '[] = () 
Defaults1 (a ': as) = (Default1 a, Defaults1 as)