ICal.Parser

The basic parser.

Types

data Parser m s a

Parser type.

Instances

Monad m => Monad (Parser m s)

Methods

(>>=) :: Parser m s a -> (a -> Parser m s b) -> Parser m s b

(>>) :: Parser m s a -> Parser m s b -> Parser m s b

return :: a -> Parser m s a

fail :: String -> Parser m s a

Monad m => Functor (Parser m s)

Methods

fmap :: (a -> b) -> Parser m s a -> Parser m s b

(<$) :: a -> Parser m s b -> Parser m s a

Monad m => Applicative (Parser m s)

Methods

pure :: a -> Parser m s a

(<*>) :: Parser m s (a -> b) -> Parser m s a -> Parser m s b

(*>) :: Parser m s a -> Parser m s b -> Parser m s b

(<*) :: Parser m s a -> Parser m s b -> Parser m s a

Monad m => Alternative (Parser m s)

Left branch failing resets the state.

Methods

empty :: Parser m s a

(<|>) :: Parser m s a -> Parser m s a -> Parser m s a

some :: Parser m s a -> Parser m s [a]

many :: Parser m s a -> Parser m s [a]

data ParseError

A parse error.

Constructors

ExpectedObject !Text

ExpectedProperty !Text

GeneralProblem !Text

Instances

Show ParseError

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

Handy starter functions

parseEither :: Monad m => s -> Parser m s a -> m (Either ParseError a)

Parse some iCalendar thing.

Combinators

begin :: Monad m => Text -> Parser m [Object] a -> Parser m Object a

Require the given object name to exist and run in that context.

object :: Monad m => Text -> Parser m [Object] a -> Parser m [Object] a

Lookup an object with this name in the current object's children, then run with that object as the context.

objects :: Monad m => Text -> Parser m [Object] a -> Parser m [Object] [a]

Lookup objects with this name in the current object's children, then run with that object as the context.

property

Arguments

:: Monad m

=> Text

Key

-> Parser m [Object] Text

The value of that property.

Lookup a property.

properties

Arguments

:: Monad m

=> Text

Key

-> Parser m [Object] [Text]

The values of that property.

Get all values of a property.

Parser library

local :: Monad m => t -> Parser m t a -> Parser m s a

Use a local state of a different type.

parseError :: Monad m => ParseError -> Parser m o a

Throw a parse error.

getState :: Monad m => Parser m s s

Get the current state.

putState :: Monad m => s -> Parser m s ()

Put a new state.