binrep-0.2.0: Encode precise binary representations directly in types
Safe HaskellSafe-Inferred
LanguageHaskell2010

Binrep.Generic.Internal

Synopsis

Documentation

data Cfg a Source #

Constructors

Cfg 

Fields

  • cSumTag :: String -> a

    How to turn a constructor name into a byte tag.

type GErrRefuseVoid = 'Text "Refusing to derive binary representation for void datatype" Source #

Common type error string for when GHC attempts to derive an binrep instance for a (the?) void datatype V1.

conName' :: forall c. Constructor c => String Source #

conName without the value (only used as a proxy). Lets us push our undefineds into one place.