ConditionalRestriction.Parse.InputData

Input data types and values.

Documentation

type ID = String

An identifier, identifying a value, e.g. "weight".

data Type

Input data type.

Constructors

TBool

Boolean type, e.g. value "true".

TNum

Number type, e.g. value "3.0".

TTime

Time type, e.g. value "2022-05-10 18:00".

Instances

Show Type

Defined in ConditionalRestriction.Parse.InputData

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Eq Type

Defined in ConditionalRestriction.Parse.InputData

Methods

(==) :: Type -> Type -> Bool

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

data Value

Input data value, corresponding to input Types.

Constructors

VBool Bool

Boolean value, e.g. "true".

VNum Double

Number value, e.g. "3.0".

VTime DateTime

Time value, e.g. "2022-05-10 18:00".

Instances

Show Value

Defined in ConditionalRestriction.Parse.InputData

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Eq Value

Defined in ConditionalRestriction.Parse.InputData

Methods

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

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