Data.Default.Instances.Base.New

Default instances for types in newer versions of base package.

Documentation

Following Default instances are provided:

instance Default a => Default (Const a b) where
    def = Const def

instance Monad m => Default (Kleisli m a b) where
    def = Kleisli return

instance Default Version where
    def = Version [] []

Following instances are available only for base >= 4.7.0.0:

instance Default (Proxy a) where
    def = Proxy

instance Default SomeNat where
    def = SomeNat (Proxy :: Proxy 0)

instance Default SomeSymbol where
    def = SomeSymbol (Proxy :: Proxy "")

Following instances are available only for base >= 4.8.0.0:

instance Alternative f => Default (Alt f a) where
    def = Alt empty

instance Default a => Default (Identity a) where
    def = Identity def

instance Default Natural where
    def = 0

Following instances are available only for base >= 4.9.0.0:

instance Default a => Default (NonEmpty a) where
    def = def :| []

instance Bounded a => Default (Min a) where
    def = minBound

instance Bounded a => Default (Max a) where
    def = maxBound

instance Default (Option a) where
    def = Option Nothing

This module also reexporting instances from Data.Default.Instances.Base.

Orphan instances

Default Natural

def = 0

Methods

def :: Natural

Default Version

def = makeVersion []

Methods

def :: Version

Default SomeNat

def = SomeNat (Proxy :: Proxy 0)

Methods

def :: SomeNat

Default SomeSymbol

def = SomeSymbol (Proxy :: Proxy "")

Methods

def :: SomeSymbol

Default a => Default (Identity a)

def = Identity def

Methods

def :: Identity a

Bounded a => Default (Min a)

def = minBound

Methods

def :: Min a

Bounded a => Default (Max a)

def = maxBound

Methods

def :: Max a

Default (Option a)

def = Option Nothing

Methods

def :: Option a

Default a => Default (NonEmpty a)

def = def :| []

Methods

def :: NonEmpty a

Default (Proxy * a)

def = Proxy

Methods

def :: Proxy * a

Monad m => Default (Kleisli m a a)

def = Kleisli return

Methods

def :: Kleisli m a a

Default a => Default (Const * a b)

def = Const def

Methods

def :: Const * a b

Alternative f => Default (Alt * f a)

def = mempty

Methods

def :: Alt * f a