Module
Yoga.Fetch.Om.ExtractParams
- Package
- purescript-yoga-fetch-om
- Repository
- rowtype-yoga/purescript-yoga-fetch-om
#ExtractRequestHeaders Source
class ExtractRequestHeaders :: Type -> Row Type -> Constraintclass ExtractRequestHeaders request headers | request -> headers
Instances
(RowToList row rl, FindHeaders rl headers) => ExtractRequestHeaders (Record row) headers(ExtractRequestHeaders (Record row) headers) => ExtractRequestHeaders (Request (Record row)) headers
#ExtractRequestBody Source
class ExtractRequestBody request body | request -> bodyInstances
(RowToList row rl, FindBodyType rl encoding, UnwrapEncoding encoding body) => ExtractRequestBody (Record row) body(ExtractRequestBody (Record row) body) => ExtractRequestBody (Request (Record row)) body
#FindBodyType Source
class FindBodyType :: RowList Type -> Type -> Constraintclass FindBodyType rl encoding | rl -> encoding
Instances
FindBodyType Nil NoBodyFindBodyType (Cons "body" encoding tail) encoding(FindBodyType tail encoding) => FindBodyType (Cons label ty tail) encoding
#UnwrapEncoding Source
class UnwrapEncoding encoding body | encoding -> bodyInstances
#FindHeaders Source
class FindHeaders :: RowList Type -> Row Type -> Constraintclass FindHeaders rl headers | rl -> headers
Instances
FindHeaders Nil ()FindHeaders (Cons "headers" (Record h) tail) h(FindHeaders tail headers) => FindHeaders (Cons label ty tail) headers