Module

Payload.Internal.Url

class EncodeUrl (urlStr :: Symbol) params | urlStr -> params where

(ParseUrl urlStr urlParts, WriteUrl urlParts params) => EncodeUrl urlStr params

class WriteUrl (urlParts :: UrlList) params  where

WriteUrl UrlNil params
(IsSymbol key, Cons key valType from params, ToParam valType, WriteUrl rest params) => WriteUrl (UrlCons (Key key) rest) params
(IsSymbol lit, WriteUrl rest params) => WriteUrl (UrlCons (Lit lit) rest) params
(IsSymbol multiKey, Cons multiKey (List String) from params) => WriteUrl (UrlCons (Multi multiKey) UrlNil) params

class DecodeUrl (urlStr :: Symbol) params | urlStr -> params where

(ParseUrl urlStr urlParts, MatchUrl urlParts params () params) => DecodeUrl urlStr params

class MatchUrl (urlParts :: UrlList) params from to | urlParts -> from to where

(TypeEquals (Record from) (Record to)) => MatchUrl UrlNil params from to
(IsSymbol key, Cons key valType from to, Lacks key from, FromSegments valType) => MatchUrl (UrlCons (Multi key) UrlNil) to from to
(IsSymbol key, MatchUrl rest params from' to, Cons key valType from from', Cons key valType _params params, Lacks key from, FromParam valType) => MatchUrl (UrlCons (Key key) rest) params from to
(IsSymbol lit, MatchUrl rest params from to) => MatchUrl (UrlCons (Lit lit) rest) params from to