We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
Servant.API.Range
When this is merged, I have the code ready to have the ToSchema and ToParamSchema instances derived for free based on this code:
ToSchema
ToParamSchema
instance (KnownNat min, KnownNat max) => ToSchema (BoundedNat min max) where declareNamedSchema _ = pure . NamedSchema Nothing $ mempty & #type ?~ OpenApiInteger & #minimum ?~ fromIntegral (minBound @(BoundedNat min max)).unBoundedNat & #maximum ?~ fromIntegral (maxBound @(BoundedNat min max)).unBoundedNat instance (KnownNat min, KnownNat max) => ToParamSchema (BoundedNat min max) where toParamSchema = toSchema
The text was updated successfully, but these errors were encountered:
Servant.API.Range type
No branches or pull requests
When this is merged, I have the code ready to have the
ToSchema
andToParamSchema
instances derived for free based on this code:The text was updated successfully, but these errors were encountered: