Language.Sifflet.Export.Haskell

Abstract syntax tree and pretty-printing for Haskell 98. This is only a small subset of the Haskell 98 syntax, so we do not need to pull in haskell-src and all its complexity. Moreover, haskell-src gives too little control over the format of pretty-printed text output.

Documentation

class HsPretty a where

Minimal complete definition

hsPretty

Methods

hsPretty :: a -> String

hsPrettyList :: String -> String -> String -> [a] -> String

Instances

HsPretty Operator

HsPretty Expr

HsPretty expressions. This is going to be like in Python.hs.

HsPretty Symbol

HsPretty Decl

HsPretty ImportDecl

HsPretty ExportSpec

HsPretty Module

data Module

A Haskell module; moduleDecls are functions and variables.

Constructors

Module

Fields

moduleName :: String

moduleExports :: Maybe ExportSpec

moduleImports :: ImportDecl

moduleDecls :: [Decl]

Instances

Eq Module

Show Module

HsPretty Module

newtype ExportSpec

A Haskell module's export spec: a list of function and variable identifiers

Constructors

ExportSpec [String]

Instances

Eq ExportSpec

Show ExportSpec

HsPretty ExportSpec

newtype ImportDecl

A Haskell modules import decls: a list of module identifiers. No support for "qualified" or "as" or for selecting only some identifiers from the imported modules.

Constructors

ImportDecl [String]

Instances

Eq ImportDecl

Show ImportDecl

HsPretty ImportDecl

data Decl

A Haskell function or variable declaration. An explicit type declaration is optional. Thus we have just enough for name :: type name [args] = expr. Of course [args] would be empty if it's just a variable.

Constructors

Decl

Fields

declIdent :: String

declType :: Maybe [String]

declParams :: [String]

declExpr :: Expr

Instances

Eq Decl

Show Decl

HsPretty Decl

operatorTable :: Map String Operator

The Haskell operators. Now what about the associativity of (:)? It really doesn't even make sense to ask if (:) is associative in the usual sense, since (x1 : x2) : xs == x1 : (x2 : xs) is not only untrue, but the left-hand side is a type error, except maybe in some very special cases (and then the right-hand side would probably be a type error). Is (:) what is called a "right-associative" operator? And do I need to expand my Operator type to include this? And then what about (-) and (/)??? Does this affect their relationship with (+) and (-)?