Data.Wrapped.Default

Provides instance Default (Wrapped Generic a) for use with DerivingVia.

Documentation

class GDefault f where

Generic instances for Default.

Exported just to give Haddock something to link to; use Wrapped Generic with -XDerivingVia instead.

Methods

gdef :: f x

Instances

GDefault (U1 :: Type -> Type)

Defined in Data.Wrapped.Default

Methods

gdef :: U1 x

Default a => GDefault (K1 i a :: Type -> Type)

Defined in Data.Wrapped.Default

Methods

gdef :: K1 i a x

GDefault f => GDefault (f :+: g)

Defined in Data.Wrapped.Default

Methods

gdef :: (f :+: g) x

(GDefault f, GDefault g) => GDefault (f :*: g)

Defined in Data.Wrapped.Default

Methods

gdef :: (f :*: g) x

GDefault f => GDefault (M1 i m f)

Defined in Data.Wrapped.Default

Methods

gdef :: M1 i m f x

Orphan instances

(Generic a, GDefault (Rep a)) => Default (Wrapped Generic a)

The first constructor with all fields set to def.

Given the data type definition:

    data Foo = Foo Int Bool | Bar Double
      deriving Generic
      deriving Default via Wrapped Generic Foo

then

def = Foo def def :: Foo, i.e. def picks the first constructor and fills it with def calls.

Methods

def :: Wrapped Generic a