singletons-base-3.3: A promoted and singled version of the base library
Copyright(C) 2023 Ryan Scott
LicenseBSD-style (see LICENSE)
MaintainerRyan Scott
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageGHC2021

Data.Singletons.Base.PolyError

Description

Defines a replacement for the promoted Error function whose argument is kind-polymorphic.

Synopsis
  • type family PolyError (arg :: a) :: b where ...

Documentation

type family PolyError (arg :: a) :: b where ... Source #

Like Error from GHC.TypeLits.Singletons, but with an argument that is generalized to be kind-polymorphic. This allows passing additional information to the error besides raw Symbols.