Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Provide basic openapi instances #23

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
+122 −8
Open

Provide basic openapi instances #23

Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
2f7f60a
Provide basic openapi instances
worm2fed Jul 19, 2023
18c1df0
Add `FromHttpApiData` instances
worm2fed Jul 20, 2023
5da7a43
fixup! Add `FromHttpApiData` instances
worm2fed Jul 20, 2023
ef6ca7a
fixup! Add `FromHttpApiData` instances
worm2fed Jul 21, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 17 additions & 0 deletions src/Servant/Pagination.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -387,6 +387,9 @@ instance (ToHttpApiData (AcceptRanges (f ': fs)), KnownSymbol field) => ToHttpAp
toUrlPiece AcceptRanges =
Text.pack (symbolVal (Proxy @field)) <> "," <> toUrlPiece (AcceptRanges @(f ': fs))

instance FromHttpApiData (AcceptRanges fields) where
parseUrlPiece _ = Right $ AcceptRanges @fields

instance ToParamSchema (AcceptRanges fields) where
toParamSchema _ =
mempty
Expand All @@ -407,6 +410,20 @@ instance ToHttpApiData (ContentRange fields res) where
Text.pack (symbolVal field) <> " " <> (encodeText . toUrlPiece) start <> ".." <> (encodeText . toUrlPiece) end


instance
( HasPagination resource field
, IsRangeType (RangeType resource field)
) => FromHttpApiData (ContentRange (field ': fields) resource) where
parseUrlPiece "" = Left "Invalid Content Range"
worm2fed marked this conversation as resolved.
Show resolved Hide resolved
parseUrlPiece txt =
case Text.splitOn ".." . snd $ Text.breakOnEnd " " txt of
[start, end] ->
ContentRange
<$> parseUrlPiece start
<*> parseUrlPiece end
<*> pure (Proxy @field)
_otherwise -> Left "Invalid Content Range"

instance ToParamSchema (ContentRange fields resource) where
toParamSchema _ =
mempty
Expand Down