Синоним типа для Haskell, дающий ошибки типа

Question

Я пытаюсь создать синоним типа, похожий на этот:haskell жалуется

    Not in scope: data constructor `Result'

Как определить синоним типа с работающим конструктором?!

Answer 1

Как вы пытаетесь создать Result ??Правильный путь:

Если вы объявите его как data:

data Result = Result (Either String [Token])

f :: Result
f = (Result (Left "test"))

Или, если вы объявите как type:

type Result = Either String [Token]

f :: Result
f = Left "test"

Answer 2

С

type Result = Either String Token

конструкторы данных

Left :: String -> Result
Right :: [Token] -> Result

потому что

data Either a b = Left a | Right b

С

data Result = Either String [Token]

вы объявляете Result одним конструктором с двумя аргументами, Either с типом

Either :: String -> [Token] -> Result

а) это, вероятно, не то, что вам нужно, и б) сбивает с толку, потому что Either является известным конструктором типов.

Answer 3

Я думаю, вам нужно использовать тип , а не данные

type Result = Either String [Token]