Safe Haskell	None
Language	Haskell2010

Cubix.ParsePretty

Synopsis

class ParseFile (fs :: Signature) where
- parseFile :: FilePath -> IO (Maybe (Term fs (RootSort fs)))
class ParseFile fs => ParseFileTrackSources (fs :: Signature) where
- parseFileTrackSources :: FilePath -> IO (Maybe (AnnTerm (Maybe SourceSpan) fs (RootSort fs)))
class Pretty (fs :: Signature) where
- pretty :: Term fs (RootSort fs) -> String
- prettyUnsafe :: Term fs l -> String
parseLua :: FilePath -> IO (Maybe (MLuaTerm LBlockL))
prettyLua :: MLuaTerm LBlockL -> String
type family RootSort (fs :: [(Type -> Type) -> Type -> Type])
parseC :: FilePath -> IO (Maybe (MCTerm CTranslationUnitL))
parseJava :: FilePath -> IO (Maybe (MJavaTerm CompilationUnitL))
parseJavaScript :: FilePath -> IO (Maybe (MJSTerm JSASTL))
parsePython :: FilePath -> IO (Maybe (MPythonTermAnn (Maybe SourceSpan) ModuleL))
prettyC :: MCTerm CTranslationUnitL -> String
prettyJava :: MJavaTerm CompilationUnitL -> String
prettyJavaScript :: MJSTerm JSASTL -> String
prettyPython :: MPythonTerm ModuleL -> String

Documentation

class ParseFile (fs :: Signature) where Source #

Methods

parseFile :: FilePath -> IO (Maybe (Term fs (RootSort fs))) Source #

Parses a file with the appropriate parser for the language with signature fs.

Recommended to use with the TypeApplications extension, e.g.: parseFile @MCSig "my_file.c".

Instances

Instances details

ParseFile MCSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MCSig (RootSort MCSig))) Source #
ParseFile MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MJavaSig (RootSort MJavaSig))) Source #
ParseFile MJSSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MJSSig (RootSort MJSSig))) Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
ParseFile MPythonSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MPythonSig (RootSort MPythonSig))) Source #

class ParseFile fs => ParseFileTrackSources (fs :: Signature) where Source #

Methods

parseFileTrackSources :: FilePath -> IO (Maybe (AnnTerm (Maybe SourceSpan) fs (RootSort fs))) Source #

Parses a file with the appropriate parser for the language with signature fs, tracking source positions of many nodes. (Which depends on the language frontend)

Recommended to use with the TypeApplications extension, e.g.: parseFileTrackSources @MCSig "my_file.c".

Instances

Instances details

ParseFileTrackSources MPythonSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFileTrackSources :: FilePath -> IO (Maybe (AnnTerm (Maybe SourceSpan) MPythonSig (RootSort MPythonSig))) Source #

class Pretty (fs :: Signature) where Source #

Minimal complete definition

pretty

Methods

pretty :: Term fs (RootSort fs) -> String Source #

Pretty-prints a term, using the appropriate pretty-printer for the language with signature fs.

prettyUnsafe :: Term fs l -> String Source #

default prettyUnsafe :: DynCase (Term fs) (RootSort fs) => Term fs l -> String Source #

Instances

Instances details

Pretty MCSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MCSig (RootSort MCSig) -> String Source # prettyUnsafe :: Term MCSig l -> String Source #
Pretty MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MJavaSig (RootSort MJavaSig) -> String Source # prettyUnsafe :: Term MJavaSig l -> String Source #
Pretty MJSSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MJSSig (RootSort MJSSig) -> String Source # prettyUnsafe :: Term MJSSig l -> String Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
Pretty MPythonSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MPythonSig (RootSort MPythonSig) -> String Source # prettyUnsafe :: Term MPythonSig l -> String Source #

parseLua :: FilePath -> IO (Maybe (MLuaTerm LBlockL)) Source #

NOTE: This reflects the half-finished transition of Lua to annotated terms

prettyLua :: MLuaTerm LBlockL -> String Source #

type family RootSort (fs :: [(Type -> Type) -> Type -> Type]) Source #

Instances

Instances details

type RootSort MCSig Source #
Instance details Defined in Cubix.ParsePretty type RootSort MCSig = CTranslationUnitL
type RootSort MJavaSig Source #
Instance details Defined in Cubix.ParsePretty type RootSort MJavaSig = CompilationUnitL
type RootSort MJSSig Source #
Instance details Defined in Cubix.ParsePretty type RootSort MJSSig = JSASTL
type RootSort MLuaSig Source #
Instance details Defined in Cubix.ParsePretty type RootSort MLuaSig = LBlockL
type RootSort MPythonSig Source #
Instance details Defined in Cubix.ParsePretty type RootSort MPythonSig = ModuleL

parseC :: FilePath -> IO (Maybe (MCTerm CTranslationUnitL)) Source #

parseJava :: FilePath -> IO (Maybe (MJavaTerm CompilationUnitL)) Source #

parseJavaScript :: FilePath -> IO (Maybe (MJSTerm JSASTL)) Source #

parsePython :: FilePath -> IO (Maybe (MPythonTermAnn (Maybe SourceSpan) ModuleL)) Source #

prettyC :: MCTerm CTranslationUnitL -> String Source #

prettyJava :: MJavaTerm CompilationUnitL -> String Source #

prettyJavaScript :: MJSTerm JSASTL -> String Source #

prettyPython :: MPythonTerm ModuleL -> String Source #