6.4.2. Контексты типов данных

DatatypeContexts

Версия:

7.0.1

Статус:

Устарело, включено в Haskell98, Haskell2010

Разрешает задавать контексты для типов data.

В Haskell контексты можно задавать для типов данных, например:

data Eq a => Set a = NilSet | ConsSet a (Set a)

что задаёт конструкторам следующие типы:

NilSet :: Set a
ConsSet :: Eq a => a -> Set a -> Set a

Это широко считается неудачным решением, и от него планируется отказаться в языке. В GHC оно управляется устаревшим расширением DatatypeContexts.