ats-format-0.1.0.0: A source-code formatter for ATS

Safe HaskellNone
LanguageHaskell2010

Language.ATS.PrettyPrint

Contents

Documentation

Orphan instances

Eq Doc Source # 

Methods

(==) :: Doc -> Doc -> Bool #

(/=) :: Doc -> Doc -> Bool #

Generic Color Source # 

Associated Types

type Rep Color :: * -> * #

Methods

from :: Color -> Rep Color x #

to :: Rep Color x -> Color #

Generic ColorIntensity Source # 

Associated Types

type Rep ColorIntensity :: * -> * #

Generic ConsoleLayer Source # 

Associated Types

type Rep ConsoleLayer :: * -> * #

Generic Underlining Source # 

Associated Types

type Rep Underlining :: * -> * #

Generic ConsoleIntensity Source # 
Generic Doc Source # 

Associated Types

type Rep Doc :: * -> * #

Methods

from :: Doc -> Rep Doc x #

to :: Rep Doc x -> Doc #

Pretty Addendum Source # 

Methods

pretty :: Addendum -> Doc #

prettyList :: [Addendum] -> Doc #

Pretty PreFunction Source # 
Pretty Implementation Source # 
Pretty Expression Source # 
Pretty BinOp Source # 

Methods

pretty :: BinOp -> Doc #

prettyList :: [BinOp] -> Doc #

Pretty Existential Source # 
Pretty Universal Source # 
Pretty Arg Source # 

Methods

pretty :: Arg -> Doc #

prettyList :: [Arg] -> Doc #

Pretty Pattern Source # 

Methods

pretty :: Pattern -> Doc #

prettyList :: [Pattern] -> Doc #

Pretty Name Source # 

Methods

pretty :: Name -> Doc #

prettyList :: [Name] -> Doc #

Pretty LambdaType Source # 
Pretty Type Source # 

Methods

pretty :: Type -> Doc #

prettyList :: [Type] -> Doc #

Pretty DataPropLeaf Source # 
Pretty Declaration Source # 
Pretty ATS Source # 

Methods

pretty :: ATS -> Doc #

prettyList :: [ATS] -> Doc #

NFData Color Source # 

Methods

rnf :: Color -> () #

NFData ColorIntensity Source # 

Methods

rnf :: ColorIntensity -> () #

NFData ConsoleLayer Source # 

Methods

rnf :: ConsoleLayer -> () #

NFData Underlining Source # 

Methods

rnf :: Underlining -> () #

NFData ConsoleIntensity Source # 

Methods

rnf :: ConsoleIntensity -> () #

NFData Doc Source # 

Methods

rnf :: Doc -> () #