Wie man Operatoren in Lambda Infixitäten geben kann?

Question

Zum Beispiel dies nicht geben

\cons nil -> 5 `cons` 3 `cons` nil 

noch tut dies

\(#) -> 5 # 3 # nil 

Obwohl beide

\cons nil -> 5 `cons` nil 
\(#) nil -> 5 # nil 

ein Weg infixites an Betreiber in lambda Gibt es nicht überprüfen zuweisen . Ich habe versucht,

infixr 5 # 
foo = \(#) nil -> 5 # 3 # nil 

, die für keine Definition von # und

foo = \(infixr 5 #) nil -> 5 # 3 # nil 

einen Fehler gibt, die nur ein Syntaxfehler ist.

Was kann ich tun?

Answer 1

Unveränderlichkeit Erklärungen können lokal sein, sondern müssen Definitionen begleiten, so würden Sie so etwas wie

foo cons nil = 'a' # 'b' # nil 
    where (#) = cons 
     infixr 5 # 

oder

foo = \cons nil -> let (#) = cons; infixr 5 # in 'a' # 'b' # nil 

usw.