GHC.TypeError

Safe Haskell	Безопасно
Язык	Haskell2010

data ErrorMessage Source

Описание пользовательской ошибки типа.

type family TypeError (a :: ErrorMessage) :: b where ... Source

Эквивалент уровня типов error.

Полиморфный вид этого типа позволяет использовать его в различных контекстах. Например, он может использоваться как ограничение, например, для предоставления лучшего сообщения об ошибке для несуществующего экземпляра,

-- in a context
instance TypeError (Text "Cannot Show functions." :$$:
                    Text "Perhaps there is a missing argument?")
      => Show (a -> b) where
    showsPrec = error "unreachable"

Его также можно разместить справа от функции уровня типа, чтобы сообщить об ошибке для недействительного случая,

type family ByteSize x where
   ByteSize Word16   = 2
   ByteSize Word8    = 1
   ByteSize a        = TypeError (Text "The type " :<>: ShowType a :<>:
                                  Text " is not exportable.")

С момента: base-4.9.0.0

type family Assert (check :: Bool) errMsg where ... Source

Функция уровня типа assert.

Если первый аргумент оценивается как истина, возвращается пустое ограничение, в противном случае используется второй аргумент (который должен свестись к TypeError).

Например, для некоторого предиката уровня типа P' :: Type -> Bool, можно написать синоним типа

type P a = Assert (P' a) (NotPError a)

где NotPError сводится к TypeError, который отображается, если утверждение не выполняется.

С момента: base-4.17.0.0

class Unsatisfiable (msg :: ErrorMessage) Source

Неудовлетворимое ограничение. Похоже на TypeError, когда используется в виде Constraint, но сообщает об ошибках более предсказуемо.

См. также функцию unsatisfiable.

since base-4.19.0.0.

unsatisfiable :: forall (msg :: ErrorMessage) a. Unsatisfiable msg => a Source

Доказать что угодно в контексте с ограничением Unsatisfiable.

Это полезно для заполнения методов экземпляров, когда есть ограничение Unsatisfiable в заголовке экземпляра, например:

instance Unsatisfiable (Text "No Eq instance for functions") => Eq (a -> b) where

(==) = unsatisfiable

since base-4.19.0.0.