Изучай Haskell во имя добра! (Липовача) - страница 200
>ghci> CharList "бенни" == CharList "бенни"
>True
>ghci> CharList "бенни" == CharList "устрицы"
>False
В данном конкретном случае использования ключевого слова >newtype конструктор данных имеет следующий тип:
>CharList :: [Char] –> CharList
Он берёт значение типа >[Char] и возвращает значение типа >CharList. Из предыдущих примеров, где мы использовали конструктор данных >CharList, видно, что действительно так оно и есть. И наоборот, функция >getCharList, которая была автоматически сгенерирована за нас (потому как мы использовали синтаксис записей с именованными полями в нашей декларации >newtype), имеет следующий тип:
>getCharList :: CharList –> [Char]
Она берёт значение типа >CharList и преобразует его в значение типа >[Char]. Вы можете воспринимать это как оборачивание и разворачивание, но также можете рассматривать это как преобразование значений из одного типа в другой.
Использование ключевого слова newtype для создания экземпляров классов типов
Часто мы хотим сделать наши типы экземплярами определённых классов типов, но параметры типа просто не соответствуют тому, что нам требуется. Сделать для типа >Maybe экземпляр класса >Functor легко, потому что класс типов >Functor определён вот так:
>class Functor f where
> fmap :: (a -> b) -> f a -> f b
Поэтому мы просто начинаем с этого:
>instance Functor Maybe where
А потом реализуем функцию >fmap.
Все параметры типа согласуются, потому что тип >Maybe занимает место идентификатора >f в определении класса типов >Functor. Если взглянуть на функцию >fmap, как если бы она работала только с типом >Maybe, в итоге она ведёт себя вот так:
>fmap :: (a -> b) -> Maybe a -> Maybe b
Разве это не замечательно? Ну а что если мы бы захотели определить экземпляр класса >Functor для кортежей так, чтобы при отображении кортежа с помощью функции >fmap входная функция применялась к первому элементу кортежа? Таким образом, выполнение >fmap (+3) (1,1) вернуло бы >(4,1). Оказывается, что написание экземпляра для этого отчасти затруднительно. При использовании типа >Maybe мы просто могли бы написать: >instance Functor Maybe where, так как только для конструкторов типа, принимающих ровно один параметр, могут быть определены экземпляры класса >Functor. Но, похоже, нет способа сделать что-либо подобное при использовании типа >(a,b) так, чтобы в итоге изменялся только параметр типа >a, когда мы используем функцию >fmap. Чтобы обойти эту проблему, мы можем сделать новый тип из нашего кортежа с помощью ключевого слова >newtype так, чтобы второй параметр типа представлял тип первого компонента в кортеже: