ConditionalRestriction.Parse.AST

AST for conditional restrictions and incomplete AST for opening hours.

Documentation

type Token = String

A single token. Is used to represent values of any kind that the parser does not touch.

newtype ConditionalRestriction

AST representation of a conditional restriction.

Constructors

ConditionalRestriction [Expression]

Instances

Show ConditionalRestriction

Defined in ConditionalRestriction.Parse.AST

Methods

showsPrec :: Int -> ConditionalRestriction -> ShowS

show :: ConditionalRestriction -> String

showList :: [ConditionalRestriction] -> ShowS

Eq ConditionalRestriction

Defined in ConditionalRestriction.Parse.AST

Methods

(==) :: ConditionalRestriction -> ConditionalRestriction -> Bool

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

data Expression

AST representation of a conditional restriction expression, containing a value and conditions for that value

Constructors

Expression

Fields

• Token

  The value

• [Condition]

  The conditions. All conditions must be met when evaluating.

Instances

Show Expression

Defined in ConditionalRestriction.Parse.AST

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

Eq Expression

Defined in ConditionalRestriction.Parse.AST

Methods

(==) :: Expression -> Expression -> Bool

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

data Condition

AST representation of a condition.

Constructors

OH OpeningHours

An OpeningHours condition. When evaluating, the given time must be within those opening hours.

Comparison Token ComparisonOp Double

A comparison. Looks something like "weight > 3.0"

Absolute Token

An absolute condition, e.g. "wet", "disabled".

Instances

Show Condition

Defined in ConditionalRestriction.Parse.AST

Methods

showsPrec :: Int -> Condition -> ShowS

show :: Condition -> String

showList :: [Condition] -> ShowS

Eq Condition

Defined in ConditionalRestriction.Parse.AST

Methods

(==) :: Condition -> Condition -> Bool

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

data ComparisonOp

A comparison operator.

Constructors

Gt

Lt

GtEq

LtEq

Eq

Instances

Show ComparisonOp

Defined in ConditionalRestriction.Parse.AST

Methods

showsPrec :: Int -> ComparisonOp -> ShowS

show :: ComparisonOp -> String

showList :: [ComparisonOp] -> ShowS

Eq ComparisonOp

Defined in ConditionalRestriction.Parse.AST

Methods

(==) :: ComparisonOp -> ComparisonOp -> Bool

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

newtype OpeningHours

AST representation of opening hours. Not complete.

Constructors

OpeningHours [RuleSequence]

Instances

Show OpeningHours

Defined in ConditionalRestriction.Parse.AST

Methods

showsPrec :: Int -> OpeningHours -> ShowS

show :: OpeningHours -> String

showList :: [OpeningHours] -> ShowS

Eq OpeningHours

Defined in ConditionalRestriction.Parse.AST

Methods

(==) :: OpeningHours -> OpeningHours -> Bool

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

type OHState = Maybe Bool

Opening hour state. True/False if known to be open/closed, Nothing if unknown.

data RuleType

Type of opening hour rule.

Constructors

Normal

First rule or rules separated by ";".

Additional

Rules separated by ",".

Instances

Show RuleType

Defined in ConditionalRestriction.Parse.AST

Methods

showsPrec :: Int -> RuleType -> ShowS

show :: RuleType -> String

showList :: [RuleType] -> ShowS

Eq RuleType

Defined in ConditionalRestriction.Parse.AST

Methods

(==) :: RuleType -> RuleType -> Bool

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

data RuleSequence

AST representation of a rule sequence.

Constructors

RuleSequence RuleType SelectorSequence OHState

Instances

Show RuleSequence

Defined in ConditionalRestriction.Parse.AST

Methods

showsPrec :: Int -> RuleSequence -> ShowS

show :: RuleSequence -> String

showList :: [RuleSequence] -> ShowS

Eq RuleSequence

Defined in ConditionalRestriction.Parse.AST

Methods

(==) :: RuleSequence -> RuleSequence -> Bool

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

type WeekdaySelector = [WeekdayRange]

AST representation of a weekday selector (e.g. "Sa-Di, Th").

type TimeSelector = [TimeSpan]

AST representation of a time selector (e.g. "18:00-20:00, 21:00-03:00").

data SelectorSequence

AST representation of a selector sequence (e.g. "24/7", "We-Su 18:00-20:00").

Constructors

TwentyFourSeven

WeekdaySel WeekdaySelector

TimeSel TimeSelector

WeekdayTime WeekdaySelector TimeSelector

Instances

Show SelectorSequence

Defined in ConditionalRestriction.Parse.AST

Methods

showsPrec :: Int -> SelectorSequence -> ShowS

show :: SelectorSequence -> String

showList :: [SelectorSequence] -> ShowS

Eq SelectorSequence

Defined in ConditionalRestriction.Parse.AST

Methods

(==) :: SelectorSequence -> SelectorSequence -> Bool

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

data WeekdayRange

AST representation of a weekday range.

Constructors

SingleDay WeekDay

WdayRange WeekDay WeekDay

Instances

Show WeekdayRange

Defined in ConditionalRestriction.Parse.AST

Methods

showsPrec :: Int -> WeekdayRange -> ShowS

show :: WeekdayRange -> String

showList :: [WeekdayRange] -> ShowS

Eq WeekdayRange

Defined in ConditionalRestriction.Parse.AST

Methods

(==) :: WeekdayRange -> WeekdayRange -> Bool

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

data TimeSpan

AST representation of time span.

Constructors

Moment TimeOfDay

Span TimeOfDay TimeOfDay

Instances

Show TimeSpan

Defined in ConditionalRestriction.Parse.AST

Methods

showsPrec :: Int -> TimeSpan -> ShowS

show :: TimeSpan -> String

showList :: [TimeSpan] -> ShowS

Eq TimeSpan

Defined in ConditionalRestriction.Parse.AST

Methods

(==) :: TimeSpan -> TimeSpan -> Bool

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