Network.Wai.RequestSpec.Parser

Documentation

data Result a

Constructors

Failure Error

Success a

Instances

Monad Result

Methods

(>>=) :: Result a -> (a -> Result b) -> Result b

(>>) :: Result a -> Result b -> Result b

return :: a -> Result a

fail :: String -> Result a

Functor Result

Methods

fmap :: (a -> b) -> Result a -> Result b

(<$) :: a -> Result b -> Result a

Applicative Result

Methods

pure :: a -> Result a

(<*>) :: Result (a -> b) -> Result a -> Result b

(*>) :: Result a -> Result b -> Result b

(<*) :: Result a -> Result b -> Result a

Show a => Show (Result a)

Methods

showsPrec :: Int -> Result a -> ShowS

show :: Result a -> String

showList :: [Result a] -> ShowS

data P a

Instances

Monad P

Methods

(>>=) :: P a -> (a -> P b) -> P b

(>>) :: P a -> P b -> P b

return :: a -> P a

fail :: String -> P a

Functor P

Methods

fmap :: (a -> b) -> P a -> P b

(<$) :: a -> P b -> P a

Applicative P

Methods

pure :: a -> P a

(<*>) :: P (a -> b) -> P a -> P b

(*>) :: P a -> P b -> P b

(<*) :: P a -> P b -> P a

Alternative P

Methods

empty :: P a

(<|>) :: P a -> P a -> P a

some :: P a -> P [a]

many :: P a -> P [a]

MonadPlus P

Methods

mzero :: P a

mplus :: P a -> P a -> P a

Monoid a => Monoid (P a)

Methods

mempty :: P a

mappend :: P a -> P a -> P a

mconcat :: [P a] -> P a

parse :: (a -> P b) -> a -> Result b

parseMaybe :: (a -> P b) -> a -> Maybe b

parseEither :: (a -> P b) -> a -> Either Error b

(<?>) :: P a -> Text -> P a

missing :: Loc -> P a

malformed :: Reason -> Text -> P a

freeform :: Text -> P a