Technique.Quantity

Documentation

data Quantity

Constructors

Number Int64

Quantity Decimal Decimal Magnitude Symbol

Instances

Eq Quantity

Defined in Technique.Quantity

Methods

(==) :: Quantity -> Quantity -> Bool

(/=) :: Quantity -> Quantity -> Bool

Ord Quantity

Defined in Technique.Quantity

Methods

compare :: Quantity -> Quantity -> Ordering

(<) :: Quantity -> Quantity -> Bool

(<=) :: Quantity -> Quantity -> Bool

(>) :: Quantity -> Quantity -> Bool

(>=) :: Quantity -> Quantity -> Bool

max :: Quantity -> Quantity -> Quantity

min :: Quantity -> Quantity -> Quantity

Show Quantity

Defined in Technique.Quantity

Methods

showsPrec :: Int -> Quantity -> ShowS

show :: Quantity -> String

showList :: [Quantity] -> ShowS

Render Quantity

Defined in Technique.Formatter

Associated Types

type Token Quantity

Methods

colourize :: Token Quantity -> AnsiColour

highlight :: Quantity -> Doc (Token Quantity)

Pretty Quantity

Defined in Technique.Formatter

Methods

pretty :: Quantity -> Doc ann

prettyList :: [Quantity] -> Doc ann

type Token Quantity

Defined in Technique.Formatter

type Token Quantity = TechniqueToken

data Decimal

A decimal number with a fixed point resolution. The resolution (number of decimal places) is arbitrary within the available range. This isn't really for numerical analysis. It is for carrying information.

Implementation note

Internally this is a floating point where the mantissa is 19 characters wide (the width of a 64-bit int in base 10). Thus the biggest number representable is 9223372036854775807 and the smallest is 0.0000000000000000001. We could change this to Integer and be arbitrary precision but meh.

Constructors

Decimal Int64 Int8

Instances

Eq Decimal

Defined in Technique.Quantity

Methods

(==) :: Decimal -> Decimal -> Bool

(/=) :: Decimal -> Decimal -> Bool

Ord Decimal

Defined in Technique.Quantity

Methods

compare :: Decimal -> Decimal -> Ordering

(<) :: Decimal -> Decimal -> Bool

(<=) :: Decimal -> Decimal -> Bool

(>) :: Decimal -> Decimal -> Bool

(>=) :: Decimal -> Decimal -> Bool

max :: Decimal -> Decimal -> Decimal

min :: Decimal -> Decimal -> Decimal

Show Decimal

Defined in Technique.Quantity

Methods

showsPrec :: Int -> Decimal -> ShowS

show :: Decimal -> String

showList :: [Decimal] -> ShowS

Render Decimal

Defined in Technique.Formatter

Associated Types

type Token Decimal

Methods

colourize :: Token Decimal -> AnsiColour

highlight :: Decimal -> Doc (Token Decimal)

type Token Decimal

Defined in Technique.Formatter

type Token Decimal = TechniqueToken

type Magnitude = Int8

decimalToRope :: Decimal -> Rope

isZeroDecimal :: Decimal -> Bool

negateDecimal :: Decimal -> Decimal

type Symbol = Rope

data Unit

Constructors

Unit

Fields

• unitName :: Rope
• unitPlural :: Rope
• unitSymbol :: Rope
• unitGroup :: Group

Instances

Eq Unit

Defined in Technique.Quantity

Methods

(==) :: Unit -> Unit -> Bool

(/=) :: Unit -> Unit -> Bool

Show Unit

Defined in Technique.Quantity

Methods

showsPrec :: Int -> Unit -> ShowS

show :: Unit -> String

showList :: [Unit] -> ShowS

data Group

Whether Système International metric prefixes can be used, or (as is the case of time units) quantities should not be aggregated to other scales.

Constructors

Metric

Time

Normal

Scientific

Engineering

Instances

Eq Group

Defined in Technique.Quantity

Methods

(==) :: Group -> Group -> Bool

(/=) :: Group -> Group -> Bool

Show Group

Defined in Technique.Quantity

Methods

showsPrec :: Int -> Group -> ShowS

show :: Group -> String

showList :: [Group] -> ShowS

data Prefix

Constructors

Prefix

Fields

• prefixName :: Rope
• prefixSymbol :: Symbol
• prefixScale :: Int

Instances

Eq Prefix

Defined in Technique.Quantity

Methods

(==) :: Prefix -> Prefix -> Bool

(/=) :: Prefix -> Prefix -> Bool

Show Prefix

Defined in Technique.Quantity

Methods

showsPrec :: Int -> Prefix -> ShowS

show :: Prefix -> String

showList :: [Prefix] -> ShowS

units :: Map Symbol Unit

prefixes :: Map Symbol Prefix