Polyform.Input.Interpret.Http

type Value = Array (Maybe String)

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

type Query = Object Value

variantTag :: forall v. Variant v -> String

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

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

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

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

onField :: forall t156 t155 t154 t147 t146 t145 t139. Monad t155 => (VariantF t139 t147 -> t155 t147) -> VariantF (int :: FProxy (IntF (Variant t145) (Array (Variant (int :: String, required :: Unit, scalar :: NonEmpty Array String | t146))) (Object (Array (Maybe String)))), string :: FProxy (StringF (Variant t154) (Array (Variant (required :: Unit, scalar :: NonEmpty Array String | t156))) (Object (Array (Maybe String)))) | t139) t147 -> t155 t147

handle :: forall t122 t121 t120 t112 t111 t103. Monad t121 => VariantF (int :: FProxy (IntF (Variant t111) (Array (Variant (int :: String, required :: Unit, scalar :: NonEmpty Array String | t112))) (Object (Array (Maybe String)))), string :: FProxy (StringF (Variant t120) (Array (Variant (required :: Unit, scalar :: NonEmpty Array String | t122))) (Object (Array (Maybe String))))) t103 -> t121 t103

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