ats-format-0.1.0.0: A source-code formatter for ATS
Language.ATS.PrettyPrint
Contents
printATS :: ATS -> String Source #
printATSCustom :: Float -> Int -> ATS -> String Source #
processClang :: String -> IO String Source #
Methods
(==) :: Doc -> Doc -> Bool #
(/=) :: Doc -> Doc -> Bool #
Associated Types
type Rep Color :: * -> * #
from :: Color -> Rep Color x #
to :: Rep Color x -> Color #
type Rep ColorIntensity :: * -> * #
from :: ColorIntensity -> Rep ColorIntensity x #
to :: Rep ColorIntensity x -> ColorIntensity #
type Rep ConsoleLayer :: * -> * #
from :: ConsoleLayer -> Rep ConsoleLayer x #
to :: Rep ConsoleLayer x -> ConsoleLayer #
type Rep Underlining :: * -> * #
from :: Underlining -> Rep Underlining x #
to :: Rep Underlining x -> Underlining #
type Rep ConsoleIntensity :: * -> * #
from :: ConsoleIntensity -> Rep ConsoleIntensity x #
to :: Rep ConsoleIntensity x -> ConsoleIntensity #
type Rep Doc :: * -> * #
from :: Doc -> Rep Doc x #
to :: Rep Doc x -> Doc #
pretty :: Addendum -> Doc #
prettyList :: [Addendum] -> Doc #
pretty :: PreFunction -> Doc #
prettyList :: [PreFunction] -> Doc #
pretty :: Implementation -> Doc #
prettyList :: [Implementation] -> Doc #
pretty :: Expression -> Doc #
prettyList :: [Expression] -> Doc #
pretty :: BinOp -> Doc #
prettyList :: [BinOp] -> Doc #
pretty :: Existential -> Doc #
prettyList :: [Existential] -> Doc #
pretty :: Universal -> Doc #
prettyList :: [Universal] -> Doc #
pretty :: Arg -> Doc #
prettyList :: [Arg] -> Doc #
pretty :: Pattern -> Doc #
prettyList :: [Pattern] -> Doc #
pretty :: Name -> Doc #
prettyList :: [Name] -> Doc #
pretty :: LambdaType -> Doc #
prettyList :: [LambdaType] -> Doc #
pretty :: Type -> Doc #
prettyList :: [Type] -> Doc #
pretty :: DataPropLeaf -> Doc #
prettyList :: [DataPropLeaf] -> Doc #
pretty :: Declaration -> Doc #
prettyList :: [Declaration] -> Doc #
pretty :: ATS -> Doc #
prettyList :: [ATS] -> Doc #
rnf :: Color -> () #
rnf :: ColorIntensity -> () #
rnf :: ConsoleLayer -> () #
rnf :: Underlining -> () #
rnf :: ConsoleIntensity -> () #
rnf :: Doc -> () #