Ограничение значения в конструкторах типов [дубликат]

На этот вопрос уже есть ответы здесь :

Закрыто 8 лет назад .

Возможный дубликат:
Как создать тип, ограниченный определенным диапазоном

У меня есть тип данных:

data Expr = Num Int
          | Expression Expr Operator Expr

В контексте проблемы числа, которые (Num Int) будет представлять только одну цифру. Есть ли способ обеспечить это ограничение в объявлении типа?

Конечно, мы могли бы определить функцию для проверки допустимости Expr , но было бы неплохо, если бы система типов обрабатывала это.

haskell

задан Community 23 May 2017 в 12:32

0 ответов

Другие вопросы по тегам:

haskell