Copyright | (c) 2015-2016, Peter Trško |
---|---|

License | BSD3 |

Maintainer | peter.trsko@gmail.com |

Stability | stable |

Portability | CPP, DataKinds (for base >=4.7.0.0), FlexibleInstances, NoImplicitPrelude |

Safe Haskell | Safe |

Language | Haskell2010 |

# 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`

`SomeNat`

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.