Hoogle Search
Within LTS Haskell 24.56 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
A datatype for ISO 3166 country codes Defines datatype CountryCode that has a two letter constructor corresponding to each of the two letter ISO 3166 country codes, and mappings from that type to the official name of the country.
-
ISO-639-1 language codes ISO-639-1 language codes mapping to Haskell datatypes The code is generated from the official site using haskell-src-exts in an extra file included in the .tar.gz. Special thanks to Petter Bergman for the suggestions and bug fixing
-
Jalaali calendar systems Functions for working with Jalaali (Jalali, Persian, Khayyami, Khorshidi, Shamsi) calendar systems. Please see the README on GitHub at https://github.com/jalaali/jalaali-hs#readme
-
QuasiQuotation library for programmatic generation of Javascript code. Javascript syntax, functional syntax, hygienic names, compile-time guarantees of syntactic correctness, limited typechecking. Additional documentation available at http://www.haskell.org/haskellwiki/Jmacro
-
JSON Feed This is an implementation of the JSON Feed spec in Haskell. The spec is available at https://jsonfeed.org. JSON Feed is similar to the Atom and RSS feed formats, but it is serialized as JSON rather than XML.
-
Fully-featured JSON-RPC 2.0 library Please see the README on GitHub at https://github.com/jprupp/json-rpc#readme
-
Generated elm code for servant APIs. Generate Elm encoders, decoders, and API requests for an Servant API, where the shape of the data going over the API is described using `json-spec`. See the `testtest.hs` and `testApi.hs` for an example.
-
json-spec-openapi This package provides a way to produce openapi3 documentation from a json-spec specification.
Example
Given this data type:data User = User { name :: Text , lastLogin :: Maybe UTCTime } deriving ToSchema via (EncodingSchema User) -- <-- ToSchema instance defined here instance HasJsonEncodingSpec User where type EncodingSpec User = JsonObject '[ Required "name" JsonString , Optional "last-login" JsonDateTime ] toJSONStructure user = (Field @"name" (name user), (fmap (Field @"last-login") (lastLogin user), ()))Calling `Data.Aeson.encode (Data.OpenApi3.toSchema (Proxy :: Proxy User))` will produce the following Schema:{ "additionalProperties": false, "properties": { "last-login": { "format": "date-time", "type": "string" }, "name": { "type": "string" } }, "required": [ "name" ], "type": "object" } -
Producing JUnit-style XML test reports. Please see the README at https://github.com/jwoudenberg/junit-xml.
-
Keyed container types with type-checked proofs of key presence. This package contains wrappers around standard container types, that provide guarantees about the presence of keys within the container.