Ideas.Utils.Parsing

Utility functions for parsing with Parsec library

Documentation

(<*>) :: Applicative f => forall a b. f (a -> b) -> f a -> f b

Sequential application.

(*>) :: Applicative f => forall a b. f a -> f b -> f b

Sequence actions, discarding the value of the first argument.

(<*) :: Applicative f => forall a b. f a -> f b -> f a

Sequence actions, discarding the value of the second argument.

(<$>) :: Functor f => (a -> b) -> f a -> f b infixl 4

An infix synonym for fmap.

The name of this operator is an allusion to $. Note the similarities between their types:

 ($)  ::              (a -> b) ->   a ->   b
(<$>) :: Functor f => (a -> b) -> f a -> f b

Whereas $ is function application, <$> is function application lifted over a Functor.

Examples

Convert from a Maybe Int to a Maybe String using show:

>>> show <$> Nothing
Nothing
>>> show <$> Just 3
Just "3"

Convert from an Either Int Int to an Either Int String using show:

>>> show <$> Left 17
Left 17
>>> show <$> Right 17
Right "17"

Double each element of a list:

>>> (*2) <$> [1,2,3]
[2,4,6]

Apply even to the second element of a pair:

>>> even <$> (2,2)
(2,True)

(<$) :: Functor f => forall a b. a -> f b -> f a

Replace all locations in the input with the same value. The default definition is fmap . const, but this may be overridden with a more efficient version.

(<**>) :: Applicative f => f a -> f (a -> b) -> f b infixl 4

A variant of <*> with the arguments reversed.

parseSimple :: Parser a -> String -> Either String a

complete :: Parser a -> Parser a

skip :: Parser a -> Parser ()

(<..>) :: Char -> Char -> Parser Char infix 6

ranges :: [(Char, Char)] -> Parser Char

stopOn :: [String] -> Parser String

naturalOrFloat :: Parser (Either Integer Double)

float :: Parser Double

data UnbalancedError

Constructors

NotClosed SourcePos Char

NotOpened SourcePos Char

Instances

Show UnbalancedError

Methods

showsPrec :: Int -> UnbalancedError -> ShowS

show :: UnbalancedError -> String

showList :: [UnbalancedError] -> ShowS

balanced :: [(Char, Char)] -> String -> Maybe UnbalancedError