-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Type-level serialization of type constructors
--   
--   Any <tt>type-spine</tt>-enabled type constructor can be converted to a
--   unique <tt>type-digits</tt> type-level numeral.
@package type-cereal
@version 0.1


-- | Type-level serialization (i.e. type -&gt; <tt>type-digit</tt>
--   type-level numeral).
module Type.Serialize.Base

-- | <tt>Serialize</tt> maps a type to its unique type-level serialization.

-- | Encode uses the <tt>cereal</tt> package serializer to encode the value
--   and then uses <tt>type-digits</tt> to reflect it as a type-level
--   numeral.
encode :: Serialize a => a -> Type

-- | Generates the <tt>Serialize</tt> instance corresponding to the
--   serialization of the type constructor's globally unique name (i.e.
--   TH's <tt>NameG</tt>).
serializeType :: Name -> Q [Dec]

-- | <tt>serializeType</tt> can result in very large types, so we prefer
--   the <tt>data-hash</tt> hash of the <tt>NameG</tt>'s serialization.
serializeTypeAsHash :: Name -> Q [Dec]


-- | Type-level serialization for the basic types (Bool, Char, Either,
--   etc.) as well as the <tt>type-spine</tt> default case for
--   type-applications.
module Type.Serialize