Safe Haskell	Safe-Inferred
Language	Haskell2010

Ast

Description

The abstract ayntax tree ( ast ) aims to be a data structure able to:
- represent multiple ( native ) ast kinds
- from various programming languages
Its main purpose is to serve as the:
- first step for static code analysis
- part of the dhscanner framework for CI/CD container security checks 🔒 and PII leaks detection 🪪
As part of the dhscanner framework:
- targets mostly languages used for cloud native applications ☁️
- Python, Ruby 💎, Php, Javascript, Typescript, Java ☕️, C# and Golang.
Typical flow:
- a file is parsed with the corresponding native parser of the language it's written in
  - see Python's native parser, for example
  - native parsers hosted on independent micro services
- the native ast is dumped (as JSON, or plain text)
- dumped content is sent to a Happy + Alex Haskell parser
- the Haskell parser organizes the natively parsed content into an ast
Geared towards static code analysis, the ast design abstracts away details that are normally ignored anyway
- for example, it does not distinguish between try and catch blocks
- it models both of them as plain sequential code blocks.
Every file has exactly one ast ( Root ) that represents it
Non Haskell parogrammers note:
- The ast is immutable ( like everything else in Haskell ... )

Synopsis

data Root = Root {
- filename :: FilePath
- stmts :: [Stmt]
}
data Exp
- = ExpInt ExpIntContent
- | ExpStr ExpStrContent
- | ExpVar ExpVarContent
- | ExpBool ExpBoolContent
- | ExpNull ExpNullContent
- | ExpCall ExpCallContent
- | ExpBinop ExpBinopContent
- | ExpLambda ExpLambdaContent
data Stmt
- = StmtExp Exp
- | StmtIf StmtIfContent
- | StmtTry StmtTryContent
- | StmtFunc StmtFuncContent
- | StmtBlock StmtBlockContent
- | StmtBreak StmtBreakContent
- | StmtClass StmtClassContent
- | StmtWhile StmtWhileContent
- | StmtImport StmtImportContent
- | StmtMethod StmtMethodContent
- | StmtAssign StmtAssignContent
- | StmtReturn StmtReturnContent
- | StmtVardec StmtVardecContent
- | StmtContinue StmtContinueContent
data Param = Param {
- paramName :: ParamName
- paramNominalType :: NominalTy
- paramNominalTypeV2 :: Maybe Var
- paramSerialIdx :: Word
}
data DataMember = DataMember {
- dataMemberName :: MembrName
- dataMemberNominalType :: NominalTy
- dataMemberInitValue :: Maybe Exp
}
data DataMembers = DataMembers {
- actualDataMembers :: Map MembrName DataMember
}
data StmtMethodContent = StmtMethodContent {
- stmtMethodReturnType :: NominalTy
- stmtMethodName :: MethdName
- stmtMethodParams :: [Param]
- stmtMethodBody :: [Stmt]
- stmtMethodLocation :: Location
- hostingClassName :: ClassName
- hostingClassSupers :: [SuperName]
}
data Methods = Methods {
- actualMethods :: Map MethdName StmtMethodContent
}
data StmtClassContent = StmtClassContent {
- stmtClassName :: ClassName
- stmtClassSupers :: [SuperName]
- stmtClassDataMembers :: DataMembers
- stmtClassMethods :: Methods
}
data StmtFuncContent = StmtFuncContent {
- stmtFuncReturnType :: NominalTy
- stmtFuncName :: FuncName
- stmtFuncParams :: [Param]
- stmtFuncBody :: [Stmt]
- stmtFuncAnnotations :: [Exp]
- stmtFuncLocation :: Location
}
data StmtVardecContent = StmtVardecContent {
- stmtVardecName :: VarName
- stmtVardecNominalType :: NominalTy
- stmtVardecInitValue :: Maybe Exp
- stmtVardecLocation :: Location
}
data ExpIntContent = ExpIntContent {
- expIntValue :: ConstInt
}
data ExpStrContent = ExpStrContent {
- expStrValue :: ConstStr
}
data ExpBoolContent = ExpBoolContent {
- expBoolValue :: ConstBool
}
data ExpNullContent = ExpNullContent {
- expNullValue :: ConstNull
}
data Operator
- = PLUS
- | MINUS
- | TIMES
- | DIVIDE
- | PERCENT
data ExpLambdaContent = ExpLambdaContent {
- expLambdaParams :: [Param]
- expLambdaBody :: [Stmt]
- expLambdaLocation :: Location
}
data ExpBinopContent = ExpBinopContent {
- expBinopLeft :: Exp
- expBinopRight :: Exp
- expBinopOperator :: Operator
- expBinopLocation :: Location
}
data ExpVarContent = ExpVarContent {
- actualExpVar :: Var
}
data StmtAssignContent = StmtAssignContent {
- stmtAssignLhs :: Var
- stmtAssignRhs :: Exp
}
data StmtTryContent = StmtTryContent {
- stmtTryPart :: [Stmt]
- stmtCatchPart :: [Stmt]
- stmtTryLocation :: Location
}
data StmtBreakContent = StmtBreakContent {
- stmtBreakLocation :: Location
}
data StmtBlockContent = StmtBlockContent {
- stmtBlockContent :: [Stmt]
- stmtBlockLocation :: Location
}
data StmtImportContent = StmtImportContent {
- stmtImportSource :: String
- stmtImportFromSource :: Maybe String
- stmtImportAlias :: Maybe String
- stmtImportLocation :: Location
}
data StmtContinueContent = StmtContinueContent {
- stmtContinueLocation :: Location
}
data StmtIfContent = StmtIfContent {
- stmtIfCond :: Exp
- stmtIfBody :: [Stmt]
- stmtElseBody :: [Stmt]
- stmtIfLocation :: Location
}
data StmtWhileContent = StmtWhileContent {
- stmtWhileCond :: Exp
- stmtWhileBody :: [Stmt]
- stmtWhileLocation :: Location
}
data StmtReturnContent = StmtReturnContent {
- stmtReturnValue :: Maybe Exp
- stmtReturnLocation :: Location
}
data ExpCallContent = ExpCallContent {
- callee :: Exp
- args :: [Exp]
- expCallLocation :: Location
}
data VarFieldContent = VarFieldContent {
- varFieldLhs :: Exp
- varFieldName :: FieldName
- varFieldLocation :: Location
}
data VarSimpleContent = VarSimpleContent {
- varName :: VarName
}
data VarSubscriptContent = VarSubscriptContent {
- varSubscriptLhs :: Exp
- varSubscriptIdx :: Exp
- varSubscriptLocation :: Location
}
data Var
- = VarSimple VarSimpleContent
- | VarField VarFieldContent
- | VarSubscript VarSubscriptContent
locationVar :: Var -> Location

Documentation

data Root Source #

every file has exactly one root 🌱
classes, functions and methods are organized as statements ( not declarations )
this enables a simpler view for modules, namespaces, nested classes etc.

Constructors

Root
Fields filename :: FilePath stmts :: [Stmt]

Instances

Instances details

FromJSON Root Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser Root # parseJSONList :: Value -> Parser [Root] # omittedField :: Maybe Root #
ToJSON Root Source #
Instance details Defined in Ast Methods toJSON :: Root -> Value # toEncoding :: Root -> Encoding # toJSONList :: [Root] -> Value # toEncodingList :: [Root] -> Encoding # omitField :: Root -> Bool #
Generic Root Source #
Instance details Defined in Ast Associated Types type Rep Root :: Type -> Type Methods from :: Root -> Rep Root x to :: Rep Root x -> Root
Show Root Source #
Instance details Defined in Ast Methods showsPrec :: Int -> Root -> ShowS show :: Root -> String showList :: [Root] -> ShowS
Eq Root Source #
Instance details Defined in Ast Methods (==) :: Root -> Root -> Bool (/=) :: Root -> Root -> Bool
Ord Root Source #
Instance details Defined in Ast Methods compare :: Root -> Root -> Ordering (<) :: Root -> Root -> Bool (<=) :: Root -> Root -> Bool (>) :: Root -> Root -> Bool (>=) :: Root -> Root -> Bool max :: Root -> Root -> Root min :: Root -> Root -> Root
type Rep Root Source #
Instance details Defined in Ast type Rep Root = D1 ('MetaData "Root" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "Root" 'PrefixI 'True) (S1 ('MetaSel ('Just "filename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Just "stmts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt])))

data Exp Source #

Constructors

ExpInt ExpIntContent
ExpStr ExpStrContent
ExpVar ExpVarContent
ExpBool ExpBoolContent
ExpNull ExpNullContent
ExpCall ExpCallContent
ExpBinop ExpBinopContent
ExpLambda ExpLambdaContent

Instances

Instances details

FromJSON Exp Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser Exp # parseJSONList :: Value -> Parser [Exp] # omittedField :: Maybe Exp #
ToJSON Exp Source #
Instance details Defined in Ast Methods toJSON :: Exp -> Value # toEncoding :: Exp -> Encoding # toJSONList :: [Exp] -> Value # toEncodingList :: [Exp] -> Encoding # omitField :: Exp -> Bool #
Generic Exp Source #
Instance details Defined in Ast Associated Types type Rep Exp :: Type -> Type Methods from :: Exp -> Rep Exp x to :: Rep Exp x -> Exp
Show Exp Source #
Instance details Defined in Ast Methods showsPrec :: Int -> Exp -> ShowS show :: Exp -> String showList :: [Exp] -> ShowS
Eq Exp Source #
Instance details Defined in Ast Methods (==) :: Exp -> Exp -> Bool (/=) :: Exp -> Exp -> Bool
Ord Exp Source #
Instance details Defined in Ast Methods compare :: Exp -> Exp -> Ordering (<) :: Exp -> Exp -> Bool (<=) :: Exp -> Exp -> Bool (>) :: Exp -> Exp -> Bool (>=) :: Exp -> Exp -> Bool max :: Exp -> Exp -> Exp min :: Exp -> Exp -> Exp
type Rep Exp Source #
Instance details Defined in Ast type Rep Exp = D1 ('MetaData "Exp" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (((C1 ('MetaCons "ExpInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExpIntContent)) :+: C1 ('MetaCons "ExpStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExpStrContent))) :+: (C1 ('MetaCons "ExpVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExpVarContent)) :+: C1 ('MetaCons "ExpBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExpBoolContent)))) :+: ((C1 ('MetaCons "ExpNull" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExpNullContent)) :+: C1 ('MetaCons "ExpCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExpCallContent))) :+: (C1 ('MetaCons "ExpBinop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExpBinopContent)) :+: C1 ('MetaCons "ExpLambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExpLambdaContent)))))

data Stmt Source #

Instances

Instances details

FromJSON Stmt Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser Stmt # parseJSONList :: Value -> Parser [Stmt] # omittedField :: Maybe Stmt #
ToJSON Stmt Source #
Instance details Defined in Ast Methods toJSON :: Stmt -> Value # toEncoding :: Stmt -> Encoding # toJSONList :: [Stmt] -> Value # toEncodingList :: [Stmt] -> Encoding # omitField :: Stmt -> Bool #
Generic Stmt Source #
Instance details Defined in Ast Associated Types type Rep Stmt :: Type -> Type Methods from :: Stmt -> Rep Stmt x to :: Rep Stmt x -> Stmt
Show Stmt Source #
Instance details Defined in Ast Methods showsPrec :: Int -> Stmt -> ShowS show :: Stmt -> String showList :: [Stmt] -> ShowS
Eq Stmt Source #
Instance details Defined in Ast Methods (==) :: Stmt -> Stmt -> Bool (/=) :: Stmt -> Stmt -> Bool
Ord Stmt Source #
Instance details Defined in Ast Methods compare :: Stmt -> Stmt -> Ordering (<) :: Stmt -> Stmt -> Bool (<=) :: Stmt -> Stmt -> Bool (>) :: Stmt -> Stmt -> Bool (>=) :: Stmt -> Stmt -> Bool max :: Stmt -> Stmt -> Stmt min :: Stmt -> Stmt -> Stmt
type Rep Stmt Source #
Instance details Defined in Ast type Rep Stmt = D1 ('MetaData "Stmt" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (((C1 ('MetaCons "StmtExp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "StmtIf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtIfContent)) :+: C1 ('MetaCons "StmtTry" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtTryContent)))) :+: ((C1 ('MetaCons "StmtFunc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtFuncContent)) :+: C1 ('MetaCons "StmtBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtBlockContent))) :+: (C1 ('MetaCons "StmtBreak" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtBreakContent)) :+: C1 ('MetaCons "StmtClass" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtClassContent))))) :+: ((C1 ('MetaCons "StmtWhile" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtWhileContent)) :+: (C1 ('MetaCons "StmtImport" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtImportContent)) :+: C1 ('MetaCons "StmtMethod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtMethodContent)))) :+: ((C1 ('MetaCons "StmtAssign" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtAssignContent)) :+: C1 ('MetaCons "StmtReturn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtReturnContent))) :+: (C1 ('MetaCons "StmtVardec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtVardecContent)) :+: C1 ('MetaCons "StmtContinue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtContinueContent))))))

data Param Source #

paramNominalTypeV2 aims to replace paramNominalType

Since: 1.0.6

Constructors

Param
Fields paramName :: ParamName paramNominalType :: NominalTy ( will be deprecated soon ) paramNominalTypeV2 :: Maybe Var ( use this instead ) paramSerialIdx :: Word ( zero-based )

Instances

Instances details

FromJSON Param Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser Param # parseJSONList :: Value -> Parser [Param] # omittedField :: Maybe Param #
ToJSON Param Source #
Instance details Defined in Ast Methods toJSON :: Param -> Value # toEncoding :: Param -> Encoding # toJSONList :: [Param] -> Value # toEncodingList :: [Param] -> Encoding # omitField :: Param -> Bool #
Generic Param Source #
Instance details Defined in Ast Associated Types type Rep Param :: Type -> Type Methods from :: Param -> Rep Param x to :: Rep Param x -> Param
Show Param Source #
Instance details Defined in Ast Methods showsPrec :: Int -> Param -> ShowS show :: Param -> String showList :: [Param] -> ShowS
Eq Param Source #
Instance details Defined in Ast Methods (==) :: Param -> Param -> Bool (/=) :: Param -> Param -> Bool
Ord Param Source #
Instance details Defined in Ast Methods compare :: Param -> Param -> Ordering (<) :: Param -> Param -> Bool (<=) :: Param -> Param -> Bool (>) :: Param -> Param -> Bool (>=) :: Param -> Param -> Bool max :: Param -> Param -> Param min :: Param -> Param -> Param
type Rep Param Source #
Instance details Defined in Ast type Rep Param = D1 ('MetaData "Param" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "Param" 'PrefixI 'True) ((S1 ('MetaSel ('Just "paramName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamName) :: S1 ('MetaSel ('Just "paramNominalType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalTy)) :: (S1 ('MetaSel ('Just "paramNominalTypeV2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Var)) :*: S1 ('MetaSel ('Just "paramSerialIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word))))

data DataMember Source #

Constructors

DataMember
Fields dataMemberName :: MembrName dataMemberNominalType :: NominalTy dataMemberInitValue :: Maybe Exp

Instances

Instances details

FromJSON DataMember Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser DataMember # parseJSONList :: Value -> Parser [DataMember] # omittedField :: Maybe DataMember #
ToJSON DataMember Source #
Instance details Defined in Ast Methods toJSON :: DataMember -> Value # toEncoding :: DataMember -> Encoding # toJSONList :: [DataMember] -> Value # toEncodingList :: [DataMember] -> Encoding # omitField :: DataMember -> Bool #
Generic DataMember Source #
Instance details Defined in Ast Associated Types type Rep DataMember :: Type -> Type Methods from :: DataMember -> Rep DataMember x to :: Rep DataMember x -> DataMember
Show DataMember Source #
Instance details Defined in Ast Methods showsPrec :: Int -> DataMember -> ShowS show :: DataMember -> String showList :: [DataMember] -> ShowS
Eq DataMember Source #
Instance details Defined in Ast Methods (==) :: DataMember -> DataMember -> Bool (/=) :: DataMember -> DataMember -> Bool
Ord DataMember Source #
Instance details Defined in Ast Methods compare :: DataMember -> DataMember -> Ordering (<) :: DataMember -> DataMember -> Bool (<=) :: DataMember -> DataMember -> Bool (>) :: DataMember -> DataMember -> Bool (>=) :: DataMember -> DataMember -> Bool max :: DataMember -> DataMember -> DataMember min :: DataMember -> DataMember -> DataMember
type Rep DataMember Source #
Instance details Defined in Ast type Rep DataMember = D1 ('MetaData "DataMember" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "DataMember" 'PrefixI 'True) (S1 ('MetaSel ('Just "dataMemberName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MembrName) :: (S1 ('MetaSel ('Just "dataMemberNominalType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalTy) :: S1 ('MetaSel ('Just "dataMemberInitValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp)))))

data DataMembers Source #

Constructors

DataMembers
Fields actualDataMembers :: Map MembrName DataMember

Instances

Instances details

FromJSON DataMembers Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser DataMembers # parseJSONList :: Value -> Parser [DataMembers] # omittedField :: Maybe DataMembers #
ToJSON DataMembers Source #
Instance details Defined in Ast Methods toJSON :: DataMembers -> Value # toEncoding :: DataMembers -> Encoding # toJSONList :: [DataMembers] -> Value # toEncodingList :: [DataMembers] -> Encoding # omitField :: DataMembers -> Bool #
Generic DataMembers Source #
Instance details Defined in Ast Associated Types type Rep DataMembers :: Type -> Type Methods from :: DataMembers -> Rep DataMembers x to :: Rep DataMembers x -> DataMembers
Show DataMembers Source #
Instance details Defined in Ast Methods showsPrec :: Int -> DataMembers -> ShowS show :: DataMembers -> String showList :: [DataMembers] -> ShowS
Eq DataMembers Source #
Instance details Defined in Ast Methods (==) :: DataMembers -> DataMembers -> Bool (/=) :: DataMembers -> DataMembers -> Bool
Ord DataMembers Source #
Instance details Defined in Ast Methods compare :: DataMembers -> DataMembers -> Ordering (<) :: DataMembers -> DataMembers -> Bool (<=) :: DataMembers -> DataMembers -> Bool (>) :: DataMembers -> DataMembers -> Bool (>=) :: DataMembers -> DataMembers -> Bool max :: DataMembers -> DataMembers -> DataMembers min :: DataMembers -> DataMembers -> DataMembers
type Rep DataMembers Source #
Instance details Defined in Ast type Rep DataMembers = D1 ('MetaData "DataMembers" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "DataMembers" 'PrefixI 'True) (S1 ('MetaSel ('Just "actualDataMembers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MembrName DataMember))))

data StmtMethodContent Source #

Constructors

StmtMethodContent
Fields stmtMethodReturnType :: NominalTy stmtMethodName :: MethdName stmtMethodParams :: [Param] stmtMethodBody :: [Stmt] stmtMethodLocation :: Location hostingClassName :: ClassName hostingClassSupers :: [SuperName]

Instances

Instances details

FromJSON StmtMethodContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtMethodContent # parseJSONList :: Value -> Parser [StmtMethodContent] # omittedField :: Maybe StmtMethodContent #
ToJSON StmtMethodContent Source #
Instance details Defined in Ast Methods toJSON :: StmtMethodContent -> Value # toEncoding :: StmtMethodContent -> Encoding # toJSONList :: [StmtMethodContent] -> Value # toEncodingList :: [StmtMethodContent] -> Encoding # omitField :: StmtMethodContent -> Bool #
Generic StmtMethodContent Source #
Instance details Defined in Ast Associated Types type Rep StmtMethodContent :: Type -> Type Methods from :: StmtMethodContent -> Rep StmtMethodContent x to :: Rep StmtMethodContent x -> StmtMethodContent
Show StmtMethodContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtMethodContent -> ShowS show :: StmtMethodContent -> String showList :: [StmtMethodContent] -> ShowS
Eq StmtMethodContent Source #
Instance details Defined in Ast Methods (==) :: StmtMethodContent -> StmtMethodContent -> Bool (/=) :: StmtMethodContent -> StmtMethodContent -> Bool
Ord StmtMethodContent Source #
Instance details Defined in Ast Methods compare :: StmtMethodContent -> StmtMethodContent -> Ordering (<) :: StmtMethodContent -> StmtMethodContent -> Bool (<=) :: StmtMethodContent -> StmtMethodContent -> Bool (>) :: StmtMethodContent -> StmtMethodContent -> Bool (>=) :: StmtMethodContent -> StmtMethodContent -> Bool max :: StmtMethodContent -> StmtMethodContent -> StmtMethodContent min :: StmtMethodContent -> StmtMethodContent -> StmtMethodContent
type Rep StmtMethodContent Source #
Instance details Defined in Ast type Rep StmtMethodContent = D1 ('MetaData "StmtMethodContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtMethodContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "stmtMethodReturnType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalTy) :: (S1 ('MetaSel ('Just "stmtMethodName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MethdName) :: S1 ('MetaSel ('Just "stmtMethodParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Param]))) :: ((S1 ('MetaSel ('Just "stmtMethodBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]) :: S1 ('MetaSel ('Just "stmtMethodLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location)) :: (S1 ('MetaSel ('Just "hostingClassName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClassName) :: S1 ('MetaSel ('Just "hostingClassSupers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SuperName])))))

data Methods Source #

Constructors

Methods
Fields actualMethods :: Map MethdName StmtMethodContent

Instances

Instances details

FromJSON Methods Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser Methods # parseJSONList :: Value -> Parser [Methods] # omittedField :: Maybe Methods #
ToJSON Methods Source #
Instance details Defined in Ast Methods toJSON :: Methods -> Value # toEncoding :: Methods -> Encoding # toJSONList :: [Methods] -> Value # toEncodingList :: [Methods] -> Encoding # omitField :: Methods -> Bool #
Generic Methods Source #
Instance details Defined in Ast Associated Types type Rep Methods :: Type -> Type Methods from :: Methods -> Rep Methods x to :: Rep Methods x -> Methods
Show Methods Source #
Instance details Defined in Ast Methods showsPrec :: Int -> Methods -> ShowS show :: Methods -> String showList :: [Methods] -> ShowS
Eq Methods Source #
Instance details Defined in Ast Methods (==) :: Methods -> Methods -> Bool (/=) :: Methods -> Methods -> Bool
Ord Methods Source #
Instance details Defined in Ast Methods compare :: Methods -> Methods -> Ordering (<) :: Methods -> Methods -> Bool (<=) :: Methods -> Methods -> Bool (>) :: Methods -> Methods -> Bool (>=) :: Methods -> Methods -> Bool max :: Methods -> Methods -> Methods min :: Methods -> Methods -> Methods
type Rep Methods Source #
Instance details Defined in Ast type Rep Methods = D1 ('MetaData "Methods" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "Methods" 'PrefixI 'True) (S1 ('MetaSel ('Just "actualMethods") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MethdName StmtMethodContent))))

data StmtClassContent Source #

Constructors

StmtClassContent
Fields stmtClassName :: ClassName stmtClassSupers :: [SuperName] stmtClassDataMembers :: DataMembers stmtClassMethods :: Methods

Instances

Instances details

FromJSON StmtClassContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtClassContent # parseJSONList :: Value -> Parser [StmtClassContent] # omittedField :: Maybe StmtClassContent #
ToJSON StmtClassContent Source #
Instance details Defined in Ast Methods toJSON :: StmtClassContent -> Value # toEncoding :: StmtClassContent -> Encoding # toJSONList :: [StmtClassContent] -> Value # toEncodingList :: [StmtClassContent] -> Encoding # omitField :: StmtClassContent -> Bool #
Generic StmtClassContent Source #
Instance details Defined in Ast Associated Types type Rep StmtClassContent :: Type -> Type Methods from :: StmtClassContent -> Rep StmtClassContent x to :: Rep StmtClassContent x -> StmtClassContent
Show StmtClassContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtClassContent -> ShowS show :: StmtClassContent -> String showList :: [StmtClassContent] -> ShowS
Eq StmtClassContent Source #
Instance details Defined in Ast Methods (==) :: StmtClassContent -> StmtClassContent -> Bool (/=) :: StmtClassContent -> StmtClassContent -> Bool
Ord StmtClassContent Source #
Instance details Defined in Ast Methods compare :: StmtClassContent -> StmtClassContent -> Ordering (<) :: StmtClassContent -> StmtClassContent -> Bool (<=) :: StmtClassContent -> StmtClassContent -> Bool (>) :: StmtClassContent -> StmtClassContent -> Bool (>=) :: StmtClassContent -> StmtClassContent -> Bool max :: StmtClassContent -> StmtClassContent -> StmtClassContent min :: StmtClassContent -> StmtClassContent -> StmtClassContent
type Rep StmtClassContent Source #
Instance details Defined in Ast type Rep StmtClassContent = D1 ('MetaData "StmtClassContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtClassContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "stmtClassName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClassName) :: S1 ('MetaSel ('Just "stmtClassSupers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SuperName])) :: (S1 ('MetaSel ('Just "stmtClassDataMembers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataMembers) :*: S1 ('MetaSel ('Just "stmtClassMethods") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Methods))))

data StmtFuncContent Source #

Constructors

StmtFuncContent
Fields stmtFuncReturnType :: NominalTy stmtFuncName :: FuncName stmtFuncParams :: [Param] stmtFuncBody :: [Stmt] stmtFuncAnnotations :: [Exp] stmtFuncLocation :: Location

Instances

Instances details

FromJSON StmtFuncContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtFuncContent # parseJSONList :: Value -> Parser [StmtFuncContent] # omittedField :: Maybe StmtFuncContent #
ToJSON StmtFuncContent Source #
Instance details Defined in Ast Methods toJSON :: StmtFuncContent -> Value # toEncoding :: StmtFuncContent -> Encoding # toJSONList :: [StmtFuncContent] -> Value # toEncodingList :: [StmtFuncContent] -> Encoding # omitField :: StmtFuncContent -> Bool #
Generic StmtFuncContent Source #
Instance details Defined in Ast Associated Types type Rep StmtFuncContent :: Type -> Type Methods from :: StmtFuncContent -> Rep StmtFuncContent x to :: Rep StmtFuncContent x -> StmtFuncContent
Show StmtFuncContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtFuncContent -> ShowS show :: StmtFuncContent -> String showList :: [StmtFuncContent] -> ShowS
Eq StmtFuncContent Source #
Instance details Defined in Ast Methods (==) :: StmtFuncContent -> StmtFuncContent -> Bool (/=) :: StmtFuncContent -> StmtFuncContent -> Bool
Ord StmtFuncContent Source #
Instance details Defined in Ast Methods compare :: StmtFuncContent -> StmtFuncContent -> Ordering (<) :: StmtFuncContent -> StmtFuncContent -> Bool (<=) :: StmtFuncContent -> StmtFuncContent -> Bool (>) :: StmtFuncContent -> StmtFuncContent -> Bool (>=) :: StmtFuncContent -> StmtFuncContent -> Bool max :: StmtFuncContent -> StmtFuncContent -> StmtFuncContent min :: StmtFuncContent -> StmtFuncContent -> StmtFuncContent
type Rep StmtFuncContent Source #
Instance details Defined in Ast type Rep StmtFuncContent = D1 ('MetaData "StmtFuncContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtFuncContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "stmtFuncReturnType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalTy) :: (S1 ('MetaSel ('Just "stmtFuncName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncName) :: S1 ('MetaSel ('Just "stmtFuncParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Param]))) :: (S1 ('MetaSel ('Just "stmtFuncBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]) :: (S1 ('MetaSel ('Just "stmtFuncAnnotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Exp]) :*: S1 ('MetaSel ('Just "stmtFuncLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location)))))

data StmtVardecContent Source #

Constructors

StmtVardecContent
Fields stmtVardecName :: VarName stmtVardecNominalType :: NominalTy stmtVardecInitValue :: Maybe Exp stmtVardecLocation :: Location

Instances

Instances details

FromJSON StmtVardecContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtVardecContent # parseJSONList :: Value -> Parser [StmtVardecContent] # omittedField :: Maybe StmtVardecContent #
ToJSON StmtVardecContent Source #
Instance details Defined in Ast Methods toJSON :: StmtVardecContent -> Value # toEncoding :: StmtVardecContent -> Encoding # toJSONList :: [StmtVardecContent] -> Value # toEncodingList :: [StmtVardecContent] -> Encoding # omitField :: StmtVardecContent -> Bool #
Generic StmtVardecContent Source #
Instance details Defined in Ast Associated Types type Rep StmtVardecContent :: Type -> Type Methods from :: StmtVardecContent -> Rep StmtVardecContent x to :: Rep StmtVardecContent x -> StmtVardecContent
Show StmtVardecContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtVardecContent -> ShowS show :: StmtVardecContent -> String showList :: [StmtVardecContent] -> ShowS
Eq StmtVardecContent Source #
Instance details Defined in Ast Methods (==) :: StmtVardecContent -> StmtVardecContent -> Bool (/=) :: StmtVardecContent -> StmtVardecContent -> Bool
Ord StmtVardecContent Source #
Instance details Defined in Ast Methods compare :: StmtVardecContent -> StmtVardecContent -> Ordering (<) :: StmtVardecContent -> StmtVardecContent -> Bool (<=) :: StmtVardecContent -> StmtVardecContent -> Bool (>) :: StmtVardecContent -> StmtVardecContent -> Bool (>=) :: StmtVardecContent -> StmtVardecContent -> Bool max :: StmtVardecContent -> StmtVardecContent -> StmtVardecContent min :: StmtVardecContent -> StmtVardecContent -> StmtVardecContent
type Rep StmtVardecContent Source #
Instance details Defined in Ast type Rep StmtVardecContent = D1 ('MetaData "StmtVardecContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtVardecContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "stmtVardecName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarName) :: S1 ('MetaSel ('Just "stmtVardecNominalType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalTy)) :: (S1 ('MetaSel ('Just "stmtVardecInitValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp)) :*: S1 ('MetaSel ('Just "stmtVardecLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data ExpIntContent Source #

Constructors

ExpIntContent
Fields expIntValue :: ConstInt

Instances

Instances details

FromJSON ExpIntContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser ExpIntContent # parseJSONList :: Value -> Parser [ExpIntContent] # omittedField :: Maybe ExpIntContent #
ToJSON ExpIntContent Source #
Instance details Defined in Ast Methods toJSON :: ExpIntContent -> Value # toEncoding :: ExpIntContent -> Encoding # toJSONList :: [ExpIntContent] -> Value # toEncodingList :: [ExpIntContent] -> Encoding # omitField :: ExpIntContent -> Bool #
Generic ExpIntContent Source #
Instance details Defined in Ast Associated Types type Rep ExpIntContent :: Type -> Type Methods from :: ExpIntContent -> Rep ExpIntContent x to :: Rep ExpIntContent x -> ExpIntContent
Show ExpIntContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> ExpIntContent -> ShowS show :: ExpIntContent -> String showList :: [ExpIntContent] -> ShowS
Eq ExpIntContent Source #
Instance details Defined in Ast Methods (==) :: ExpIntContent -> ExpIntContent -> Bool (/=) :: ExpIntContent -> ExpIntContent -> Bool
Ord ExpIntContent Source #
Instance details Defined in Ast Methods compare :: ExpIntContent -> ExpIntContent -> Ordering (<) :: ExpIntContent -> ExpIntContent -> Bool (<=) :: ExpIntContent -> ExpIntContent -> Bool (>) :: ExpIntContent -> ExpIntContent -> Bool (>=) :: ExpIntContent -> ExpIntContent -> Bool max :: ExpIntContent -> ExpIntContent -> ExpIntContent min :: ExpIntContent -> ExpIntContent -> ExpIntContent
type Rep ExpIntContent Source #
Instance details Defined in Ast type Rep ExpIntContent = D1 ('MetaData "ExpIntContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "ExpIntContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "expIntValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstInt)))

data ExpStrContent Source #

Constructors

ExpStrContent
Fields expStrValue :: ConstStr

Instances

Instances details

FromJSON ExpStrContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser ExpStrContent # parseJSONList :: Value -> Parser [ExpStrContent] # omittedField :: Maybe ExpStrContent #
ToJSON ExpStrContent Source #
Instance details Defined in Ast Methods toJSON :: ExpStrContent -> Value # toEncoding :: ExpStrContent -> Encoding # toJSONList :: [ExpStrContent] -> Value # toEncodingList :: [ExpStrContent] -> Encoding # omitField :: ExpStrContent -> Bool #
Generic ExpStrContent Source #
Instance details Defined in Ast Associated Types type Rep ExpStrContent :: Type -> Type Methods from :: ExpStrContent -> Rep ExpStrContent x to :: Rep ExpStrContent x -> ExpStrContent
Show ExpStrContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> ExpStrContent -> ShowS show :: ExpStrContent -> String showList :: [ExpStrContent] -> ShowS
Eq ExpStrContent Source #
Instance details Defined in Ast Methods (==) :: ExpStrContent -> ExpStrContent -> Bool (/=) :: ExpStrContent -> ExpStrContent -> Bool
Ord ExpStrContent Source #
Instance details Defined in Ast Methods compare :: ExpStrContent -> ExpStrContent -> Ordering (<) :: ExpStrContent -> ExpStrContent -> Bool (<=) :: ExpStrContent -> ExpStrContent -> Bool (>) :: ExpStrContent -> ExpStrContent -> Bool (>=) :: ExpStrContent -> ExpStrContent -> Bool max :: ExpStrContent -> ExpStrContent -> ExpStrContent min :: ExpStrContent -> ExpStrContent -> ExpStrContent
type Rep ExpStrContent Source #
Instance details Defined in Ast type Rep ExpStrContent = D1 ('MetaData "ExpStrContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "ExpStrContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "expStrValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstStr)))

data ExpBoolContent Source #

Constructors

ExpBoolContent
Fields expBoolValue :: ConstBool

Instances

Instances details

FromJSON ExpBoolContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser ExpBoolContent # parseJSONList :: Value -> Parser [ExpBoolContent] # omittedField :: Maybe ExpBoolContent #
ToJSON ExpBoolContent Source #
Instance details Defined in Ast Methods toJSON :: ExpBoolContent -> Value # toEncoding :: ExpBoolContent -> Encoding # toJSONList :: [ExpBoolContent] -> Value # toEncodingList :: [ExpBoolContent] -> Encoding # omitField :: ExpBoolContent -> Bool #
Generic ExpBoolContent Source #
Instance details Defined in Ast Associated Types type Rep ExpBoolContent :: Type -> Type Methods from :: ExpBoolContent -> Rep ExpBoolContent x to :: Rep ExpBoolContent x -> ExpBoolContent
Show ExpBoolContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> ExpBoolContent -> ShowS show :: ExpBoolContent -> String showList :: [ExpBoolContent] -> ShowS
Eq ExpBoolContent Source #
Instance details Defined in Ast Methods (==) :: ExpBoolContent -> ExpBoolContent -> Bool (/=) :: ExpBoolContent -> ExpBoolContent -> Bool
Ord ExpBoolContent Source #
Instance details Defined in Ast Methods compare :: ExpBoolContent -> ExpBoolContent -> Ordering (<) :: ExpBoolContent -> ExpBoolContent -> Bool (<=) :: ExpBoolContent -> ExpBoolContent -> Bool (>) :: ExpBoolContent -> ExpBoolContent -> Bool (>=) :: ExpBoolContent -> ExpBoolContent -> Bool max :: ExpBoolContent -> ExpBoolContent -> ExpBoolContent min :: ExpBoolContent -> ExpBoolContent -> ExpBoolContent
type Rep ExpBoolContent Source #
Instance details Defined in Ast type Rep ExpBoolContent = D1 ('MetaData "ExpBoolContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "ExpBoolContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "expBoolValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstBool)))

data ExpNullContent Source #

Constructors

ExpNullContent
Fields expNullValue :: ConstNull

Instances

Instances details

FromJSON ExpNullContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser ExpNullContent # parseJSONList :: Value -> Parser [ExpNullContent] # omittedField :: Maybe ExpNullContent #
ToJSON ExpNullContent Source #
Instance details Defined in Ast Methods toJSON :: ExpNullContent -> Value # toEncoding :: ExpNullContent -> Encoding # toJSONList :: [ExpNullContent] -> Value # toEncodingList :: [ExpNullContent] -> Encoding # omitField :: ExpNullContent -> Bool #
Generic ExpNullContent Source #
Instance details Defined in Ast Associated Types type Rep ExpNullContent :: Type -> Type Methods from :: ExpNullContent -> Rep ExpNullContent x to :: Rep ExpNullContent x -> ExpNullContent
Show ExpNullContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> ExpNullContent -> ShowS show :: ExpNullContent -> String showList :: [ExpNullContent] -> ShowS
Eq ExpNullContent Source #
Instance details Defined in Ast Methods (==) :: ExpNullContent -> ExpNullContent -> Bool (/=) :: ExpNullContent -> ExpNullContent -> Bool
Ord ExpNullContent Source #
Instance details Defined in Ast Methods compare :: ExpNullContent -> ExpNullContent -> Ordering (<) :: ExpNullContent -> ExpNullContent -> Bool (<=) :: ExpNullContent -> ExpNullContent -> Bool (>) :: ExpNullContent -> ExpNullContent -> Bool (>=) :: ExpNullContent -> ExpNullContent -> Bool max :: ExpNullContent -> ExpNullContent -> ExpNullContent min :: ExpNullContent -> ExpNullContent -> ExpNullContent
type Rep ExpNullContent Source #
Instance details Defined in Ast type Rep ExpNullContent = D1 ('MetaData "ExpNullContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "ExpNullContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "expNullValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstNull)))

data Operator Source #

Constructors

PLUS
MINUS
TIMES
DIVIDE
PERCENT

Instances

Instances details

FromJSON Operator Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser Operator # parseJSONList :: Value -> Parser [Operator] # omittedField :: Maybe Operator #
ToJSON Operator Source #
Instance details Defined in Ast Methods toJSON :: Operator -> Value # toEncoding :: Operator -> Encoding # toJSONList :: [Operator] -> Value # toEncodingList :: [Operator] -> Encoding # omitField :: Operator -> Bool #
Generic Operator Source #
Instance details Defined in Ast Associated Types type Rep Operator :: Type -> Type Methods from :: Operator -> Rep Operator x to :: Rep Operator x -> Operator
Show Operator Source #
Instance details Defined in Ast Methods showsPrec :: Int -> Operator -> ShowS show :: Operator -> String showList :: [Operator] -> ShowS
Eq Operator Source #
Instance details Defined in Ast Methods (==) :: Operator -> Operator -> Bool (/=) :: Operator -> Operator -> Bool
Ord Operator Source #
Instance details Defined in Ast Methods compare :: Operator -> Operator -> Ordering (<) :: Operator -> Operator -> Bool (<=) :: Operator -> Operator -> Bool (>) :: Operator -> Operator -> Bool (>=) :: Operator -> Operator -> Bool max :: Operator -> Operator -> Operator min :: Operator -> Operator -> Operator
type Rep Operator Source #
Instance details Defined in Ast type Rep Operator = D1 ('MetaData "Operator" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) ((C1 ('MetaCons "PLUS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MINUS" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TIMES" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DIVIDE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PERCENT" 'PrefixI 'False) (U1 :: Type -> Type))))

data ExpLambdaContent Source #

Constructors

ExpLambdaContent
Fields expLambdaParams :: [Param] expLambdaBody :: [Stmt] expLambdaLocation :: Location

Instances

Instances details

FromJSON ExpLambdaContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser ExpLambdaContent # parseJSONList :: Value -> Parser [ExpLambdaContent] # omittedField :: Maybe ExpLambdaContent #
ToJSON ExpLambdaContent Source #
Instance details Defined in Ast Methods toJSON :: ExpLambdaContent -> Value # toEncoding :: ExpLambdaContent -> Encoding # toJSONList :: [ExpLambdaContent] -> Value # toEncodingList :: [ExpLambdaContent] -> Encoding # omitField :: ExpLambdaContent -> Bool #
Generic ExpLambdaContent Source #
Instance details Defined in Ast Associated Types type Rep ExpLambdaContent :: Type -> Type Methods from :: ExpLambdaContent -> Rep ExpLambdaContent x to :: Rep ExpLambdaContent x -> ExpLambdaContent
Show ExpLambdaContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> ExpLambdaContent -> ShowS show :: ExpLambdaContent -> String showList :: [ExpLambdaContent] -> ShowS
Eq ExpLambdaContent Source #
Instance details Defined in Ast Methods (==) :: ExpLambdaContent -> ExpLambdaContent -> Bool (/=) :: ExpLambdaContent -> ExpLambdaContent -> Bool
Ord ExpLambdaContent Source #
Instance details Defined in Ast Methods compare :: ExpLambdaContent -> ExpLambdaContent -> Ordering (<) :: ExpLambdaContent -> ExpLambdaContent -> Bool (<=) :: ExpLambdaContent -> ExpLambdaContent -> Bool (>) :: ExpLambdaContent -> ExpLambdaContent -> Bool (>=) :: ExpLambdaContent -> ExpLambdaContent -> Bool max :: ExpLambdaContent -> ExpLambdaContent -> ExpLambdaContent min :: ExpLambdaContent -> ExpLambdaContent -> ExpLambdaContent
type Rep ExpLambdaContent Source #
Instance details Defined in Ast type Rep ExpLambdaContent = D1 ('MetaData "ExpLambdaContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "ExpLambdaContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "expLambdaParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Param]) :: (S1 ('MetaSel ('Just "expLambdaBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]) :: S1 ('MetaSel ('Just "expLambdaLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data ExpBinopContent Source #

Constructors

ExpBinopContent
Fields expBinopLeft :: Exp expBinopRight :: Exp expBinopOperator :: Operator expBinopLocation :: Location

Instances

Instances details

FromJSON ExpBinopContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser ExpBinopContent # parseJSONList :: Value -> Parser [ExpBinopContent] # omittedField :: Maybe ExpBinopContent #
ToJSON ExpBinopContent Source #
Instance details Defined in Ast Methods toJSON :: ExpBinopContent -> Value # toEncoding :: ExpBinopContent -> Encoding # toJSONList :: [ExpBinopContent] -> Value # toEncodingList :: [ExpBinopContent] -> Encoding # omitField :: ExpBinopContent -> Bool #
Generic ExpBinopContent Source #
Instance details Defined in Ast Associated Types type Rep ExpBinopContent :: Type -> Type Methods from :: ExpBinopContent -> Rep ExpBinopContent x to :: Rep ExpBinopContent x -> ExpBinopContent
Show ExpBinopContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> ExpBinopContent -> ShowS show :: ExpBinopContent -> String showList :: [ExpBinopContent] -> ShowS
Eq ExpBinopContent Source #
Instance details Defined in Ast Methods (==) :: ExpBinopContent -> ExpBinopContent -> Bool (/=) :: ExpBinopContent -> ExpBinopContent -> Bool
Ord ExpBinopContent Source #
Instance details Defined in Ast Methods compare :: ExpBinopContent -> ExpBinopContent -> Ordering (<) :: ExpBinopContent -> ExpBinopContent -> Bool (<=) :: ExpBinopContent -> ExpBinopContent -> Bool (>) :: ExpBinopContent -> ExpBinopContent -> Bool (>=) :: ExpBinopContent -> ExpBinopContent -> Bool max :: ExpBinopContent -> ExpBinopContent -> ExpBinopContent min :: ExpBinopContent -> ExpBinopContent -> ExpBinopContent
type Rep ExpBinopContent Source #
Instance details Defined in Ast type Rep ExpBinopContent = D1 ('MetaData "ExpBinopContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "ExpBinopContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "expBinopLeft") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: S1 ('MetaSel ('Just "expBinopRight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :: (S1 ('MetaSel ('Just "expBinopOperator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Operator) :*: S1 ('MetaSel ('Just "expBinopLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data ExpVarContent Source #

Constructors

ExpVarContent
Fields actualExpVar :: Var

Instances

Instances details

FromJSON ExpVarContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser ExpVarContent # parseJSONList :: Value -> Parser [ExpVarContent] # omittedField :: Maybe ExpVarContent #
ToJSON ExpVarContent Source #
Instance details Defined in Ast Methods toJSON :: ExpVarContent -> Value # toEncoding :: ExpVarContent -> Encoding # toJSONList :: [ExpVarContent] -> Value # toEncodingList :: [ExpVarContent] -> Encoding # omitField :: ExpVarContent -> Bool #
Generic ExpVarContent Source #
Instance details Defined in Ast Associated Types type Rep ExpVarContent :: Type -> Type Methods from :: ExpVarContent -> Rep ExpVarContent x to :: Rep ExpVarContent x -> ExpVarContent
Show ExpVarContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> ExpVarContent -> ShowS show :: ExpVarContent -> String showList :: [ExpVarContent] -> ShowS
Eq ExpVarContent Source #
Instance details Defined in Ast Methods (==) :: ExpVarContent -> ExpVarContent -> Bool (/=) :: ExpVarContent -> ExpVarContent -> Bool
Ord ExpVarContent Source #
Instance details Defined in Ast Methods compare :: ExpVarContent -> ExpVarContent -> Ordering (<) :: ExpVarContent -> ExpVarContent -> Bool (<=) :: ExpVarContent -> ExpVarContent -> Bool (>) :: ExpVarContent -> ExpVarContent -> Bool (>=) :: ExpVarContent -> ExpVarContent -> Bool max :: ExpVarContent -> ExpVarContent -> ExpVarContent min :: ExpVarContent -> ExpVarContent -> ExpVarContent
type Rep ExpVarContent Source #
Instance details Defined in Ast type Rep ExpVarContent = D1 ('MetaData "ExpVarContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "ExpVarContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "actualExpVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var)))

data StmtAssignContent Source #

Constructors

StmtAssignContent
Fields stmtAssignLhs :: Var stmtAssignRhs :: Exp

Instances

Instances details

FromJSON StmtAssignContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtAssignContent # parseJSONList :: Value -> Parser [StmtAssignContent] # omittedField :: Maybe StmtAssignContent #
ToJSON StmtAssignContent Source #
Instance details Defined in Ast Methods toJSON :: StmtAssignContent -> Value # toEncoding :: StmtAssignContent -> Encoding # toJSONList :: [StmtAssignContent] -> Value # toEncodingList :: [StmtAssignContent] -> Encoding # omitField :: StmtAssignContent -> Bool #
Generic StmtAssignContent Source #
Instance details Defined in Ast Associated Types type Rep StmtAssignContent :: Type -> Type Methods from :: StmtAssignContent -> Rep StmtAssignContent x to :: Rep StmtAssignContent x -> StmtAssignContent
Show StmtAssignContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtAssignContent -> ShowS show :: StmtAssignContent -> String showList :: [StmtAssignContent] -> ShowS
Eq StmtAssignContent Source #
Instance details Defined in Ast Methods (==) :: StmtAssignContent -> StmtAssignContent -> Bool (/=) :: StmtAssignContent -> StmtAssignContent -> Bool
Ord StmtAssignContent Source #
Instance details Defined in Ast Methods compare :: StmtAssignContent -> StmtAssignContent -> Ordering (<) :: StmtAssignContent -> StmtAssignContent -> Bool (<=) :: StmtAssignContent -> StmtAssignContent -> Bool (>) :: StmtAssignContent -> StmtAssignContent -> Bool (>=) :: StmtAssignContent -> StmtAssignContent -> Bool max :: StmtAssignContent -> StmtAssignContent -> StmtAssignContent min :: StmtAssignContent -> StmtAssignContent -> StmtAssignContent
type Rep StmtAssignContent Source #
Instance details Defined in Ast type Rep StmtAssignContent = D1 ('MetaData "StmtAssignContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtAssignContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "stmtAssignLhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :*: S1 ('MetaSel ('Just "stmtAssignRhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)))

data StmtTryContent Source #

Constructors

StmtTryContent
Fields stmtTryPart :: [Stmt] stmtCatchPart :: [Stmt] stmtTryLocation :: Location

Instances

Instances details

FromJSON StmtTryContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtTryContent # parseJSONList :: Value -> Parser [StmtTryContent] # omittedField :: Maybe StmtTryContent #
ToJSON StmtTryContent Source #
Instance details Defined in Ast Methods toJSON :: StmtTryContent -> Value # toEncoding :: StmtTryContent -> Encoding # toJSONList :: [StmtTryContent] -> Value # toEncodingList :: [StmtTryContent] -> Encoding # omitField :: StmtTryContent -> Bool #
Generic StmtTryContent Source #
Instance details Defined in Ast Associated Types type Rep StmtTryContent :: Type -> Type Methods from :: StmtTryContent -> Rep StmtTryContent x to :: Rep StmtTryContent x -> StmtTryContent
Show StmtTryContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtTryContent -> ShowS show :: StmtTryContent -> String showList :: [StmtTryContent] -> ShowS
Eq StmtTryContent Source #
Instance details Defined in Ast Methods (==) :: StmtTryContent -> StmtTryContent -> Bool (/=) :: StmtTryContent -> StmtTryContent -> Bool
Ord StmtTryContent Source #
Instance details Defined in Ast Methods compare :: StmtTryContent -> StmtTryContent -> Ordering (<) :: StmtTryContent -> StmtTryContent -> Bool (<=) :: StmtTryContent -> StmtTryContent -> Bool (>) :: StmtTryContent -> StmtTryContent -> Bool (>=) :: StmtTryContent -> StmtTryContent -> Bool max :: StmtTryContent -> StmtTryContent -> StmtTryContent min :: StmtTryContent -> StmtTryContent -> StmtTryContent
type Rep StmtTryContent Source #
Instance details Defined in Ast type Rep StmtTryContent = D1 ('MetaData "StmtTryContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtTryContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "stmtTryPart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]) :: (S1 ('MetaSel ('Just "stmtCatchPart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]) :: S1 ('MetaSel ('Just "stmtTryLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data StmtBreakContent Source #

Constructors

StmtBreakContent
Fields stmtBreakLocation :: Location

Instances

Instances details

FromJSON StmtBreakContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtBreakContent # parseJSONList :: Value -> Parser [StmtBreakContent] # omittedField :: Maybe StmtBreakContent #
ToJSON StmtBreakContent Source #
Instance details Defined in Ast Methods toJSON :: StmtBreakContent -> Value # toEncoding :: StmtBreakContent -> Encoding # toJSONList :: [StmtBreakContent] -> Value # toEncodingList :: [StmtBreakContent] -> Encoding # omitField :: StmtBreakContent -> Bool #
Generic StmtBreakContent Source #
Instance details Defined in Ast Associated Types type Rep StmtBreakContent :: Type -> Type Methods from :: StmtBreakContent -> Rep StmtBreakContent x to :: Rep StmtBreakContent x -> StmtBreakContent
Show StmtBreakContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtBreakContent -> ShowS show :: StmtBreakContent -> String showList :: [StmtBreakContent] -> ShowS
Eq StmtBreakContent Source #
Instance details Defined in Ast Methods (==) :: StmtBreakContent -> StmtBreakContent -> Bool (/=) :: StmtBreakContent -> StmtBreakContent -> Bool
Ord StmtBreakContent Source #
Instance details Defined in Ast Methods compare :: StmtBreakContent -> StmtBreakContent -> Ordering (<) :: StmtBreakContent -> StmtBreakContent -> Bool (<=) :: StmtBreakContent -> StmtBreakContent -> Bool (>) :: StmtBreakContent -> StmtBreakContent -> Bool (>=) :: StmtBreakContent -> StmtBreakContent -> Bool max :: StmtBreakContent -> StmtBreakContent -> StmtBreakContent min :: StmtBreakContent -> StmtBreakContent -> StmtBreakContent
type Rep StmtBreakContent Source #
Instance details Defined in Ast type Rep StmtBreakContent = D1 ('MetaData "StmtBreakContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtBreakContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "stmtBreakLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location)))

data StmtBlockContent Source #

Constructors

StmtBlockContent
Fields stmtBlockContent :: [Stmt] stmtBlockLocation :: Location

Instances

Instances details

FromJSON StmtBlockContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtBlockContent # parseJSONList :: Value -> Parser [StmtBlockContent] # omittedField :: Maybe StmtBlockContent #
ToJSON StmtBlockContent Source #
Instance details Defined in Ast Methods toJSON :: StmtBlockContent -> Value # toEncoding :: StmtBlockContent -> Encoding # toJSONList :: [StmtBlockContent] -> Value # toEncodingList :: [StmtBlockContent] -> Encoding # omitField :: StmtBlockContent -> Bool #
Generic StmtBlockContent Source #
Instance details Defined in Ast Associated Types type Rep StmtBlockContent :: Type -> Type Methods from :: StmtBlockContent -> Rep StmtBlockContent x to :: Rep StmtBlockContent x -> StmtBlockContent
Show StmtBlockContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtBlockContent -> ShowS show :: StmtBlockContent -> String showList :: [StmtBlockContent] -> ShowS
Eq StmtBlockContent Source #
Instance details Defined in Ast Methods (==) :: StmtBlockContent -> StmtBlockContent -> Bool (/=) :: StmtBlockContent -> StmtBlockContent -> Bool
Ord StmtBlockContent Source #
Instance details Defined in Ast Methods compare :: StmtBlockContent -> StmtBlockContent -> Ordering (<) :: StmtBlockContent -> StmtBlockContent -> Bool (<=) :: StmtBlockContent -> StmtBlockContent -> Bool (>) :: StmtBlockContent -> StmtBlockContent -> Bool (>=) :: StmtBlockContent -> StmtBlockContent -> Bool max :: StmtBlockContent -> StmtBlockContent -> StmtBlockContent min :: StmtBlockContent -> StmtBlockContent -> StmtBlockContent
type Rep StmtBlockContent Source #
Instance details Defined in Ast type Rep StmtBlockContent = D1 ('MetaData "StmtBlockContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtBlockContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "stmtBlockContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]) :*: S1 ('MetaSel ('Just "stmtBlockLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location)))

data StmtImportContent Source #

Examples:

Expand

Simple source import

# stmtImportSource is "json" 
# stmtImportFromSource is Nothing 
# stmtImportAlias is Nothing
import json

Specifying a specific name from source

# stmtImportSource is "urllib.parse"
# stmtImportFromSource is Just "urljoin"
# stmtImportAlias is Nothing
from urllib.parse import urljoin

Specifying an alias for a source import

# stmtImportSource is "networkx"
# stmtImportFromSource is Nothing
# stmtImportAlias is Just "nx"
import networkx as nx

Constructors

StmtImportContent
Fields stmtImportSource :: String stmtImportFromSource :: Maybe String stmtImportAlias :: Maybe String stmtImportLocation :: Location

Instances

Instances details

FromJSON StmtImportContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtImportContent # parseJSONList :: Value -> Parser [StmtImportContent] # omittedField :: Maybe StmtImportContent #
ToJSON StmtImportContent Source #
Instance details Defined in Ast Methods toJSON :: StmtImportContent -> Value # toEncoding :: StmtImportContent -> Encoding # toJSONList :: [StmtImportContent] -> Value # toEncodingList :: [StmtImportContent] -> Encoding # omitField :: StmtImportContent -> Bool #
Generic StmtImportContent Source #
Instance details Defined in Ast Associated Types type Rep StmtImportContent :: Type -> Type Methods from :: StmtImportContent -> Rep StmtImportContent x to :: Rep StmtImportContent x -> StmtImportContent
Show StmtImportContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtImportContent -> ShowS show :: StmtImportContent -> String showList :: [StmtImportContent] -> ShowS
Eq StmtImportContent Source #
Instance details Defined in Ast Methods (==) :: StmtImportContent -> StmtImportContent -> Bool (/=) :: StmtImportContent -> StmtImportContent -> Bool
Ord StmtImportContent Source #
Instance details Defined in Ast Methods compare :: StmtImportContent -> StmtImportContent -> Ordering (<) :: StmtImportContent -> StmtImportContent -> Bool (<=) :: StmtImportContent -> StmtImportContent -> Bool (>) :: StmtImportContent -> StmtImportContent -> Bool (>=) :: StmtImportContent -> StmtImportContent -> Bool max :: StmtImportContent -> StmtImportContent -> StmtImportContent min :: StmtImportContent -> StmtImportContent -> StmtImportContent
type Rep StmtImportContent Source #
Instance details Defined in Ast type Rep StmtImportContent = D1 ('MetaData "StmtImportContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtImportContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "stmtImportSource") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "stmtImportFromSource") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :: (S1 ('MetaSel ('Just "stmtImportAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Just "stmtImportLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data StmtContinueContent Source #

Constructors

StmtContinueContent
Fields stmtContinueLocation :: Location

Instances

Instances details

FromJSON StmtContinueContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtContinueContent # parseJSONList :: Value -> Parser [StmtContinueContent] # omittedField :: Maybe StmtContinueContent #
ToJSON StmtContinueContent Source #
Instance details Defined in Ast Methods toJSON :: StmtContinueContent -> Value # toEncoding :: StmtContinueContent -> Encoding # toJSONList :: [StmtContinueContent] -> Value # toEncodingList :: [StmtContinueContent] -> Encoding # omitField :: StmtContinueContent -> Bool #
Generic StmtContinueContent Source #
Instance details Defined in Ast Associated Types type Rep StmtContinueContent :: Type -> Type Methods from :: StmtContinueContent -> Rep StmtContinueContent x to :: Rep StmtContinueContent x -> StmtContinueContent
Show StmtContinueContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtContinueContent -> ShowS show :: StmtContinueContent -> String showList :: [StmtContinueContent] -> ShowS
Eq StmtContinueContent Source #
Instance details Defined in Ast Methods (==) :: StmtContinueContent -> StmtContinueContent -> Bool (/=) :: StmtContinueContent -> StmtContinueContent -> Bool
Ord StmtContinueContent Source #
Instance details Defined in Ast Methods compare :: StmtContinueContent -> StmtContinueContent -> Ordering (<) :: StmtContinueContent -> StmtContinueContent -> Bool (<=) :: StmtContinueContent -> StmtContinueContent -> Bool (>) :: StmtContinueContent -> StmtContinueContent -> Bool (>=) :: StmtContinueContent -> StmtContinueContent -> Bool max :: StmtContinueContent -> StmtContinueContent -> StmtContinueContent min :: StmtContinueContent -> StmtContinueContent -> StmtContinueContent
type Rep StmtContinueContent Source #
Instance details Defined in Ast type Rep StmtContinueContent = D1 ('MetaData "StmtContinueContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtContinueContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "stmtContinueLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location)))

data StmtIfContent Source #

Constructors

StmtIfContent
Fields stmtIfCond :: Exp stmtIfBody :: [Stmt] stmtElseBody :: [Stmt] stmtIfLocation :: Location

Instances

Instances details

FromJSON StmtIfContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtIfContent # parseJSONList :: Value -> Parser [StmtIfContent] # omittedField :: Maybe StmtIfContent #
ToJSON StmtIfContent Source #
Instance details Defined in Ast Methods toJSON :: StmtIfContent -> Value # toEncoding :: StmtIfContent -> Encoding # toJSONList :: [StmtIfContent] -> Value # toEncodingList :: [StmtIfContent] -> Encoding # omitField :: StmtIfContent -> Bool #
Generic StmtIfContent Source #
Instance details Defined in Ast Associated Types type Rep StmtIfContent :: Type -> Type Methods from :: StmtIfContent -> Rep StmtIfContent x to :: Rep StmtIfContent x -> StmtIfContent
Show StmtIfContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtIfContent -> ShowS show :: StmtIfContent -> String showList :: [StmtIfContent] -> ShowS
Eq StmtIfContent Source #
Instance details Defined in Ast Methods (==) :: StmtIfContent -> StmtIfContent -> Bool (/=) :: StmtIfContent -> StmtIfContent -> Bool
Ord StmtIfContent Source #
Instance details Defined in Ast Methods compare :: StmtIfContent -> StmtIfContent -> Ordering (<) :: StmtIfContent -> StmtIfContent -> Bool (<=) :: StmtIfContent -> StmtIfContent -> Bool (>) :: StmtIfContent -> StmtIfContent -> Bool (>=) :: StmtIfContent -> StmtIfContent -> Bool max :: StmtIfContent -> StmtIfContent -> StmtIfContent min :: StmtIfContent -> StmtIfContent -> StmtIfContent
type Rep StmtIfContent Source #
Instance details Defined in Ast type Rep StmtIfContent = D1 ('MetaData "StmtIfContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtIfContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "stmtIfCond") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: S1 ('MetaSel ('Just "stmtIfBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt])) :: (S1 ('MetaSel ('Just "stmtElseBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]) :*: S1 ('MetaSel ('Just "stmtIfLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data StmtWhileContent Source #

Constructors

StmtWhileContent
Fields stmtWhileCond :: Exp stmtWhileBody :: [Stmt] stmtWhileLocation :: Location

Instances

Instances details

FromJSON StmtWhileContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtWhileContent # parseJSONList :: Value -> Parser [StmtWhileContent] # omittedField :: Maybe StmtWhileContent #
ToJSON StmtWhileContent Source #
Instance details Defined in Ast Methods toJSON :: StmtWhileContent -> Value # toEncoding :: StmtWhileContent -> Encoding # toJSONList :: [StmtWhileContent] -> Value # toEncodingList :: [StmtWhileContent] -> Encoding # omitField :: StmtWhileContent -> Bool #
Generic StmtWhileContent Source #
Instance details Defined in Ast Associated Types type Rep StmtWhileContent :: Type -> Type Methods from :: StmtWhileContent -> Rep StmtWhileContent x to :: Rep StmtWhileContent x -> StmtWhileContent
Show StmtWhileContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtWhileContent -> ShowS show :: StmtWhileContent -> String showList :: [StmtWhileContent] -> ShowS
Eq StmtWhileContent Source #
Instance details Defined in Ast Methods (==) :: StmtWhileContent -> StmtWhileContent -> Bool (/=) :: StmtWhileContent -> StmtWhileContent -> Bool
Ord StmtWhileContent Source #
Instance details Defined in Ast Methods compare :: StmtWhileContent -> StmtWhileContent -> Ordering (<) :: StmtWhileContent -> StmtWhileContent -> Bool (<=) :: StmtWhileContent -> StmtWhileContent -> Bool (>) :: StmtWhileContent -> StmtWhileContent -> Bool (>=) :: StmtWhileContent -> StmtWhileContent -> Bool max :: StmtWhileContent -> StmtWhileContent -> StmtWhileContent min :: StmtWhileContent -> StmtWhileContent -> StmtWhileContent
type Rep StmtWhileContent Source #
Instance details Defined in Ast type Rep StmtWhileContent = D1 ('MetaData "StmtWhileContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtWhileContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "stmtWhileCond") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: (S1 ('MetaSel ('Just "stmtWhileBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]) :: S1 ('MetaSel ('Just "stmtWhileLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data StmtReturnContent Source #

Constructors

StmtReturnContent
Fields stmtReturnValue :: Maybe Exp stmtReturnLocation :: Location

Instances

Instances details

FromJSON StmtReturnContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser StmtReturnContent # parseJSONList :: Value -> Parser [StmtReturnContent] # omittedField :: Maybe StmtReturnContent #
ToJSON StmtReturnContent Source #
Instance details Defined in Ast Methods toJSON :: StmtReturnContent -> Value # toEncoding :: StmtReturnContent -> Encoding # toJSONList :: [StmtReturnContent] -> Value # toEncodingList :: [StmtReturnContent] -> Encoding # omitField :: StmtReturnContent -> Bool #
Generic StmtReturnContent Source #
Instance details Defined in Ast Associated Types type Rep StmtReturnContent :: Type -> Type Methods from :: StmtReturnContent -> Rep StmtReturnContent x to :: Rep StmtReturnContent x -> StmtReturnContent
Show StmtReturnContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> StmtReturnContent -> ShowS show :: StmtReturnContent -> String showList :: [StmtReturnContent] -> ShowS
Eq StmtReturnContent Source #
Instance details Defined in Ast Methods (==) :: StmtReturnContent -> StmtReturnContent -> Bool (/=) :: StmtReturnContent -> StmtReturnContent -> Bool
Ord StmtReturnContent Source #
Instance details Defined in Ast Methods compare :: StmtReturnContent -> StmtReturnContent -> Ordering (<) :: StmtReturnContent -> StmtReturnContent -> Bool (<=) :: StmtReturnContent -> StmtReturnContent -> Bool (>) :: StmtReturnContent -> StmtReturnContent -> Bool (>=) :: StmtReturnContent -> StmtReturnContent -> Bool max :: StmtReturnContent -> StmtReturnContent -> StmtReturnContent min :: StmtReturnContent -> StmtReturnContent -> StmtReturnContent
type Rep StmtReturnContent Source #
Instance details Defined in Ast type Rep StmtReturnContent = D1 ('MetaData "StmtReturnContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "StmtReturnContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "stmtReturnValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp)) :*: S1 ('MetaSel ('Just "stmtReturnLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location)))

data ExpCallContent Source #

Constructors

ExpCallContent
Fields callee :: Exp args :: [Exp] expCallLocation :: Location

Instances

Instances details

FromJSON ExpCallContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser ExpCallContent # parseJSONList :: Value -> Parser [ExpCallContent] # omittedField :: Maybe ExpCallContent #
ToJSON ExpCallContent Source #
Instance details Defined in Ast Methods toJSON :: ExpCallContent -> Value # toEncoding :: ExpCallContent -> Encoding # toJSONList :: [ExpCallContent] -> Value # toEncodingList :: [ExpCallContent] -> Encoding # omitField :: ExpCallContent -> Bool #
Generic ExpCallContent Source #
Instance details Defined in Ast Associated Types type Rep ExpCallContent :: Type -> Type Methods from :: ExpCallContent -> Rep ExpCallContent x to :: Rep ExpCallContent x -> ExpCallContent
Show ExpCallContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> ExpCallContent -> ShowS show :: ExpCallContent -> String showList :: [ExpCallContent] -> ShowS
Eq ExpCallContent Source #
Instance details Defined in Ast Methods (==) :: ExpCallContent -> ExpCallContent -> Bool (/=) :: ExpCallContent -> ExpCallContent -> Bool
Ord ExpCallContent Source #
Instance details Defined in Ast Methods compare :: ExpCallContent -> ExpCallContent -> Ordering (<) :: ExpCallContent -> ExpCallContent -> Bool (<=) :: ExpCallContent -> ExpCallContent -> Bool (>) :: ExpCallContent -> ExpCallContent -> Bool (>=) :: ExpCallContent -> ExpCallContent -> Bool max :: ExpCallContent -> ExpCallContent -> ExpCallContent min :: ExpCallContent -> ExpCallContent -> ExpCallContent
type Rep ExpCallContent Source #
Instance details Defined in Ast type Rep ExpCallContent = D1 ('MetaData "ExpCallContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "ExpCallContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "callee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: (S1 ('MetaSel ('Just "args") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Exp]) :: S1 ('MetaSel ('Just "expCallLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data VarFieldContent Source #

Constructors

VarFieldContent
Fields varFieldLhs :: Exp varFieldName :: FieldName varFieldLocation :: Location

Instances

Instances details

FromJSON VarFieldContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser VarFieldContent # parseJSONList :: Value -> Parser [VarFieldContent] # omittedField :: Maybe VarFieldContent #
ToJSON VarFieldContent Source #
Instance details Defined in Ast Methods toJSON :: VarFieldContent -> Value # toEncoding :: VarFieldContent -> Encoding # toJSONList :: [VarFieldContent] -> Value # toEncodingList :: [VarFieldContent] -> Encoding # omitField :: VarFieldContent -> Bool #
Generic VarFieldContent Source #
Instance details Defined in Ast Associated Types type Rep VarFieldContent :: Type -> Type Methods from :: VarFieldContent -> Rep VarFieldContent x to :: Rep VarFieldContent x -> VarFieldContent
Show VarFieldContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> VarFieldContent -> ShowS show :: VarFieldContent -> String showList :: [VarFieldContent] -> ShowS
Eq VarFieldContent Source #
Instance details Defined in Ast Methods (==) :: VarFieldContent -> VarFieldContent -> Bool (/=) :: VarFieldContent -> VarFieldContent -> Bool
Ord VarFieldContent Source #
Instance details Defined in Ast Methods compare :: VarFieldContent -> VarFieldContent -> Ordering (<) :: VarFieldContent -> VarFieldContent -> Bool (<=) :: VarFieldContent -> VarFieldContent -> Bool (>) :: VarFieldContent -> VarFieldContent -> Bool (>=) :: VarFieldContent -> VarFieldContent -> Bool max :: VarFieldContent -> VarFieldContent -> VarFieldContent min :: VarFieldContent -> VarFieldContent -> VarFieldContent
type Rep VarFieldContent Source #
Instance details Defined in Ast type Rep VarFieldContent = D1 ('MetaData "VarFieldContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "VarFieldContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "varFieldLhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: (S1 ('MetaSel ('Just "varFieldName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldName) :: S1 ('MetaSel ('Just "varFieldLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data VarSimpleContent Source #

Constructors

VarSimpleContent
Fields varName :: VarName

Instances

Instances details

FromJSON VarSimpleContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser VarSimpleContent # parseJSONList :: Value -> Parser [VarSimpleContent] # omittedField :: Maybe VarSimpleContent #
ToJSON VarSimpleContent Source #
Instance details Defined in Ast Methods toJSON :: VarSimpleContent -> Value # toEncoding :: VarSimpleContent -> Encoding # toJSONList :: [VarSimpleContent] -> Value # toEncodingList :: [VarSimpleContent] -> Encoding # omitField :: VarSimpleContent -> Bool #
Generic VarSimpleContent Source #
Instance details Defined in Ast Associated Types type Rep VarSimpleContent :: Type -> Type Methods from :: VarSimpleContent -> Rep VarSimpleContent x to :: Rep VarSimpleContent x -> VarSimpleContent
Show VarSimpleContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> VarSimpleContent -> ShowS show :: VarSimpleContent -> String showList :: [VarSimpleContent] -> ShowS
Eq VarSimpleContent Source #
Instance details Defined in Ast Methods (==) :: VarSimpleContent -> VarSimpleContent -> Bool (/=) :: VarSimpleContent -> VarSimpleContent -> Bool
Ord VarSimpleContent Source #
Instance details Defined in Ast Methods compare :: VarSimpleContent -> VarSimpleContent -> Ordering (<) :: VarSimpleContent -> VarSimpleContent -> Bool (<=) :: VarSimpleContent -> VarSimpleContent -> Bool (>) :: VarSimpleContent -> VarSimpleContent -> Bool (>=) :: VarSimpleContent -> VarSimpleContent -> Bool max :: VarSimpleContent -> VarSimpleContent -> VarSimpleContent min :: VarSimpleContent -> VarSimpleContent -> VarSimpleContent
type Rep VarSimpleContent Source #
Instance details Defined in Ast type Rep VarSimpleContent = D1 ('MetaData "VarSimpleContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "VarSimpleContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "varName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarName)))

data VarSubscriptContent Source #

Constructors

VarSubscriptContent
Fields varSubscriptLhs :: Exp varSubscriptIdx :: Exp varSubscriptLocation :: Location

Instances

Instances details

FromJSON VarSubscriptContent Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser VarSubscriptContent # parseJSONList :: Value -> Parser [VarSubscriptContent] # omittedField :: Maybe VarSubscriptContent #
ToJSON VarSubscriptContent Source #
Instance details Defined in Ast Methods toJSON :: VarSubscriptContent -> Value # toEncoding :: VarSubscriptContent -> Encoding # toJSONList :: [VarSubscriptContent] -> Value # toEncodingList :: [VarSubscriptContent] -> Encoding # omitField :: VarSubscriptContent -> Bool #
Generic VarSubscriptContent Source #
Instance details Defined in Ast Associated Types type Rep VarSubscriptContent :: Type -> Type Methods from :: VarSubscriptContent -> Rep VarSubscriptContent x to :: Rep VarSubscriptContent x -> VarSubscriptContent
Show VarSubscriptContent Source #
Instance details Defined in Ast Methods showsPrec :: Int -> VarSubscriptContent -> ShowS show :: VarSubscriptContent -> String showList :: [VarSubscriptContent] -> ShowS
Eq VarSubscriptContent Source #
Instance details Defined in Ast Methods (==) :: VarSubscriptContent -> VarSubscriptContent -> Bool (/=) :: VarSubscriptContent -> VarSubscriptContent -> Bool
Ord VarSubscriptContent Source #
Instance details Defined in Ast Methods compare :: VarSubscriptContent -> VarSubscriptContent -> Ordering (<) :: VarSubscriptContent -> VarSubscriptContent -> Bool (<=) :: VarSubscriptContent -> VarSubscriptContent -> Bool (>) :: VarSubscriptContent -> VarSubscriptContent -> Bool (>=) :: VarSubscriptContent -> VarSubscriptContent -> Bool max :: VarSubscriptContent -> VarSubscriptContent -> VarSubscriptContent min :: VarSubscriptContent -> VarSubscriptContent -> VarSubscriptContent
type Rep VarSubscriptContent Source #
Instance details Defined in Ast type Rep VarSubscriptContent = D1 ('MetaData "VarSubscriptContent" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "VarSubscriptContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "varSubscriptLhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: (S1 ('MetaSel ('Just "varSubscriptIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: S1 ('MetaSel ('Just "varSubscriptLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data Var Source #

Constructors

VarSimple VarSimpleContent
VarField VarFieldContent
VarSubscript VarSubscriptContent

Instances

Instances details

FromJSON Var Source #
Instance details Defined in Ast Methods parseJSON :: Value -> Parser Var # parseJSONList :: Value -> Parser [Var] # omittedField :: Maybe Var #
ToJSON Var Source #
Instance details Defined in Ast Methods toJSON :: Var -> Value # toEncoding :: Var -> Encoding # toJSONList :: [Var] -> Value # toEncodingList :: [Var] -> Encoding # omitField :: Var -> Bool #
Generic Var Source #
Instance details Defined in Ast Associated Types type Rep Var :: Type -> Type Methods from :: Var -> Rep Var x to :: Rep Var x -> Var
Show Var Source #
Instance details Defined in Ast Methods showsPrec :: Int -> Var -> ShowS show :: Var -> String showList :: [Var] -> ShowS
Eq Var Source #
Instance details Defined in Ast Methods (==) :: Var -> Var -> Bool (/=) :: Var -> Var -> Bool
Ord Var Source #
Instance details Defined in Ast Methods compare :: Var -> Var -> Ordering (<) :: Var -> Var -> Bool (<=) :: Var -> Var -> Bool (>) :: Var -> Var -> Bool (>=) :: Var -> Var -> Bool max :: Var -> Var -> Var min :: Var -> Var -> Var
type Rep Var Source #
Instance details Defined in Ast type Rep Var = D1 ('MetaData "Var" "Ast" "dhscanner-ast-1.0.8-inplace" 'False) (C1 ('MetaCons "VarSimple" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarSimpleContent)) :+: (C1 ('MetaCons "VarField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarFieldContent)) :+: C1 ('MetaCons "VarSubscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarSubscriptContent))))

locationVar :: Var -> Location Source #

StmtExp Exp
StmtIf StmtIfContent
StmtTry StmtTryContent
StmtFunc StmtFuncContent
StmtBlock StmtBlockContent
StmtBreak StmtBreakContent
StmtClass StmtClassContent
StmtWhile StmtWhileContent
StmtImport StmtImportContent
StmtMethod StmtMethodContent
StmtAssign StmtAssignContent
StmtReturn StmtReturnContent
StmtVardec StmtVardecContent
StmtContinue StmtContinueContent