Type.Serialize.Base

Type-level serialization (i.e. type -> type-digit type-level numeral).

Documentation

type family Serialize a

Serialize maps a type to its unique type-level serialization.

encode :: Serialize a => a -> Type

Encode uses the cereal package serializer to encode the value and then uses type-digits to reflect it as a type-level numeral.

serializeType :: Name -> Q [Dec]

Generates the Serialize instance corresponding to the serialization of the type constructor's globally unique name (i.e. TH's NameG).

serializeTypeAsHash :: Name -> Q [Dec]

serializeType can result in very large types, so we prefer the data-hash hash of the NameG's serialization.