Orphan instances for Default type class, which is defined in package data-default-class.

In addition to instances reexported from data-default-instances-base package, 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

---

[Skip to Readme]

Modules

[Index]

Flags

Automatic Flags

Name	Description	Default
old-data-default-class	Depend on (old) data-default-class >=0.0 && <0.1.2	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• data-default-instances-new-base-0.0.2.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• PeterTrsko

For package maintainers and hackage trustees

• edit package information

Candidates

• 0.0.2