Polyform.Dual.Validators.UrlEncoded

newtype Decoded

Because Map has quite unexpected instance for Monoid we have to provide our own appending instance.

Constructors

• Decoded Decoded

Instances

• Newtype Decoded _
• Eq Decoded
• Semigroup Decoded
• Monoid Decoded

type Dual m e a = Dual (Validator m (Errors e)) Decoded a

type Errors e = Errors (Error + e)

type FieldValueDual m a = Dual (Validator m String) (Maybe (Array String)) a

array :: forall m. Monad m => FieldValueDual m (Array String)

boolean :: forall m. Monad m => FieldValueDual m Boolean

field :: forall m e a. Monad m => String -> FieldValueDual m a -> Dual m e a

int :: forall m. Monad m => FieldValueDual m Int

number :: forall m. Monad m => FieldValueDual m Number

optional :: forall m a. Monad m => FieldValueDual m a -> FieldValueDual m (Maybe a)

query :: forall m e. Monad m => Options -> Dual (Validator m (Errors e)) String Decoded

string :: forall m. Monad m => FieldValueDual m String