жирным шрифтом отображены тайп классы. А под ними обычным мелким шрифтом что? Инстансы?
То есть инстанс инт от num, и есть инстанс инт от real, и также от интеграл? То есть есть 3 инстанса инт по дефолта?
Мне кажется что что-то тут я не так понимаю
https://upload.wikimedia.org/wikipedia/commons/thumb/0/04/Base-classes.svg/510px-Base-classes.svg.png
У Show нет инстанса IO
Figure 6.1 shows the hierarchy of Haskell classes defined in the Prelude and the Prelude types that are instances of these classes.
Тут показываются некоторые тайпклассы из стандартной библиотеки, а так же некоторые типы, которые имеют инстансы этих тайпклассов. Стрелками показывается, что тайпкласс требует для инстанса другого тайпкласса.
ну там и написано "Всё кроме IO и (->)"
Набери :info Int в ghci
Обсуждают сегодня