¿Qué significa '':..'' en Haskell?

constructor infix-notation

Question

Estoy leyendo un tipo de datos siguiente:

data Ne
  = NVar Id
  | Ne :.. (Clos Term)
  | NSplit Ne (Bind (Bind (Clos Term)))
  | NCase Ne (Clos [(Label, Term)])
  | NForce Ne
  | NUnfold Ne (Bind (Clos Term))
  deriving (Show, Eq)

¿Qué es : .. en la segunda declaración de miembro?

Answer 1

El nombre de un constructor puede ser alfanumérico comenzando con una letra mayúscula o simbólico comenzando con dos puntos. En este último caso, el operador se utilizará infijo al igual que las funciones infijo.

Entonces :.. es un constructor de infijo para el tipo Ne , que toma un argumento de tipo Ne (operando izquierdo) y uno de tipo Clos Term (operando derecho).

Answer 2

:.. es uno de los constructores para el tipo de datos algebraico Ne . Un nombre de constructor que consiste en puntuación y que comienza con : convierte en un operador de infijo. Prueba esto:

module Main where

data List a = Nil
            | a :.. (List a)
            deriving Show

main = print (1 :.. (2 :.. Nil))