Data.Default

This module defines a class for types with a distinguished value that someone considers aesthetically pleasing. If you would like your favourite value featured as the default in the next release, become that someone now! Just create an issue on the issue tracker!

Default class

class Default a where

A class for types with a distinguished value that someone considers aesthetically pleasing.

Minimal complete definition

def

Methods

def :: a

The currently selected default value.

Instances

Default Bool

Current default False chosen by ertes, the answer to the question whether mniip has a favourite Bool.

Methods

def :: Bool

Default Char

Current default '→' chosen by sleblanc`, because arrows look fancy when you use them in a chat.

Methods

def :: Char

Default Double

Current default 1.1102230246251565e-16 chosen by ertes, the difference between 1 and sum (replicate 10 0.1).

Methods

def :: Double

Default Float

Current default 388.38 chosen by ertes, because it's beautiful in decimal and approximately equal to twice the molar mass of caffeine in grams per mol.

Methods

def :: Float

Default Int

Current default 18871 chosen by ertes, a beautiful product of a Sophie-Germain prime and a safe prime.

Methods

def :: Int

Default Int8

Current default 29 chosen by ertes for obvious reasons.

Methods

def :: Int8

Default Int16

Current default -99 chosen by ertes, the largest prime that generates a multiplicative subgroup of maximal order modulo 2^16.

Methods

def :: Int16

Default Int64

Current default -1 chosen by ertes, the largest negative number.

Methods

def :: Int64

Default Integer

Current default is Graham's number G chosen by ertes.

Methods

def :: Integer

Default Word

Current default 10 chosen by ertes, the fifth triangular number that also happens to be the base of the most common positional notation in use for numbers.

Methods

def :: Word

Default Word8

Current default 216 chosen by ertes, the volume of the largest cube with integer side length.

Methods

def :: Word8

Default Word16

Current default 6 chosen by ertes, the smallest perfect number.

Methods

def :: Word16

Default Word32

Current default 4294967296 chosen by Axman6 and mniip, because it's equal to 0.

Methods

def :: Word32

Default Word64

Current default 17 chosen by ertes. It just looks nice in decimal when written with serifs on the first digit.

Methods

def :: Word64

Default ()

Current default def chosen by ertes for the same reason as the instance for ().

Methods

def :: ()

Default a => Default [a]

Current default replicate 4 def chosen by mniip, because 4 is a random number.

Methods

def :: [a]

(Default a, Default b) => Default (a, b)

Methods

def :: (a, b)

(Default a, Default b, Default c) => Default (a, b, c)

Methods

def :: (a, b, c)

(Default a, Default b, Default c, Default d, Default e) => Default (a, b, c, d, e)

Methods

def :: (a, b, c, d, e)

(Default a, Default b, Default c, Default d, Default e, Default f) => Default (a, b, c, d, e, f)

Methods

def :: (a, b, c, d, e, f)