Safe Haskell	Safe-Inferred
Language	Haskell2010

ConditionalRestriction.Parse.AST

Description

AST for conditional restrictions and incomplete AST for opening hours.

Synopsis

type Token = String
newtype ConditionalRestriction = ConditionalRestriction [Expression]
data Expression = Expression Token [Condition]
data Condition
- = OH OpeningHours
- | Comparison Token ComparisonOp Double
- | Absolute Token
data ComparisonOp
- = Gt
- | Lt
- | GtEq
- | LtEq
- | Eq
newtype OpeningHours = OpeningHours [RuleSequence]
type OHState = Maybe Bool
data RuleType
- = Normal
- | Additional
data RuleSequence = RuleSequence RuleType SelectorSequence OHState
type WeekdaySelector = [WeekdayRange]
type TimeSelector = [TimeSpan]
data SelectorSequence
data WeekdayRange
- = SingleDay WeekDay
- | WdayRange WeekDay WeekDay
data TimeSpan
- = Moment TimeOfDay
- | Span TimeOfDay TimeOfDay

Documentation

type Token = String Source #

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

newtype ConditionalRestriction Source #

AST representation of a conditional restriction.

Constructors

ConditionalRestriction [Expression]

Instances

Instances details

Show ConditionalRestriction Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods showsPrec :: Int -> ConditionalRestriction -> ShowS # show :: ConditionalRestriction -> String # showList :: [ConditionalRestriction] -> ShowS #
Eq ConditionalRestriction Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods (==) :: ConditionalRestriction -> ConditionalRestriction -> Bool # (/=) :: ConditionalRestriction -> ConditionalRestriction -> Bool #

data Expression Source #

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

Instances details

Show Expression Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
Eq Expression Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #

data Condition Source #

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

Instances details

Show Condition Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods showsPrec :: Int -> Condition -> ShowS # show :: Condition -> String # showList :: [Condition] -> ShowS #
Eq Condition Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods (==) :: Condition -> Condition -> Bool # (/=) :: Condition -> Condition -> Bool #

data ComparisonOp Source #

A comparison operator.

Constructors

Gt
Lt
GtEq
LtEq
Eq

Instances

Instances details

Show ComparisonOp Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods showsPrec :: Int -> ComparisonOp -> ShowS # show :: ComparisonOp -> String # showList :: [ComparisonOp] -> ShowS #
Eq ComparisonOp Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods (==) :: ComparisonOp -> ComparisonOp -> Bool # (/=) :: ComparisonOp -> ComparisonOp -> Bool #

newtype OpeningHours Source #

AST representation of opening hours. Not complete.

Constructors

OpeningHours [RuleSequence]

Instances

Instances details

Show OpeningHours Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods showsPrec :: Int -> OpeningHours -> ShowS # show :: OpeningHours -> String # showList :: [OpeningHours] -> ShowS #
Eq OpeningHours Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods (==) :: OpeningHours -> OpeningHours -> Bool # (/=) :: OpeningHours -> OpeningHours -> Bool #

type OHState = Maybe Bool Source #

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

data RuleType Source #

Type of opening hour rule.

Constructors

Normal	First rule or rules separated by ";".
Additional	Rules separated by ",".

Instances

Instances details

Show RuleType Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods showsPrec :: Int -> RuleType -> ShowS # show :: RuleType -> String # showList :: [RuleType] -> ShowS #
Eq RuleType Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods (==) :: RuleType -> RuleType -> Bool # (/=) :: RuleType -> RuleType -> Bool #

data RuleSequence Source #

AST representation of a rule sequence.

Constructors

RuleSequence RuleType SelectorSequence OHState

Instances

Instances details

Show RuleSequence Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods showsPrec :: Int -> RuleSequence -> ShowS # show :: RuleSequence -> String # showList :: [RuleSequence] -> ShowS #
Eq RuleSequence Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods (==) :: RuleSequence -> RuleSequence -> Bool # (/=) :: RuleSequence -> RuleSequence -> Bool #

type WeekdaySelector = [WeekdayRange] Source #

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

type TimeSelector = [TimeSpan] Source #

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

data SelectorSequence Source #

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

Instances details

Show SelectorSequence Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods showsPrec :: Int -> SelectorSequence -> ShowS # show :: SelectorSequence -> String # showList :: [SelectorSequence] -> ShowS #
Eq SelectorSequence Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods (==) :: SelectorSequence -> SelectorSequence -> Bool # (/=) :: SelectorSequence -> SelectorSequence -> Bool #

data WeekdayRange Source #

AST representation of a weekday range.

Constructors

SingleDay WeekDay
WdayRange WeekDay WeekDay

Instances

Instances details

Show WeekdayRange Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods showsPrec :: Int -> WeekdayRange -> ShowS # show :: WeekdayRange -> String # showList :: [WeekdayRange] -> ShowS #
Eq WeekdayRange Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods (==) :: WeekdayRange -> WeekdayRange -> Bool # (/=) :: WeekdayRange -> WeekdayRange -> Bool #

data TimeSpan Source #

AST representation of time span.

Constructors

Moment TimeOfDay
Span TimeOfDay TimeOfDay

Instances

Instances details

Show TimeSpan Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods showsPrec :: Int -> TimeSpan -> ShowS # show :: TimeSpan -> String # showList :: [TimeSpan] -> ShowS #
Eq TimeSpan Source #
Instance details Defined in ConditionalRestriction.Parse.AST Methods (==) :: TimeSpan -> TimeSpan -> Bool # (/=) :: TimeSpan -> TimeSpan -> Bool #