Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. class MeetSemiLattice a => UpperBounded a

   numhask	NumHask

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

   x /\ top == top
   

2. class JoinSemiLattice a => LowerBounded a

   numhask	NumHask.Algebra.Lattice

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

   x \/ bottom == bottom
   

3. class MeetSemiLattice a => UpperBounded a

   numhask	NumHask.Algebra.Lattice

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

   x /\ top == top
   

4. 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\"}"
   

5. 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.

6. 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\"}"
   

7. 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\"}"
   

8. 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.

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

   swagger2	Data.Swagger.Schema

   Default schema for Bounded, Integral types.

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

10. WindowFrameUnbounded :: WindowFrameBound

    beam-core	Database.Beam.Backend.SQL.AST

    No documentation available.

Page 27 of many | Previous | Next