HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulestore-0.7.20Haskell2010

Data.Store.TypeHash.Internal

  • 2 types
  • 1 class
  • 9 values
  • Packagestore-0.7.20
  • 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.