Modulestore-0.7.22Haskell2010

Data.Store.TypeHash

This module provides utilities for computing hashes based on the structural definitions of datatypes. The purpose of this is to provide a mechanism for tagging serialized data in such a way that deserialization issues can be anticipated.

Contents

TH for generating HasTypeHash instances

Synopsis

newtype Tagged
newtype TypeHash
class HasTypeHash
value mkHasTypeHash
value mkManyHasTypeHash

Packagestore-0.7.22
Exports5
LanguageHaskell2010
LicenceMIT
SourceTypeHash.hs

newtypenewtype Tagged a

Constructors

Tagged
- unTagged :: a

Instances8Eq, Data, Ord, Show, Generic, NFData, …

Eq a => Eq (Tagged a)Defined in store-0.7.22 · Data.Store.TypeHash.Internal
Data a => Data (Tagged a)Defined in store-0.7.22 · Data.Store.TypeHash.Internal
Ord a => Ord (Tagged a)Defined in store-0.7.22 · Data.Store.TypeHash.Internal
Show a => Show (Tagged a)Defined in store-0.7.22 · Data.Store.TypeHash.Internal
Generic (Tagged a)Defined in store-0.7.22 · Data.Store.TypeHash.Internal
NFData a => NFData (Tagged a)Defined in store-0.7.22 · Data.Store.TypeHash.Internal
(Store a, HasTypeHash a) => Store (Tagged a)Defined in store-0.7.22 · Data.Store.TypeHash.Internal
type Rep (Tagged a) = D1 ('MetaData "Tagged" "Data.Store.TypeHash.Internal" "store-0.7.22-CdouN1LsOKJ7tYrHUPKkgN" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))Defined in store-0.7.22 · Data.Store.TypeHash.Internal

newtypenewtype TypeHash

Instances9Eq, Data, Ord, Show, Generic, NFData, …

Eq TypeHashDefined in store-0.7.22 · Data.Store.TypeHash.Internal
Data TypeHashDefined in store-0.7.22 · Data.Store.TypeHash.Internal
Ord TypeHashDefined in store-0.7.22 · Data.Store.TypeHash.Internal
Show TypeHashDefined in store-0.7.22 · Data.Store.TypeHash.Internal
Generic TypeHashDefined in store-0.7.22 · Data.Store.TypeHash.Internal
NFData TypeHashDefined in store-0.7.22 · Data.Store.TypeHash.Internal
Store TypeHashDefined in store-0.7.22 · Data.Store.TypeHash.Internal
Lift TypeHashDefined in store-0.7.22 · Data.Store.TypeHash.Internal
type Rep TypeHash = D1 ('MetaData "TypeHash" "Data.Store.TypeHash.Internal" "store-0.7.22-CdouN1LsOKJ7tYrHUPKkgN" 'True) (C1 ('MetaCons "TypeHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTypeHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StaticSize 20 ByteString))))Defined in store-0.7.22 · Data.Store.TypeHash.Internal

classclass HasTypeHash a where

Methods

typeHash :: Proxy a -> TypeHash

TH for generating HasTypeHash instances

valuemkHasTypeHash :: Type -> Q [Dec]

Deprecated. Use of Data.Store.TypeHash isn't recommended, as the hashes are too unstable for most uses. Please instead consider using Data.Store.Version. See https://github.com/fpco/store/issues/53

valuemkManyHasTypeHash :: [Q Type] -> Q [Dec]