raw-feldspar-0.3.1: Resource-Aware Feldspar
Safe HaskellNone
LanguageHaskell2010

Data.Inhabited

Description

Inhabited types

Synopsis

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

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

Inhabited Word32 Source # 
Instance details

Defined in Data.Inhabited

Inhabited Word64 Source # 
Instance details

Defined in Data.Inhabited

Inhabited (Complex Double) Source # 
Instance details

Defined in Data.Inhabited

Inhabited (Complex Float) Source # 
Instance details

Defined in Data.Inhabited

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