Data.Inhabited

Inhabited types

Documentation

class Inhabited a where

Inhabited types

Minimal complete definition

example

Methods

example :: a

Example value. An example value does not have to be an agreed-upon default value. It can really be any value whatsoever.

Instances

Inhabited Bool

Methods

example :: Bool

Inhabited Double

Methods

example :: Double

Inhabited Float

Methods

example :: Float

Inhabited Int8

Methods

example :: Int8

Inhabited Int16

Methods

example :: Int16

Inhabited Int32

Methods

example :: Int32

Inhabited Int64

Methods

example :: Int64

Inhabited Word8

Methods

example :: Word8

Inhabited Word16

Methods

example :: Word16

Inhabited Word32

Methods

example :: Word32

Inhabited Word64

Methods

example :: Word64

Inhabited (Complex Double)

Methods

example :: Complex Double

Inhabited (Complex Float)

Methods

example :: Complex Float

(Inhabited a, Inhabited b) => Inhabited (a, b)

Methods

example :: (a, b)

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

Methods

example :: (a, b, c)

(Inhabited a, Inhabited b, Inhabited c, Inhabited d) => Inhabited (a, b, c, d)

Methods

example :: (a, b, c, d)

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

Methods

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

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

Methods

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

(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e, Inhabited f, Inhabited g) => Inhabited (a, b, c, d, e, f, g)

Methods

example :: (a, b, c, d, e, f, g)

(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e, Inhabited f, Inhabited g, Inhabited h) => Inhabited (a, b, c, d, e, f, g, h)

Methods

example :: (a, b, c, d, e, f, g, h)

(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e, Inhabited f, Inhabited g, Inhabited h, Inhabited i) => Inhabited (a, b, c, d, e, f, g, h, i)

Methods

example :: (a, b, c, d, e, f, g, h, i)

(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e, Inhabited f, Inhabited g, Inhabited h, Inhabited i, Inhabited j) => Inhabited (a, b, c, d, e, f, g, h, i, j)

Methods

example :: (a, b, c, d, e, f, g, h, i, j)

(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e, Inhabited f, Inhabited g, Inhabited h, Inhabited i, Inhabited j, Inhabited k) => Inhabited (a, b, c, d, e, f, g, h, i, j, k)

Methods

example :: (a, b, c, d, e, f, g, h, i, j, k)

(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e, Inhabited f, Inhabited g, Inhabited h, Inhabited i, Inhabited j, Inhabited k, Inhabited l) => Inhabited (a, b, c, d, e, f, g, h, i, j, k, l)

Methods

example :: (a, b, c, d, e, f, g, h, i, j, k, l)

(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e, Inhabited f, Inhabited g, Inhabited h, Inhabited i, Inhabited j, Inhabited k, Inhabited l, Inhabited m) => Inhabited (a, b, c, d, e, f, g, h, i, j, k, l, m)

Methods

example :: (a, b, c, d, e, f, g, h, i, j, k, l, m)

(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e, Inhabited f, Inhabited g, Inhabited h, Inhabited i, Inhabited j, Inhabited k, Inhabited l, Inhabited m, Inhabited n) => Inhabited (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Methods

example :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e, Inhabited f, Inhabited g, Inhabited h, Inhabited i, Inhabited j, Inhabited k, Inhabited l, Inhabited m, Inhabited n, Inhabited o) => Inhabited (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Methods

example :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)