Servant.API.Modifiers

Required argument. Not wrapped.

Optional argument. Wrapped in Maybe.

Fold modifier list to decide whether argument is required.

>>> :kind! FoldRequired '[Required, Description "something"]FoldRequired '[Required, Description "something"] :: Bool= 'True

>>> :kind! FoldRequired '[Required, Optional]FoldRequired '[Required, Optional] :: Bool= 'False

>>> :kind! FoldRequired '[]FoldRequired '[] :: Bool= 'False

Implementation of FoldRequired.

Leniently parsed argument, i.e. parsing never fail. Wrapped in Either Text.

Strictly parsed argument. Not wrapped.

Fold modifier list to decide whether argument should be parsed strictly or leniently.

>>> :kind! FoldLenient '[]FoldLenient '[] :: Bool= 'False

Implementation of FoldLenient.

Helper type alias.

• Required ↦ a

• Optional ↦ Maybe a

Fold a RequiredAgument into a value

Unfold a value into a RequiredArgument.

Helper type alias.

By default argument is Optional and Strict.

• Required, Strict ↦ a

• Required, Lenient ↦ Either Text a

• Optional, Strict ↦ Maybe a

• Optional, Lenient ↦ Maybe (Either Text a)

Unfold a value into a RequestArgument.