Module

Polyform.Input.Interpret.Http

Package
purescript-polyform
Repository
paluh/purescript-polyform

#Value Source

type Value = Array (Maybe String)

This representation should cover possible http query values: ?field, ?field=, ?field=value, ?field=value1&field=value2

#variantTag Source

variantTag :: forall v. Variant v -> String

#_handleValue Source

_handleValue :: forall v m n e a. Monad m => Variant n -> Query -> (V e v -> a) -> Validation m e Value v -> m a

#handleString Source

handleString :: forall n m e. Monad m => (StringF (Variant n) (Array (Variant (StringErr e))) Query) ~> m

#IntErr Source

type IntErr e = (int :: String, required :: Unit, scalar :: NonEmpty Array String | e)

#handleInt Source

handleInt :: forall m n e. Monad m => (IntF (Variant n) (Array (Variant (IntErr e))) Query) ~> m

#onField Source

onField :: forall t30821 t30820 t30819 t30812 t30811 t30810 t30804. Monad t30820 => (VariantF t30804 t30812 -> t30820 t30812) -> VariantF (int :: FProxy (IntF (Variant t30810) (Array (Variant (int :: String, required :: Unit, scalar :: NonEmpty Array String | t30811))) (StrMap (Array (Maybe String)))), string :: FProxy (StringF (Variant t30819) (Array (Variant (required :: Unit, scalar :: NonEmpty Array String | t30821))) (StrMap (Array (Maybe String)))) | t30804) t30812 -> t30820 t30812

#handle Source

handle :: forall t30787 t30786 t30785 t30777 t30776 t30768. Monad t30786 => VariantF (int :: FProxy (IntF (Variant t30776) (Array (Variant (int :: String, required :: Unit, scalar :: NonEmpty Array String | t30777))) (StrMap (Array (Maybe String)))), string :: FProxy (StringF (Variant t30785) (Array (Variant (required :: Unit, scalar :: NonEmpty Array String | t30787))) (StrMap (Array (Maybe String))))) t30768 -> t30786 t30768

#interpret Source

interpret :: forall m n' n es ei. Monad m => (Run (int :: FProxy (IntF (Variant n') (Array (Variant (IntErr ei))) Query), string :: FProxy (StringF (Variant n) (Array (Variant (StringErr es))) Query))) ~> m