Safe Haskell	None
Language	Haskell2010

Data.Inhabited

Description

Inhabited types

Synopsis

class Inhabited a where
- example :: a

Documentation

class Inhabited a where Source #

Inhabited types

Methods

example :: a Source #

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

Instances

Instances details

Inhabited Bool Source #
Instance details Defined in Data.Inhabited Methods example :: Bool Source #
Inhabited Double Source #
Instance details Defined in Data.Inhabited Methods example :: Double Source #
Inhabited Float Source #
Instance details Defined in Data.Inhabited Methods example :: Float Source #
Inhabited Int8 Source #
Instance details Defined in Data.Inhabited Methods example :: Int8 Source #
Inhabited Int16 Source #
Instance details Defined in Data.Inhabited Methods example :: Int16 Source #
Inhabited Int32 Source #
Instance details Defined in Data.Inhabited Methods example :: Int32 Source #
Inhabited Int64 Source #
Instance details Defined in Data.Inhabited Methods example :: Int64 Source #
Inhabited Word8 Source #
Instance details Defined in Data.Inhabited Methods example :: Word8 Source #
Inhabited Word16 Source #
Instance details Defined in Data.Inhabited Methods example :: Word16 Source #
Inhabited Word32 Source #
Instance details Defined in Data.Inhabited Methods example :: Word32 Source #
Inhabited Word64 Source #
Instance details Defined in Data.Inhabited Methods example :: Word64 Source #
Inhabited (Complex Double) Source #
Instance details Defined in Data.Inhabited Methods example :: Complex Double Source #
Inhabited (Complex Float) Source #
Instance details Defined in Data.Inhabited Methods example :: Complex Float Source #
(Inhabited a, Inhabited b) => Inhabited (a, b) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b) Source #
(Inhabited a, Inhabited b, Inhabited c) => Inhabited (a, b, c) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c) Source #
(Inhabited a, Inhabited b, Inhabited c, Inhabited d) => Inhabited (a, b, c, d) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d) Source #
(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e) => Inhabited (a, b, c, d, e) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d, e) Source #
(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e, Inhabited f) => Inhabited (a, b, c, d, e, f) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d, e, f) Source #
(Inhabited a, Inhabited b, Inhabited c, Inhabited d, Inhabited e, Inhabited f, Inhabited g) => Inhabited (a, b, c, d, e, f, g) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d, e, f, g) Source #
(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) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d, e, f, g, h) Source #
(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) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d, e, f, g, h, i) Source #
(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) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d, e, f, g, h, i, j) Source #
(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) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d, e, f, g, h, i, j, k) Source #
(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) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d, e, f, g, h, i, j, k, l) Source #
(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) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
(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) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
(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) Source #
Instance details Defined in Data.Inhabited Methods example :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #