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

DatatypeContexts

Since:

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.