Ответ 1
:i
(:info
).
[Prelude]
> :i (+)
class Num a where
(+) :: a -> a -> a
...
-- Defined in `GHC.Num'
infixl 6 +
Я вижу тип инфиксного оператора в GHCi с: t так:
>:t (.)
(.) :: (b -> c) -> (a -> b) -> a -> c
Как я могу увидеть приоритет оператора в GHCi? это возможно?
Кроме того, вопрос бонуса, есть ли способ увидеть источник этих функций прелюдии через ghci?
:i
(:info
).
[Prelude]
> :i (+)
class Num a where
(+) :: a -> a -> a
...
-- Defined in `GHC.Num'
infixl 6 +