conditional-restriction-parser-0.1.0.4: Parser and interpreter of OpenStreetMap conditional restriction values
Safe HaskellSafe-Inferred
LanguageHaskell2010

ConditionalRestriction.Parse.InputData

Description

Input data types and values.

Synopsis

Documentation

type ID = String Source #

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

data Type Source #

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

Instances details
Show Type Source # 
Instance details

Defined in ConditionalRestriction.Parse.InputData

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

Eq Type Source # 
Instance details

Defined in ConditionalRestriction.Parse.InputData

Methods

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

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

data Value Source #

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

Instances details
Show Value Source # 
Instance details

Defined in ConditionalRestriction.Parse.InputData

Methods

showsPrec :: Int -> Value -> ShowS #

show :: Value -> String #

showList :: [Value] -> ShowS #

Eq Value Source # 
Instance details

Defined in ConditionalRestriction.Parse.InputData

Methods

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

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