c2ats-0.1.0.1: Translate C code into ATS

Safe HaskellNone
LanguageHaskell2010

Language.C2ATS.Pretty

Contents

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