Text.Digestive.Types

Core types used internally

Documentation

data Result v a

A mostly internally used type for representing Success/Error, with a special applicative instance

Constructors

Success a

Error v

Instances

Monoid v => Monad (Result v)

Methods

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

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

return :: a -> Result v a

fail :: String -> Result v a

Functor (Result v)

Methods

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

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

Monoid v => Applicative (Result v)

Methods

pure :: a -> Result v a

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

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

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

(Show v, Show a) => Show (Result v a)

Methods

showsPrec :: Int -> Result v a -> ShowS

show :: Result v a -> String

showList :: [Result v a] -> ShowS

resultMapError :: (v -> w) -> Result v a -> Result w a

Map over the error type of a Result

type Path = [Text]

Describes a path to a subform

toPath :: Text -> Path

Create a Path from some text

fromPath :: Path -> Text

Serialize a Path to Text

data Method

The HTTP methods

Constructors

Get

Post

Instances

Eq Method

Methods

(==) :: Method -> Method -> Bool

(/=) :: Method -> Method -> Bool

Ord Method

Methods

compare :: Method -> Method -> Ordering

(<) :: Method -> Method -> Bool

(<=) :: Method -> Method -> Bool

(>) :: Method -> Method -> Bool

(>=) :: Method -> Method -> Bool

max :: Method -> Method -> Method

min :: Method -> Method -> Method

Show Method

Methods

showsPrec :: Int -> Method -> ShowS

show :: Method -> String

showList :: [Method] -> ShowS

data FormInput

The different input types sent by the browser

Constructors

TextInput Text

FileInput FilePath

Instances

Show FormInput

Methods

showsPrec :: Int -> FormInput -> ShowS

show :: FormInput -> String

showList :: [FormInput] -> ShowS

type Env m = Path -> m [FormInput]

An environment (e.g. a server) from which we can read input parameters. A single key might be associated with multiple text values (multi-select).