Module
Yoga.Fetch.Om.SplitParams
- Package
- purescript-yoga-fetch-om
- Repository
- rowtype-yoga/purescript-yoga-fetch-om
#SplitParams Source
class SplitParams :: Row Type -> Row Type -> Row Type -> Row Type -> Constraintclass SplitParams allParams pathParams queryParams bodyParams | allParams -> pathParams queryParams bodyParams where
Members
splitParams :: Record allParams -> { body :: Record bodyParams, path :: Record pathParams, query :: Record queryParams }
Instances
(RowToList pathParams pathRL, RowToList queryParams queryRL, RowToList bodyParams bodyRL, ExtractSubRecord pathRL allParams pathParams, ExtractSubRecord queryRL allParams queryParams, ExtractSubRecord bodyRL allParams bodyParams) => SplitParams allParams pathParams queryParams bodyParams
#ExtractSubRecord Source
class ExtractSubRecord :: RowList Type -> Row Type -> Row Type -> Constraintclass ExtractSubRecord rl source target | rl -> target where
Members
extractSubRecord :: Proxy rl -> Record source -> Record target
Instances
ExtractSubRecord Nil source ()(IsSymbol label, Cons label ty sourceTail source, Cons label ty targetTail target, Lacks label targetTail, ExtractSubRecord tail source targetTail) => ExtractSubRecord (Cons label ty tail) source target