Safe Haskell	None
Language	Haskell2010

Language.C2ATS.Pretty

Contents

Orphan instances

Documentation

atsPrettyGlobal :: [FlatG] -> Doc Source #

preDefineGlobal :: FilePath -> IO Doc Source #

class AtsPretty p where Source #

Methods

atsPretty :: AtsPrettyMap -> p -> Doc Source #

atsPrettyPrec :: AtsPrettyMap -> Int -> p -> Doc Source #

Instances

AtsPretty TagDef Source #
Methods atsPretty :: AtsPrettyMap -> TagDef -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> TagDef -> Doc Source #
AtsPretty IdentDecl Source #
Methods atsPretty :: AtsPrettyMap -> IdentDecl -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> IdentDecl -> Doc Source #
AtsPretty ParamDecl Source #
Methods atsPretty :: AtsPrettyMap -> ParamDecl -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> ParamDecl -> Doc Source #
AtsPretty MemberDecl Source #
Methods atsPretty :: AtsPrettyMap -> MemberDecl -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> MemberDecl -> Doc Source #
AtsPretty TypeDef Source #
Methods atsPretty :: AtsPrettyMap -> TypeDef -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> TypeDef -> Doc Source #
AtsPretty Type Source #
Methods atsPretty :: AtsPrettyMap -> Type -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> Type -> Doc Source #
AtsPretty FunType Source #
Methods atsPretty :: AtsPrettyMap -> FunType -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> FunType -> Doc Source #
AtsPretty ArraySize Source #
Methods atsPretty :: AtsPrettyMap -> ArraySize -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> ArraySize -> Doc Source #
AtsPretty TypeName Source #
Methods atsPretty :: AtsPrettyMap -> TypeName -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> TypeName -> Doc Source #
AtsPretty TypeDefRef Source #
Methods atsPretty :: AtsPrettyMap -> TypeDefRef -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> TypeDefRef -> Doc Source #
AtsPretty EnumTypeRef Source #
Methods atsPretty :: AtsPrettyMap -> EnumTypeRef -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> EnumTypeRef -> Doc Source #
AtsPretty CompType Source #
Methods atsPretty :: AtsPrettyMap -> CompType -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> CompType -> Doc Source #
AtsPretty CompTyKind Source #
Methods atsPretty :: AtsPrettyMap -> CompTyKind -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> CompTyKind -> Doc Source #
AtsPretty VarName Source #
Methods atsPretty :: AtsPrettyMap -> VarName -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> VarName -> Doc Source #
AtsPretty CDecl Source #
Methods atsPretty :: AtsPrettyMap -> CDecl -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> CDecl -> Doc Source #
AtsPretty CExpr Source #
Methods atsPretty :: AtsPrettyMap -> CExpr -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> CExpr -> Doc Source #
AtsPretty SUERef Source #
Methods atsPretty :: AtsPrettyMap -> SUERef -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> SUERef -> Doc Source #
AtsPretty Ident Source #
Methods atsPretty :: AtsPrettyMap -> Ident -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> Ident -> Doc Source #
AtsPretty FlatGlobalDecl Source #
Methods atsPretty :: AtsPrettyMap -> FlatGlobalDecl -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> FlatGlobalDecl -> Doc Source #
AtsPretty [CDeclarationSpecifier NodeInfo] Source #
Methods atsPretty :: AtsPrettyMap -> [CDeclarationSpecifier NodeInfo] -> Doc Source # atsPrettyPrec :: AtsPrettyMap -> Int -> [CDeclarationSpecifier NodeInfo] -> Doc Source #

class CPretty p where Source #

Methods

cPretty :: AtsPrettyMap -> p -> Doc Source #

cPrettyPrec :: AtsPrettyMap -> Int -> p -> Doc Source #

Instances

CPretty TagDef Source #
Methods cPretty :: AtsPrettyMap -> TagDef -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> TagDef -> Doc Source #
CPretty ParamDecl Source #
Methods cPretty :: AtsPrettyMap -> ParamDecl -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> ParamDecl -> Doc Source #
CPretty MemberDecl Source #
Methods cPretty :: AtsPrettyMap -> MemberDecl -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> MemberDecl -> Doc Source #
CPretty TypeDef Source #
Methods cPretty :: AtsPrettyMap -> TypeDef -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> TypeDef -> Doc Source #
CPretty Type Source #
Methods cPretty :: AtsPrettyMap -> Type -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> Type -> Doc Source #
CPretty ArraySize Source #
Methods cPretty :: AtsPrettyMap -> ArraySize -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> ArraySize -> Doc Source #
CPretty TypeName Source #
Methods cPretty :: AtsPrettyMap -> TypeName -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> TypeName -> Doc Source #
CPretty TypeDefRef Source #
Methods cPretty :: AtsPrettyMap -> TypeDefRef -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> TypeDefRef -> Doc Source #
CPretty EnumTypeRef Source #
Methods cPretty :: AtsPrettyMap -> EnumTypeRef -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> EnumTypeRef -> Doc Source #
CPretty CompType Source #
Methods cPretty :: AtsPrettyMap -> CompType -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> CompType -> Doc Source #
CPretty CompTyKind Source #
Methods cPretty :: AtsPrettyMap -> CompTyKind -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> CompTyKind -> Doc Source #
CPretty SUERef Source #
Methods cPretty :: AtsPrettyMap -> SUERef -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> SUERef -> Doc Source #
CPretty Ident Source #
Methods cPretty :: AtsPrettyMap -> Ident -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> Ident -> Doc Source #
CPretty FlatGlobalDecl Source #
Methods cPretty :: AtsPrettyMap -> FlatGlobalDecl -> Doc Source # cPrettyPrec :: AtsPrettyMap -> Int -> FlatGlobalDecl -> Doc Source #

Orphan instances

Pretty FlatGlobalDecl Source #
Methods pretty :: FlatGlobalDecl -> Doc # prettyPrec :: Int -> FlatGlobalDecl -> Doc #