¿Cómo definir una función en ghci a través de múltiples líneas?

Estoy tratando de definir cualquier función simple que abarque varias líneas en ghci, tome lo siguiente como ejemplo:

let abs n | n >= 0 = n
          | otherwise = -n

Hasta ahora he intentado presionar Enter después de la primera línea:

Prelude> let abs n | n >= 0 = n
Prelude>           | otherwise = -n
<interactive>:1:0: parse error on input `|'

También intenté usar los comandos :{y :}pero no llego lejos:

Prelude> :{
unknown command ':{'
use :? for help.

Estoy usando GHC Interactive versión 6.6 para Haskell 98 en Linux, ¿qué me estoy perdiendo?

Para los guardias (como su ejemplo), puede ponerlos todos en una línea y funciona (a los guardias no les importa el espaciado)

let abs n | n >= 0 = n | otherwise = -n

Si desea escribir su función con múltiples definiciones que coincidan con el patrón en los argumentos, así:

fact 0 = 1
fact n = n * fact (n-1)

Luego usaría llaves con punto y coma que separan las definiciones

let { fact 0 = 1 ; fact n = n * fact (n-1) }

GHCi ahora tiene un modo de entrada multilínea, habilitado con: set + m. Por ejemplo,

Prelude> :set +m
Prelude> let fac 0 = 1
Prelude|     fac n = n * fac (n-1)
Prelude|
Prelude> fac 10
3628800

Dan es correcta, pero :{y :}debe aparecer cada uno en su propia línea:

> :{ 
> let foo a b = a +
>           b
> :}
> :t foo
foo :: (Num a) => a -> a -> a

Esto también interactúa con la regla de diseño, por lo que cuando se usa la notación de do puede ser más fácil usar llaves y punto y coma explícitamente. Por ejemplo, esta definición falla:

> :{
| let prRev = do
|   inp <- getLine
|   putStrLn $ reverse inp
| :}
<interactive>:1:18:
    The last statement in a 'do' construct must be an expression

Pero funciona cuando se agregan llaves y punto y coma:

> :{
| let prRev = do {
|   inp <- getLine;
|   putStrLn $ reverse inp;
| }
| :}
> :t prRev
prRev :: IO ()

Esto solo importará realmente cuando pegue definiciones de un archivo, donde la sangría podría cambiar.

Parece :{y :}es una característica bastante nueva. Es posible que deba actualizar GHC.

Editar: confirmado, ver http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html

Si no desea actualizar GHC solo por :{y :}, deberá escribirlo todo en una línea:

> let abs' n | n >= 0 = n | otherwise = -n

No conozco ninguna definición única en Haskell que deba escribirse en varias líneas. Lo anterior sí funciona en GHCi:

> :t abs'
abs' :: (Num a, Ord a) => a -> a

Para otras expresiones, como los dobloques, deberá usar la sintaxis sin diseño con llaves y punto y coma (eugh).

Estoy usando GHCi, versión 8.2.1 en macOS Catalina 10.15.2. Lo siguiente es cómo pongo juntos la declaración de tipo de función y los guardias. Tenga en cuenta que las barras verticales a la izquierda son para líneas múltiples de GHCi.

λ: let abs' :: (Num a, Ord a) => a -> a
 |     abs' n | n >= 0 = n | otherwise = -n
 | 
λ: abs' 7
7
λ: abs' (-7)
7

Parece que pegar ambas líneas a la vez o usar control-enter para cada nueva línea lo mantiene todo junto, al menos en https://repl.it/languages/haskell . Verás 2 puntos al comienzo de la segunda línea. O póngalo en un archivo y: cargue el archivo (: l main). ¿Cómo es que los abdominales no funcionan con números negativos? Oh, tienes que poner paréntesis alrededor del número.

   let abs n | n >= 0 = n 
..           | otherwise = -n

   abs (-1)