HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

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.