È possibile definire la dichiarazione di fissità nel REPL?

Question

Mi piace giocare in REPL perché è un modo davvero semplice e veloce di provare nuove cose. Alcuni aspetti della lingua sono, come sapete, fatti diversamente nel REPL rispetto ai moduli interni, mentre le definizioni a più righe sono una di queste.

Ora, mi chiedo se, e in tal caso come, posso dichiarare la fissità dell'operatore nella REPL. L'ingenuo tentativo ... sorpresa ... non funziona.

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

Answer 1

È possibile dichiarare fissità utilizzando le definizioni multilinea come questo

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

Edit: Anche se, curiosamente, non viene visualizzata la fissità quando si chiede GHCI sulla funzione

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

rispetto a

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