Hoogle Search

Within LTS Haskell 24.49 (ghc-9.10.3)

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

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

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

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

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

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

    Default generic named schema for Bounded, Integral types.

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

  7. fromBounded :: forall (n :: Nat) . Nat n -> Builder n -> Builder

    bytebuild Data.Bytes.Builder

    Convert a bounded builder to an unbounded one. If the size is a constant, use Arithmetic.Nat.constant as the first argument to let GHC conjure up this value for you.

  8. class ToBoundedBuilder a

    bytebuild Data.Bytes.Builder.Bounded.Class

    Variant of To that can be encoded as a builder. Human-readable encodings are used when possible. For example, numbers are encoded an ascii-encoded decimal characters. UTF-8 is preferred for textual types. For types that represent arbitrary bytes (e.g. Bytes, ByteString), the bytes are preserved. The goal of this typeclass is to reduce the size of builders produced by quasiquotation.

  9. toBounded :: Type -> Type

    express Data.Express.Utils.TH

    Binds all unbound variables using a ForallT constructor. (cf. unboundVars)

  10. toBoundedQ :: TypeQ -> TypeQ

    express Data.Express.Utils.TH

    Same as toBounded but lifted over Q

Page 28 of many | Previous | Next