digit-0.15: A data-type representing digits 0-9 and other combinations
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Digit.Decimal

Synopsis

Documentation

data DecDigit Source #

Constructors

DecDigit0 
DecDigit1 
DecDigit2 
DecDigit3 
DecDigit4 
DecDigit5 
DecDigit6 
DecDigit7 
DecDigit8 
DecDigit9 

Instances

Instances details
Bounded DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

minBound :: DecDigit #

maxBound :: DecDigit #

Enum DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

succ :: DecDigit -> DecDigit #

pred :: DecDigit -> DecDigit #

toEnum :: Int -> DecDigit #

fromEnum :: DecDigit -> Int #

enumFrom :: DecDigit -> [DecDigit] #

enumFromThen :: DecDigit -> DecDigit -> [DecDigit] #

enumFromTo :: DecDigit -> DecDigit -> [DecDigit] #

enumFromThenTo :: DecDigit -> DecDigit -> DecDigit -> [DecDigit] #

Show DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

showsPrec :: Int -> DecDigit -> ShowS #

show :: DecDigit -> String #

showList :: [DecDigit] -> ShowS #

D0 DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d0 :: Prism' DecDigit () Source #

x0 :: DecDigit Source #

D1 DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d1 :: Prism' DecDigit () Source #

x1 :: DecDigit Source #

D2 DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d2 :: Prism' DecDigit () Source #

x2 :: DecDigit Source #

D3 DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d3 :: Prism' DecDigit () Source #

x3 :: DecDigit Source #

D4 DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d4 :: Prism' DecDigit () Source #

x4 :: DecDigit Source #

D5 DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d5 :: Prism' DecDigit () Source #

x5 :: DecDigit Source #

D6 DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d6 :: Prism' DecDigit () Source #

x6 :: DecDigit Source #

D7 DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d7 :: Prism' DecDigit () Source #

x7 :: DecDigit Source #

D8 DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d8 :: Prism' DecDigit () Source #

x8 :: DecDigit Source #

D9 DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d9 :: Prism' DecDigit () Source #

x9 :: DecDigit Source #

Eq DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

(==) :: DecDigit -> DecDigit -> Bool #

(/=) :: DecDigit -> DecDigit -> Bool #

Ord DecDigit Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

compare :: DecDigit -> DecDigit -> Ordering #

(<) :: DecDigit -> DecDigit -> Bool #

(<=) :: DecDigit -> DecDigit -> Bool #

(>) :: DecDigit -> DecDigit -> Bool #

(>=) :: DecDigit -> DecDigit -> Bool #

max :: DecDigit -> DecDigit -> DecDigit #

min :: DecDigit -> DecDigit -> DecDigit #

data DecDigitNoZero Source #

Constructors

DecDigitNoZero1 
DecDigitNoZero2 
DecDigitNoZero3 
DecDigitNoZero4 
DecDigitNoZero5 
DecDigitNoZero6 
DecDigitNoZero7 
DecDigitNoZero8 
DecDigitNoZero9 

Instances

Instances details
Bounded DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

minBound :: DecDigitNoZero #

maxBound :: DecDigitNoZero #

Enum DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

succ :: DecDigitNoZero -> DecDigitNoZero #

pred :: DecDigitNoZero -> DecDigitNoZero #

toEnum :: Int -> DecDigitNoZero #

fromEnum :: DecDigitNoZero -> Int #

enumFrom :: DecDigitNoZero -> [DecDigitNoZero] #

enumFromThen :: DecDigitNoZero -> DecDigitNoZero -> [DecDigitNoZero] #

enumFromTo :: DecDigitNoZero -> DecDigitNoZero -> [DecDigitNoZero] #

enumFromThenTo :: DecDigitNoZero -> DecDigitNoZero -> DecDigitNoZero -> [DecDigitNoZero] #

Show DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

showsPrec :: Int -> DecDigitNoZero -> ShowS #

show :: DecDigitNoZero -> String #

showList :: [DecDigitNoZero] -> ShowS #

D1 DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d1 :: Prism' DecDigitNoZero () Source #

x1 :: DecDigitNoZero Source #

D2 DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d2 :: Prism' DecDigitNoZero () Source #

x2 :: DecDigitNoZero Source #

D3 DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d3 :: Prism' DecDigitNoZero () Source #

x3 :: DecDigitNoZero Source #

D4 DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d4 :: Prism' DecDigitNoZero () Source #

x4 :: DecDigitNoZero Source #

D5 DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d5 :: Prism' DecDigitNoZero () Source #

x5 :: DecDigitNoZero Source #

D6 DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d6 :: Prism' DecDigitNoZero () Source #

x6 :: DecDigitNoZero Source #

D7 DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d7 :: Prism' DecDigitNoZero () Source #

x7 :: DecDigitNoZero Source #

D8 DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d8 :: Prism' DecDigitNoZero () Source #

x8 :: DecDigitNoZero Source #

D9 DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

d9 :: Prism' DecDigitNoZero () Source #

x9 :: DecDigitNoZero Source #

Eq DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

(==) :: DecDigitNoZero -> DecDigitNoZero -> Bool #

(/=) :: DecDigitNoZero -> DecDigitNoZero -> Bool #

Ord DecDigitNoZero Source # 
Instance details

Defined in Data.Digit.Decimal

Methods

compare :: DecDigitNoZero -> DecDigitNoZero -> Ordering #

(<) :: DecDigitNoZero -> DecDigitNoZero -> Bool #

(<=) :: DecDigitNoZero -> DecDigitNoZero -> Bool #

(>) :: DecDigitNoZero -> DecDigitNoZero -> Bool #

(>=) :: DecDigitNoZero -> DecDigitNoZero -> Bool #

max :: DecDigitNoZero -> DecDigitNoZero -> DecDigitNoZero #

min :: DecDigitNoZero -> DecDigitNoZero -> DecDigitNoZero #

type DecimalNoZero d = (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d, D8 d, D9 d) Source #

type Decimal d = (D0 d, DecimalNoZero d) Source #

parseDecimalNoZero :: (DecimalNoZero d, CharParsing p) => p d Source #

parseDecimal :: (Decimal d, CharParsing p) => p d Source #

Prisms

_DecDigit0 :: Prism' DecDigit () Source #

_DecDigit1 :: Prism' DecDigit () Source #

_DecDigit2 :: Prism' DecDigit () Source #

_DecDigit3 :: Prism' DecDigit () Source #

_DecDigit4 :: Prism' DecDigit () Source #

_DecDigit5 :: Prism' DecDigit () Source #

_DecDigit6 :: Prism' DecDigit () Source #

_DecDigit7 :: Prism' DecDigit () Source #

_DecDigit8 :: Prism' DecDigit () Source #

_DecDigit9 :: Prism' DecDigit () Source #

Re-exports

module Data.Digit.Class.D0

module Data.Digit.Class.D1

module Data.Digit.Class.D2

module Data.Digit.Class.D3

module Data.Digit.Class.D4

module Data.Digit.Class.D5

module Data.Digit.Class.D6

module Data.Digit.Class.D7

module Data.Digit.Class.D8

module Data.Digit.Class.D9