REPLでは固定性宣言を定義できますか？

Question

私はREPLで遊ぶのが大好きです。新しいものを試してみるという、とても簡単で簡単な方法です。ご存知のように、ある種の言語は、モジュール内ではなくREPL内で異なって実行されます。複数行の定義がその中の一つです。

今、REPLで演算子の固定を宣言できるかどうか、その場合はどうすればいいのでしょうか。素朴な試み...驚き...うまくいきません。

Prelude> let (f · g) x = f(g(x)) 
Prelude> infixl 7 · 

Answer 1

あなたはこの

>>> :{ 
>>> let infixl 7 *** 
>>>  (f *** g) (a,b) = (f a, g b) 
>>> :} 
>>> (negate *** show) (1,2) 
(-1,"2") 

編集のように複数行の定義を使用して固定性を宣言することができます：あなたは機能についてGHCiのを頼むとき興味深いことに、固定性が表示されていない、けれども

>>> :i *** 
(***) :: (a -> a') -> (b -> b') -> (a, b) -> (a', b') 
     -- Defined at <interactive>:10:8 

と比較して

>>> :i && 
(&&) :: Bool -> Bool -> Bool  -- Defined in `GHC.Classes' 
infixr 3 &&