ConditionalRestriction.Parse

This module reexports functions and types you are most likely to use from ConditionalRestriction.Parse.*.

Documentation

data Parser i a

A generic parser. Takes an input type i and returns an output type a.

Instances

Alternative (Parser i)

Defined in ConditionalRestriction.Internal.Parse.ParserLib

Methods

empty :: Parser i a

(<|>) :: Parser i a -> Parser i a -> Parser i a

some :: Parser i a -> Parser i [a]

many :: Parser i a -> Parser i [a]

Applicative (Parser i)

Defined in ConditionalRestriction.Internal.Parse.ParserLib

Methods

pure :: a -> Parser i a

(<*>) :: Parser i (a -> b) -> Parser i a -> Parser i b

liftA2 :: (a -> b -> c) -> Parser i a -> Parser i b -> Parser i c

(*>) :: Parser i a -> Parser i b -> Parser i b

(<*) :: Parser i a -> Parser i b -> Parser i a

Functor (Parser i)

Defined in ConditionalRestriction.Internal.Parse.ParserLib

Methods

fmap :: (a -> b) -> Parser i a -> Parser i b

(<$) :: a -> Parser i b -> Parser i a

Monad (Parser i)

Defined in ConditionalRestriction.Internal.Parse.ParserLib

Methods

(>>=) :: Parser i a -> (a -> Parser i b) -> Parser i b

(>>) :: Parser i a -> Parser i b -> Parser i b

return :: a -> Parser i a

parse :: Parser i a -> i -> Result String (a, i)

pConditionalRestriction :: Parser String ConditionalRestriction

Parse conditional restrictions, e.g. "90 @ 18:00-22:00; 50 @ wet".

pCondition :: Parser String Condition

pValue :: Parser String Value

Parses Values. See pBool, pNum and pTime for formats.

pOpeningHours :: Parser String OpeningHours

Parse opening hours, e.g. "Di-Fr 08:00-20:00".

data ConditionalRestriction

AST representation of a conditional restriction.

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 Condition

AST representation of a condition.

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 OpeningHours

AST representation of opening hours. Not complete.

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 ID = String

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

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

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

type Token = String

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