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

Monad (Result v)

Functor (Result v)

Monoid v => Applicative (Result v)

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

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

Ord Method

Show Method

data FormInput

The different input types sent by the browser

Constructors

TextInput Text

FileInput FilePath

Instances

Show FormInput

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).