HORIZON HASKELLDocslts/ghc-9.14.x3e2d5682026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11

Modulestore-0.7.22Haskell2010

Data.Store.TypeHash.Internal

  • 2 types
  • 1 class
  • 9 values
  • Packagestore-0.7.22
  • Exports12
  • LanguageHaskell2010
  • LicenceMIT
  • SourceInternal.hs
newtypenewtype Tagged a
#

Constructors

Instances8Eq, Data, Ord, Show, Generic, NFData, …
newtypenewtype TypeHash
#

Constructors

Instances9Eq, Data, Ord, Show, Generic, NFData, …
valuetypeHashForNames :: [Name] -> Q Exp
#

At compiletime, this yields a hash of the specified datatypes. Not only does this cover the datatypes themselves, but also all transitive dependencies.

The resulting expression is a literal of type TypeHash.

valuehashOfType :: Type -> Q Exp
#

At compiletime, this yields a cryptographic hash of the specified Type, including the definition of things it references (transitively).

The resulting expression is a literal of type TypeHash.