¿Hay un formateador de código Haskell?

Question

solía escribir

data A = A { 
     a :: Double 
    } 
    deriving(Eq, Show) 

pero ahora prefiero

data A = A { 
     a :: Double 
    } deriving(Eq, Show) 

Creo que la respuesta será no, pero de todos modos lo que pido: ¿hay un formateador de código de Haskell?

Answer 1

nueva respuesta

Ahora he escrito hindent, que está escrita en términos de haskell-src-exts. Tiene soporte Emacs y Vim.

---

respuesta Antiguo

No es haskell-src-exts que analizar el código y tiene un módulo de impresión bonita para la impresión de la AST en una cadena. P.ej.

import Language.Haskell.Exts 

main = interact codeFormat 

codeFormat = check . fmap reformat . parseModuleWithComments where 
    reformat = prettyPrint 
    check r = case r of 
       ParseOk a -> a 
       ParseFailed loc err -> error $ show (loc,err) 

Ejemplo:

λ> putStrLn $ codeFormat "module X where x = 1 where { y 1 = 2; y _ = 2 }" 
module X where 
x = 1 
    where y 1 = 2 
     y _ = 2 

Alternativamente, usted puede escribir una impresora bastante a sí mismo (incluso sobre la base de lo anterior, si lo que desea especializarse), y entonces usted puede tener cualquier estilo que desee. Reemplace prettyPrint con el suyo. El AST es muy directo.

Luego puede conectarlo con Emacs para volver a formatear cada vez que presione guardar o algo así.

Answer 2

He escrito una pequeña secuencia de comandos para el mismo propósito: https://github.com/djv/small/blob/master/tidy.hs Lo llamo desde vim para reformatear mi código.

Answer 3

Hay stylish-haskell que pueden hacer exactamente lo que usted desea.

Answer 4

Para imprimir un AST con los comentarios que se necesita ExactPrint

exactPrint :: ExactP ast => ast SrcSpanInfo -> [Comment] -> String 

pero no se exactPrint bastante imprimir sus fuentes.

He escrito a small tool puede llamarlo con Vim como formateador externo.

prettyHS :: String -> String 
prettyHS src 
    = case parseFileContentsWithComments defaultParseMode src of 
     ParseOk (ast, _) -> prettyPrint ast 
     _ -> src