binrep-0.8.0: Encode precise binary representations directly in types
Safe HaskellSafe-Inferred
LanguageGHC2021

Binrep.Common.Class.TypeErrors

Synopsis
  • type ENoEmpty = 'Text "No binary representation for empty data type"
  • type ENoSum = 'Text "No binary representation for unannotated sum data type" :$$: ('Text "Consider defining a custom data type" :<>: 'Text " and deriving a generic instance with explicit sum handling")

Documentation

type ENoEmpty = 'Text "No binary representation for empty data type" Source #

Common type error string for when you attempt to use a binrep instance at an empty data type (e.g. Void, V1).

type ENoSum = 'Text "No binary representation for unannotated sum data type" :$$: ('Text "Consider defining a custom data type" :<>: 'Text " and deriving a generic instance with explicit sum handling") Source #

Common type error string for when you attempt to use a binrep instance at a sum data type GHC is asked to derive a non-sum instance, but the data type in question turns out to be a sum data type.

No need to add the data type name here, since GHC's context includes the surrounding instance declaration.