Toml.Type.Value

GADT value for TOML.

Type of value

data TValue

Needed for GADT parameterization

Constructors

TBool

TInteger

TDouble

TText

TZoned

TLocal

TDay

THours

TArray

Instances

Eq TValue

Defined in Toml.Type.Value

Methods

(==) :: TValue -> TValue -> Bool

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

Read TValue

Defined in Toml.Type.Value

Methods

readsPrec :: Int -> ReadS TValue

readList :: ReadS [TValue]

readPrec :: ReadPrec TValue

readListPrec :: ReadPrec [TValue]

Show TValue

Defined in Toml.Type.Value

Methods

showsPrec :: Int -> TValue -> ShowS

show :: TValue -> String

showList :: [TValue] -> ShowS

Generic TValue

Defined in Toml.Type.Value

Associated Types

type Rep TValue :: Type -> Type

Methods

from :: TValue -> Rep TValue x

to :: Rep TValue x -> TValue

NFData TValue

Defined in Toml.Type.Value

Methods

rnf :: TValue -> ()

type Rep TValue

Defined in Toml.Type.Value

type Rep TValue = D1 (MetaData "TValue" "Toml.Type.Value" "tomland-1.0.0-inplace" False) (((C1 (MetaCons "TBool" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TInteger" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "TDouble" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TText" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "TZoned" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TLocal" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "TDay" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "THours" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TArray" PrefixI False) (U1 :: Type -> Type)))))

showType :: TValue -> String

Convert TValue constructors to String without T prefix.

Value

data Value (t :: TValue) where

Value in key = value pair.

Constructors

Bool :: Bool -> Value TBool

Boolean value:

bool1 = true
bool2 = false

Integer :: Integer -> Value TInteger

Integer value:

int1 = +99
int2 = 42
int3 = 0
int4 = -17
int5 = 5_349_221
hex1 = 0xDEADBEEF  # hexadecimal
oct2 = 0o755  # octal, useful for Unix file permissions
bin1 = 0b11010110  # binary

Double :: Double -> Value TDouble

Floating point number:

# fractional
flt1 = +1.0
flt2 = 3.1415
flt3 = -0.01

# exponent
flt4 = 5e+22
flt5 = 1e6
flt6 = -2E-2

# both
flt7 = 6.626e-34

# infinity
sf1 = inf  # positive infinity
sf2 = +inf # positive infinity
sf3 = -inf # negative infinity

# not a number
sf4 = nan  # actual sNaN/qNaN encoding is implementation specific
sf5 = +nan # same as `nan`
sf6 = -nan # same as `nan`

Text :: Text -> Value TText

String value:

# basic string
name = "Orange"
physical.color = "orange"
physical.shape = "round"

# multiline basic string
str1 = """
Roses are red
Violets are blue"""

# literal string: What you see is what you get.
winpath  = 'C:\Users\nodejs\templates'
winpath2 = '\\ServerX\admin$\system32\'
quoted   = 'Tom "Dubs" Preston-Werner'
regex    = '<\i\c*\s*>'

Zoned :: ZonedTime -> Value TZoned

Offset date-time:

odt1 = 1979-05-27T07:32:00Z
odt2 = 1979-05-27T00:32:00-07:00
odt3 = 1979-05-27T00:32:00.999999-07:00

Local :: LocalTime -> Value TLocal

Local date-time (without offset):

ldt1 = 1979-05-27T07:32:00
ldt2 = 1979-05-27T00:32:00.999999

Day :: Day -> Value TDay

Local date (only day):

ld1 = 1979-05-27

Hours :: TimeOfDay -> Value THours

Local time (time of the day):

lt1 = 07:32:00
lt2 = 00:32:00.999999

Array :: [Value t] -> Value TArray

Array of values. According to TOML specification all values in array should have the same type. This is guaranteed statically with this type.

arr1 = [ 1, 2, 3 ]
arr2 = [ "red", "yellow", "green" ]
arr3 = [ [ 1, 2 ], [3, 4, 5] ]
arr4 = [ "all", 'strings', """are the same""", '''type''']
arr5 = [ [ 1, 2 ], ["a", "b", "c"] ]

arr6 = [ 1, 2.0 ] # INVALID

Instances

Eq (Value t)

Defined in Toml.Type.Value

Methods

(==) :: Value t -> Value t -> Bool

(/=) :: Value t -> Value t -> Bool

t ~ TInteger => Num (Value t)

Defined in Toml.Type.Value

Methods

(+) :: Value t -> Value t -> Value t

(-) :: Value t -> Value t -> Value t

(*) :: Value t -> Value t -> Value t

negate :: Value t -> Value t

abs :: Value t -> Value t

signum :: Value t -> Value t

fromInteger :: Integer -> Value t

Show (Value t)

Defined in Toml.Type.Value

Methods

showsPrec :: Int -> Value t -> ShowS

show :: Value t -> String

showList :: [Value t] -> ShowS

t ~ TText => IsString (Value t)

Defined in Toml.Type.Value

Methods

fromString :: String -> Value t

NFData (Value t)

Defined in Toml.Type.Value

Methods

rnf :: Value t -> ()

eqValueList :: [Value a] -> [Value b] -> Bool

Compare list of Value of possibly different types.

valueType :: Value t -> TValue

Reifies type of Value into TValue. Unfortunately, there's no way to guarante that valueType will return t for object with type Value 't.

Type checking

data TypeMismatchError

Data type that holds expected vs. actual type.

Constructors

TypeMismatchError

Fields

• typeExpected :: TValue
• typeActual :: TValue

Instances

Eq TypeMismatchError

Defined in Toml.Type.Value

Methods

(==) :: TypeMismatchError -> TypeMismatchError -> Bool

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

Show TypeMismatchError

Defined in Toml.Type.Value

Methods

showsPrec :: Int -> TypeMismatchError -> ShowS

show :: TypeMismatchError -> String

showList :: [TypeMismatchError] -> ShowS

sameValue :: Value a -> Value b -> Either TypeMismatchError (a :~: b)

Checks whether two values are the same. This function is used for type checking where first argument is expected type and second argument is actual type.