Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. toSchemaBoundedIntegral :: (Bounded a, Integral a) => Proxy a -> Schema

    openapi3 Data.OpenApi.Schema

    Default schema for Bounded, Integral types. 

    >>> BSL.putStrLn $ encodePretty $ toSchemaBoundedIntegral (Proxy :: Proxy Int16)
{
"maximum": 32767,
"minimum": -32768,
"type": "integer"
}

  2. class JoinSemiLattice a => LowerBounded a

    numhask NumHask

    A join-semilattice with an identity element bottom for \/. 

    x \/ bottom == bottom

  3. class MeetSemiLattice a => UpperBounded a

    numhask NumHask

    A meet-semilattice with an identity element top for /\. 

    x /\ top == top

  4. class JoinSemiLattice a => LowerBounded a

    numhask NumHask.Algebra.Lattice

    A join-semilattice with an identity element bottom for \/. 

    x \/ bottom == bottom

  5. class MeetSemiLattice a => UpperBounded a

    numhask NumHask.Algebra.Lattice

    A meet-semilattice with an identity element top for /\. 

    x /\ top == top

  6. toParamSchemaBoundedIntegral :: forall a (t :: SwaggerKind Type) . (Bounded a, Integral a) => Proxy a -> ParamSchema t

    swagger2 Data.Swagger.Internal.ParamSchema

    Default plain schema for Bounded, Integral types. 

    >>> encode $ toParamSchemaBoundedIntegral (Proxy :: Proxy Int8)
"{\"maximum\":127,\"minimum\":-128,\"type\":\"integer\"}"

  7. genericToNamedSchemaBoundedIntegral :: forall a (d :: Meta) (f :: Type -> Type) . (Bounded a, Integral a, Generic a, Rep a ~ D1 d f, Datatype d) => SchemaOptions -> Proxy a -> NamedSchema

    swagger2 Data.Swagger.Internal.Schema

    Default generic named schema for Bounded, Integral types.

  8. toSchemaBoundedIntegral :: (Bounded a, Integral a) => Proxy a -> Schema

    swagger2 Data.Swagger.Internal.Schema

    Default schema for Bounded, Integral types. 

    >>> encode $ toSchemaBoundedIntegral (Proxy :: Proxy Int16)
"{\"maximum\":32767,\"minimum\":-32768,\"type\":\"integer\"}"

  9. toParamSchemaBoundedIntegral :: forall a (t :: SwaggerKind Type) . (Bounded a, Integral a) => Proxy a -> ParamSchema t

    swagger2 Data.Swagger.ParamSchema

    Default plain schema for Bounded, Integral types. 

    >>> encode $ toParamSchemaBoundedIntegral (Proxy :: Proxy Int8)
"{\"maximum\":127,\"minimum\":-128,\"type\":\"integer\"}"

  10. genericToNamedSchemaBoundedIntegral :: forall a (d :: Meta) (f :: Type -> Type) . (Bounded a, Integral a, Generic a, Rep a ~ D1 d f, Datatype d) => SchemaOptions -> Proxy a -> NamedSchema

    swagger2 Data.Swagger.Schema

    Default generic named schema for Bounded, Integral types.

Page 27 of many | Previous | Next