HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduledata-default-0.8.0.1Haskell98

Data.Default.Internal

Nothing to see here.

  • 2 classes
classclass Default a where
#

A class for types with a default value.

Methods

  • def :: a

    The default value for this type.

Instances96Default, …
classclass GDefault (f :: Type -> Type) where
#

Defaults, generically.

Methods

Instances5GDefault
  • GDefault U1Defined in data-default-0.8.0.1 · Data.Default.Internal

    A nullary constructor is its own default.

  • Default a => GDefault (K1 i a)Defined in data-default-0.8.0.1 · Data.Default.Internal

    A unary constructor wraps the default value of the argument type.

  • GDefault a => GDefault (a :+: b)Defined in data-default-0.8.0.1 · Data.Default.Internal

    For sums, we arbitrarily choose the left side.

  • (GDefault a, GDefault b) => GDefault (a :*: b)Defined in data-default-0.8.0.1 · Data.Default.Internal

    Default of products = product of defaults.

  • GDefault a => GDefault (M1 i c a)Defined in data-default-0.8.0.1 · Data.Default.Internal

    Default of wrapper = wrapper of default.