Network.Wai.RequestSpec

Documentation

• Primitive parsing data types

data Result a

Constructors

Failure Error

Success a

Instances

Monad Result

Functor Result

Applicative Result

Show a => Show (Result a)

data P a

Instances

Alternative P

Monad P

Functor P

MonadPlus P

Applicative P

Monoid a => Monoid (P a)

• Primitive parsing functions

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

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

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

• Error generation and parser annotation

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

freeform :: Text -> P a

malformed :: Reason -> Text -> P a

missing :: Loc -> P a

• Error types

data Loc

Constructors

Header (CI Text)

Param Text

Instances

Show Loc

type Reason = Text

data Error

Constructors

Missing Loc

Malformed Reason Text

Freeform Reason

Or Error Error

And Error Error

Annotation Text

Clear

Instances

Show Error

Monoid Error

• Generating parsing environment

toEnv :: Request -> ByteString -> Env

• Parser driving type class

data Env

Instances

Show Env

class FromEnv a where

Methods

fromEnv :: Env -> P a

• Derived combinators, query parameters

intQ :: (Read a, Integral a) => Text -> Env -> P a

Require a parameter as an integral type

boolQ :: Text -> Env -> P Bool

Require a parameter as a boolean: "true" | "false"

floatQ :: (Read a, Fractional a) => Text -> Env -> P a

Require a parameter as a fractional type

textQ :: Text -> Env -> P Text

Require a parameter as text

bytesQ :: (Text -> ByteString) -> Text -> Env -> P ByteString

Require a parameter as bytes, applying the encoding function f

intQM :: (Read a, Integral a) => Text -> Env -> P (Maybe a)

Optional parameter as integral

floatQM :: (Read a, Fractional a) => Text -> Env -> P (Maybe a)

Optional parameter as fractional

textQM :: Text -> Env -> P (Maybe Text)

Optional parameter as text

bytesQM :: (Text -> ByteString) -> Text -> Env -> P (Maybe ByteString)

Optional header as bytes, applying the encoding function f

• Derived combinators, form parameters

intF :: (Read a, Integral a) => Text -> Env -> P a

Require a parameter as an integral type

boolF :: Text -> Env -> P Bool

Require a parameter as a boolean: "true" | "false"

floatF :: (Read a, Fractional a) => Text -> Env -> P a

Require a parameter as a fractional type

textF :: Text -> Env -> P Text

Require a parameter as text

bytesF :: (Text -> ByteString) -> Text -> Env -> P ByteString

Require a parameter as bytes, applying the encoding function f

intFM :: (Read a, Integral a) => Text -> Env -> P (Maybe a)

Optional parameter as integral

floatFM :: (Read a, Fractional a) => Text -> Env -> P (Maybe a)

Optional parameter as fractional

textFM :: Text -> Env -> P (Maybe Text)

Optional parameter as text

bytesFM :: (Text -> ByteString) -> Text -> Env -> P (Maybe ByteString)

Optional header as bytes, applying the encoding function f

• Derived combinators, headers

intH :: (Integral a, Read a) => CI Text -> Env -> P a

Require a header as an integral type

boolH :: CI Text -> Env -> P Bool

Require a header as a boolean: "true" | "false"

floatH :: (Fractional a, Read a) => CI Text -> Env -> P a

Require a header a fractional type

textH :: CI Text -> Env -> P Text

Require a header as text

bytesH :: (Text -> ByteString) -> CI Text -> Env -> P ByteString

Require a header as bytes, applying the encoding function f

intHM :: (Integral a, Read a) => CI Text -> Env -> P (Maybe a)

Optional header as integral

floatHM :: (Fractional a, Read a) => CI Text -> Env -> P (Maybe a)

Optional header as floating

textHM :: CI Text -> Env -> P (Maybe Text)

Optional header as text

bytesHM :: (Text -> ByteString) -> CI Text -> Env -> P (Maybe ByteString)

Optional header as bytes, applying the encoding function f

• Derived combinators, utility

choice :: [P a] -> P a

Combine a series of alternatives choice [a, b, c] == a | b | c | empty