Ast

• 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 ... )

Documentation

data Root

• 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

FromJSON Root

Defined in Ast

Methods

parseJSON :: Value -> Parser Root

parseJSONList :: Value -> Parser [Root]

omittedField :: Maybe Root

ToJSON Root

Defined in Ast

Methods

toJSON :: Root -> Value

toEncoding :: Root -> Encoding

toJSONList :: [Root] -> Value

toEncodingList :: [Root] -> Encoding

omitField :: Root -> Bool

Generic Root

Defined in Ast

Associated Types

type Rep Root :: Type -> Type

Methods

from :: Root -> Rep Root x

to :: Rep Root x -> Root

Show Root

Defined in Ast

Methods

showsPrec :: Int -> Root -> ShowS

show :: Root -> String

showList :: [Root] -> ShowS

Eq Root

Defined in Ast

Methods

(==) :: Root -> Root -> Bool

(/=) :: Root -> Root -> Bool

Ord Root

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

Defined in Ast

type Rep Root = D1 ('MetaData "Root" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

ExpInt ExpIntContent

ExpStr ExpStrContent

ExpVar ExpVarContent

ExpBool ExpBoolContent

ExpCall ExpCallContent

ExpBinop ExpBinopContent

ExpLambda ExpLambdaContent

Instances

FromJSON Exp

Defined in Ast

Methods

parseJSON :: Value -> Parser Exp

parseJSONList :: Value -> Parser [Exp]

omittedField :: Maybe Exp

ToJSON Exp

Defined in Ast

Methods

toJSON :: Exp -> Value

toEncoding :: Exp -> Encoding

toJSONList :: [Exp] -> Value

toEncodingList :: [Exp] -> Encoding

omitField :: Exp -> Bool

Generic Exp

Defined in Ast

Associated Types

type Rep Exp :: Type -> Type

Methods

from :: Exp -> Rep Exp x

to :: Rep Exp x -> Exp

Show Exp

Defined in Ast

Methods

showsPrec :: Int -> Exp -> ShowS

show :: Exp -> String

showList :: [Exp] -> ShowS

Eq Exp

Defined in Ast

Methods

(==) :: Exp -> Exp -> Bool

(/=) :: Exp -> Exp -> Bool

Ord Exp

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

Defined in Ast

type Rep Exp = D1 ('MetaData "Exp" "Ast" "dhscanner-ast-0.1.0.3-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 "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

Constructors

StmtExp Exp

StmtIf StmtIfContent

StmtTry StmtTryContent

StmtCall ExpCallContent

StmtFunc StmtFuncContent

StmtDecvar DecVarContent

StmtBreak StmtBreakContent

StmtClass StmtClassContent

StmtWhile StmtWhileContent

StmtImport StmtImportContent

StmtMethod StmtMethodContent

StmtAssign StmtAssignContent

StmtReturn StmtReturnContent

StmtContinue StmtContinueContent

Instances

FromJSON Stmt

Defined in Ast

Methods

parseJSON :: Value -> Parser Stmt

parseJSONList :: Value -> Parser [Stmt]

omittedField :: Maybe Stmt

ToJSON Stmt

Defined in Ast

Methods

toJSON :: Stmt -> Value

toEncoding :: Stmt -> Encoding

toJSONList :: [Stmt] -> Value

toEncodingList :: [Stmt] -> Encoding

omitField :: Stmt -> Bool

Generic Stmt

Defined in Ast

Associated Types

type Rep Stmt :: Type -> Type

Methods

from :: Stmt -> Rep Stmt x

to :: Rep Stmt x -> Stmt

Show Stmt

Defined in Ast

Methods

showsPrec :: Int -> Stmt -> ShowS

show :: Stmt -> String

showList :: [Stmt] -> ShowS

Eq Stmt

Defined in Ast

Methods

(==) :: Stmt -> Stmt -> Bool

(/=) :: Stmt -> Stmt -> Bool

Ord Stmt

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

Defined in Ast

type Rep Stmt = D1 ('MetaData "Stmt" "Ast" "dhscanner-ast-0.1.0.3-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 "StmtCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExpCallContent)) :+: C1 ('MetaCons "StmtFunc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtFuncContent))) :+: (C1 ('MetaCons "StmtDecvar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DecVarContent)) :+: 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 "StmtContinue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StmtContinueContent))))))

data Param

Constructors

Param

Fields

• paramName :: ParamName
• paramNominalType :: NominalTy
• paramSerialIdx :: Word

  ( zero-based )

Instances

FromJSON Param

Defined in Ast

Methods

parseJSON :: Value -> Parser Param

parseJSONList :: Value -> Parser [Param]

omittedField :: Maybe Param

ToJSON Param

Defined in Ast

Methods

toJSON :: Param -> Value

toEncoding :: Param -> Encoding

toJSONList :: [Param] -> Value

toEncodingList :: [Param] -> Encoding

omitField :: Param -> Bool

Generic Param

Defined in Ast

Associated Types

type Rep Param :: Type -> Type

Methods

from :: Param -> Rep Param x

to :: Rep Param x -> Param

Show Param

Defined in Ast

Methods

showsPrec :: Int -> Param -> ShowS

show :: Param -> String

showList :: [Param] -> ShowS

Eq Param

Defined in Ast

Methods

(==) :: Param -> Param -> Bool

(/=) :: Param -> Param -> Bool

Ord Param

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

Defined in Ast

type Rep Param = D1 ('MetaData "Param" "Ast" "dhscanner-ast-0.1.0.3-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 "paramSerialIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word))))

data DataMember

Constructors

DataMember

Fields

• dataMemberName :: MembrName
• dataMemberNominalType :: NominalTy
• dataMemberInitValue :: Maybe Exp

Instances

FromJSON DataMember

Defined in Ast

Methods

parseJSON :: Value -> Parser DataMember

parseJSONList :: Value -> Parser [DataMember]

omittedField :: Maybe DataMember

ToJSON DataMember

Defined in Ast

Methods

toJSON :: DataMember -> Value

toEncoding :: DataMember -> Encoding

toJSONList :: [DataMember] -> Value

toEncodingList :: [DataMember] -> Encoding

omitField :: DataMember -> Bool

Generic DataMember

Defined in Ast

Associated Types

type Rep DataMember :: Type -> Type

Methods

from :: DataMember -> Rep DataMember x

to :: Rep DataMember x -> DataMember

Show DataMember

Defined in Ast

Methods

showsPrec :: Int -> DataMember -> ShowS

show :: DataMember -> String

showList :: [DataMember] -> ShowS

Eq DataMember

Defined in Ast

Methods

(==) :: DataMember -> DataMember -> Bool

(/=) :: DataMember -> DataMember -> Bool

Ord DataMember

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

Defined in Ast

type Rep DataMember = D1 ('MetaData "DataMember" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

DataMembers

Fields

• actualDataMembers :: Map MembrName DataMember

Instances

FromJSON DataMembers

Defined in Ast

Methods

parseJSON :: Value -> Parser DataMembers

parseJSONList :: Value -> Parser [DataMembers]

omittedField :: Maybe DataMembers

ToJSON DataMembers

Defined in Ast

Methods

toJSON :: DataMembers -> Value

toEncoding :: DataMembers -> Encoding

toJSONList :: [DataMembers] -> Value

toEncodingList :: [DataMembers] -> Encoding

omitField :: DataMembers -> Bool

Generic DataMembers

Defined in Ast

Associated Types

type Rep DataMembers :: Type -> Type

Methods

from :: DataMembers -> Rep DataMembers x

to :: Rep DataMembers x -> DataMembers

Show DataMembers

Defined in Ast

Methods

showsPrec :: Int -> DataMembers -> ShowS

show :: DataMembers -> String

showList :: [DataMembers] -> ShowS

Eq DataMembers

Defined in Ast

Methods

(==) :: DataMembers -> DataMembers -> Bool

(/=) :: DataMembers -> DataMembers -> Bool

Ord DataMembers

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

Defined in Ast

type Rep DataMembers = D1 ('MetaData "DataMembers" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "DataMembers" 'PrefixI 'True) (S1 ('MetaSel ('Just "actualDataMembers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MembrName DataMember))))

data StmtMethodContent

Constructors

StmtMethodContent

Fields

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

Instances

FromJSON StmtMethodContent

Defined in Ast

Methods

parseJSON :: Value -> Parser StmtMethodContent

parseJSONList :: Value -> Parser [StmtMethodContent]

omittedField :: Maybe StmtMethodContent

ToJSON StmtMethodContent

Defined in Ast

Methods

toJSON :: StmtMethodContent -> Value

toEncoding :: StmtMethodContent -> Encoding

toJSONList :: [StmtMethodContent] -> Value

toEncodingList :: [StmtMethodContent] -> Encoding

omitField :: StmtMethodContent -> Bool

Generic StmtMethodContent

Defined in Ast

Associated Types

type Rep StmtMethodContent :: Type -> Type

Methods

from :: StmtMethodContent -> Rep StmtMethodContent x

to :: Rep StmtMethodContent x -> StmtMethodContent

Show StmtMethodContent

Defined in Ast

Methods

showsPrec :: Int -> StmtMethodContent -> ShowS

show :: StmtMethodContent -> String

showList :: [StmtMethodContent] -> ShowS

Eq StmtMethodContent

Defined in Ast

Methods

(==) :: StmtMethodContent -> StmtMethodContent -> Bool

(/=) :: StmtMethodContent -> StmtMethodContent -> Bool

Ord StmtMethodContent

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

Defined in Ast

type Rep StmtMethodContent = D1 ('MetaData "StmtMethodContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

Methods

Fields

• actualMethods :: Map MethdName StmtMethodContent

Instances

FromJSON Methods

Defined in Ast

Methods

parseJSON :: Value -> Parser Methods

parseJSONList :: Value -> Parser [Methods]

omittedField :: Maybe Methods

ToJSON Methods

Defined in Ast

Methods

toJSON :: Methods -> Value

toEncoding :: Methods -> Encoding

toJSONList :: [Methods] -> Value

toEncodingList :: [Methods] -> Encoding

omitField :: Methods -> Bool

Generic Methods

Defined in Ast

Associated Types

type Rep Methods :: Type -> Type

Methods

from :: Methods -> Rep Methods x

to :: Rep Methods x -> Methods

Show Methods

Defined in Ast

Methods

showsPrec :: Int -> Methods -> ShowS

show :: Methods -> String

showList :: [Methods] -> ShowS

Eq Methods

Defined in Ast

Methods

(==) :: Methods -> Methods -> Bool

(/=) :: Methods -> Methods -> Bool

Ord Methods

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

Defined in Ast

type Rep Methods = D1 ('MetaData "Methods" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "Methods" 'PrefixI 'True) (S1 ('MetaSel ('Just "actualMethods") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MethdName StmtMethodContent))))

data StmtClassContent

Constructors

StmtClassContent

Fields

• stmtClassName :: ClassName
• stmtClassSupers :: [SuperName]
• stmtClassDataMembers :: DataMembers
• stmtClassMethods :: Methods

Instances

FromJSON StmtClassContent

Defined in Ast

Methods

parseJSON :: Value -> Parser StmtClassContent

parseJSONList :: Value -> Parser [StmtClassContent]

omittedField :: Maybe StmtClassContent

ToJSON StmtClassContent

Defined in Ast

Methods

toJSON :: StmtClassContent -> Value

toEncoding :: StmtClassContent -> Encoding

toJSONList :: [StmtClassContent] -> Value

toEncodingList :: [StmtClassContent] -> Encoding

omitField :: StmtClassContent -> Bool

Generic StmtClassContent

Defined in Ast

Associated Types

type Rep StmtClassContent :: Type -> Type

Methods

from :: StmtClassContent -> Rep StmtClassContent x

to :: Rep StmtClassContent x -> StmtClassContent

Show StmtClassContent

Defined in Ast

Methods

showsPrec :: Int -> StmtClassContent -> ShowS

show :: StmtClassContent -> String

showList :: [StmtClassContent] -> ShowS

Eq StmtClassContent

Defined in Ast

Methods

(==) :: StmtClassContent -> StmtClassContent -> Bool

(/=) :: StmtClassContent -> StmtClassContent -> Bool

Ord StmtClassContent

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

Defined in Ast

type Rep StmtClassContent = D1 ('MetaData "StmtClassContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

StmtFuncContent

Fields

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

Instances

FromJSON StmtFuncContent

Defined in Ast

Methods

parseJSON :: Value -> Parser StmtFuncContent

parseJSONList :: Value -> Parser [StmtFuncContent]

omittedField :: Maybe StmtFuncContent

ToJSON StmtFuncContent

Defined in Ast

Methods

toJSON :: StmtFuncContent -> Value

toEncoding :: StmtFuncContent -> Encoding

toJSONList :: [StmtFuncContent] -> Value

toEncodingList :: [StmtFuncContent] -> Encoding

omitField :: StmtFuncContent -> Bool

Generic StmtFuncContent

Defined in Ast

Associated Types

type Rep StmtFuncContent :: Type -> Type

Methods

from :: StmtFuncContent -> Rep StmtFuncContent x

to :: Rep StmtFuncContent x -> StmtFuncContent

Show StmtFuncContent

Defined in Ast

Methods

showsPrec :: Int -> StmtFuncContent -> ShowS

show :: StmtFuncContent -> String

showList :: [StmtFuncContent] -> ShowS

Eq StmtFuncContent

Defined in Ast

Methods

(==) :: StmtFuncContent -> StmtFuncContent -> Bool

(/=) :: StmtFuncContent -> StmtFuncContent -> Bool

Ord StmtFuncContent

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

Defined in Ast

type Rep StmtFuncContent = D1 ('MetaData "StmtFuncContent" "Ast" "dhscanner-ast-0.1.0.3-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 DecPackageContent

Constructors

DecPackageContent

Fields

• decPackageName :: PkgName

Instances

FromJSON DecPackageContent

Defined in Ast

Methods

parseJSON :: Value -> Parser DecPackageContent

parseJSONList :: Value -> Parser [DecPackageContent]

omittedField :: Maybe DecPackageContent

ToJSON DecPackageContent

Defined in Ast

Methods

toJSON :: DecPackageContent -> Value

toEncoding :: DecPackageContent -> Encoding

toJSONList :: [DecPackageContent] -> Value

toEncodingList :: [DecPackageContent] -> Encoding

omitField :: DecPackageContent -> Bool

Generic DecPackageContent

Defined in Ast

Associated Types

type Rep DecPackageContent :: Type -> Type

Methods

from :: DecPackageContent -> Rep DecPackageContent x

to :: Rep DecPackageContent x -> DecPackageContent

Show DecPackageContent

Defined in Ast

Methods

showsPrec :: Int -> DecPackageContent -> ShowS

show :: DecPackageContent -> String

showList :: [DecPackageContent] -> ShowS

Eq DecPackageContent

Defined in Ast

Methods

(==) :: DecPackageContent -> DecPackageContent -> Bool

(/=) :: DecPackageContent -> DecPackageContent -> Bool

Ord DecPackageContent

Defined in Ast

Methods

compare :: DecPackageContent -> DecPackageContent -> Ordering

(<) :: DecPackageContent -> DecPackageContent -> Bool

(<=) :: DecPackageContent -> DecPackageContent -> Bool

(>) :: DecPackageContent -> DecPackageContent -> Bool

(>=) :: DecPackageContent -> DecPackageContent -> Bool

max :: DecPackageContent -> DecPackageContent -> DecPackageContent

min :: DecPackageContent -> DecPackageContent -> DecPackageContent

type Rep DecPackageContent

Defined in Ast

type Rep DecPackageContent = D1 ('MetaData "DecPackageContent" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "DecPackageContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "decPackageName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PkgName)))

data DecVarContent

Constructors

DecVarContent

Fields

• decVarName :: VarName
• decVarNominalType :: NominalTy
• decVarInitValue :: Maybe Exp

Instances

FromJSON DecVarContent

Defined in Ast

Methods

parseJSON :: Value -> Parser DecVarContent

parseJSONList :: Value -> Parser [DecVarContent]

omittedField :: Maybe DecVarContent

ToJSON DecVarContent

Defined in Ast

Methods

toJSON :: DecVarContent -> Value

toEncoding :: DecVarContent -> Encoding

toJSONList :: [DecVarContent] -> Value

toEncodingList :: [DecVarContent] -> Encoding

omitField :: DecVarContent -> Bool

Generic DecVarContent

Defined in Ast

Associated Types

type Rep DecVarContent :: Type -> Type

Methods

from :: DecVarContent -> Rep DecVarContent x

to :: Rep DecVarContent x -> DecVarContent

Show DecVarContent

Defined in Ast

Methods

showsPrec :: Int -> DecVarContent -> ShowS

show :: DecVarContent -> String

showList :: [DecVarContent] -> ShowS

Eq DecVarContent

Defined in Ast

Methods

(==) :: DecVarContent -> DecVarContent -> Bool

(/=) :: DecVarContent -> DecVarContent -> Bool

Ord DecVarContent

Defined in Ast

Methods

compare :: DecVarContent -> DecVarContent -> Ordering

(<) :: DecVarContent -> DecVarContent -> Bool

(<=) :: DecVarContent -> DecVarContent -> Bool

(>) :: DecVarContent -> DecVarContent -> Bool

(>=) :: DecVarContent -> DecVarContent -> Bool

max :: DecVarContent -> DecVarContent -> DecVarContent

min :: DecVarContent -> DecVarContent -> DecVarContent

type Rep DecVarContent

Defined in Ast

type Rep DecVarContent = D1 ('MetaData "DecVarContent" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "DecVarContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "decVarName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarName) :*: (S1 ('MetaSel ('Just "decVarNominalType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalTy) :*: S1 ('MetaSel ('Just "decVarInitValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp)))))

data ExpIntContent

Constructors

ExpIntContent

Fields

• expIntValue :: ConstInt

Instances

FromJSON ExpIntContent

Defined in Ast

Methods

parseJSON :: Value -> Parser ExpIntContent

parseJSONList :: Value -> Parser [ExpIntContent]

omittedField :: Maybe ExpIntContent

ToJSON ExpIntContent

Defined in Ast

Methods

toJSON :: ExpIntContent -> Value

toEncoding :: ExpIntContent -> Encoding

toJSONList :: [ExpIntContent] -> Value

toEncodingList :: [ExpIntContent] -> Encoding

omitField :: ExpIntContent -> Bool

Generic ExpIntContent

Defined in Ast

Associated Types

type Rep ExpIntContent :: Type -> Type

Methods

from :: ExpIntContent -> Rep ExpIntContent x

to :: Rep ExpIntContent x -> ExpIntContent

Show ExpIntContent

Defined in Ast

Methods

showsPrec :: Int -> ExpIntContent -> ShowS

show :: ExpIntContent -> String

showList :: [ExpIntContent] -> ShowS

Eq ExpIntContent

Defined in Ast

Methods

(==) :: ExpIntContent -> ExpIntContent -> Bool

(/=) :: ExpIntContent -> ExpIntContent -> Bool

Ord ExpIntContent

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

Defined in Ast

type Rep ExpIntContent = D1 ('MetaData "ExpIntContent" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "ExpIntContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "expIntValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstInt)))

data ExpStrContent

Constructors

ExpStrContent

Fields

• expStrValue :: ConstStr

Instances

FromJSON ExpStrContent

Defined in Ast

Methods

parseJSON :: Value -> Parser ExpStrContent

parseJSONList :: Value -> Parser [ExpStrContent]

omittedField :: Maybe ExpStrContent

ToJSON ExpStrContent

Defined in Ast

Methods

toJSON :: ExpStrContent -> Value

toEncoding :: ExpStrContent -> Encoding

toJSONList :: [ExpStrContent] -> Value

toEncodingList :: [ExpStrContent] -> Encoding

omitField :: ExpStrContent -> Bool

Generic ExpStrContent

Defined in Ast

Associated Types

type Rep ExpStrContent :: Type -> Type

Methods

from :: ExpStrContent -> Rep ExpStrContent x

to :: Rep ExpStrContent x -> ExpStrContent

Show ExpStrContent

Defined in Ast

Methods

showsPrec :: Int -> ExpStrContent -> ShowS

show :: ExpStrContent -> String

showList :: [ExpStrContent] -> ShowS

Eq ExpStrContent

Defined in Ast

Methods

(==) :: ExpStrContent -> ExpStrContent -> Bool

(/=) :: ExpStrContent -> ExpStrContent -> Bool

Ord ExpStrContent

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

Defined in Ast

type Rep ExpStrContent = D1 ('MetaData "ExpStrContent" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "ExpStrContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "expStrValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstStr)))

data ExpBoolContent

Constructors

ExpBoolContent

Fields

• expBoolValue :: ConstBool

Instances

FromJSON ExpBoolContent

Defined in Ast

Methods

parseJSON :: Value -> Parser ExpBoolContent

parseJSONList :: Value -> Parser [ExpBoolContent]

omittedField :: Maybe ExpBoolContent

ToJSON ExpBoolContent

Defined in Ast

Methods

toJSON :: ExpBoolContent -> Value

toEncoding :: ExpBoolContent -> Encoding

toJSONList :: [ExpBoolContent] -> Value

toEncodingList :: [ExpBoolContent] -> Encoding

omitField :: ExpBoolContent -> Bool

Generic ExpBoolContent

Defined in Ast

Associated Types

type Rep ExpBoolContent :: Type -> Type

Methods

from :: ExpBoolContent -> Rep ExpBoolContent x

to :: Rep ExpBoolContent x -> ExpBoolContent

Show ExpBoolContent

Defined in Ast

Methods

showsPrec :: Int -> ExpBoolContent -> ShowS

show :: ExpBoolContent -> String

showList :: [ExpBoolContent] -> ShowS

Eq ExpBoolContent

Defined in Ast

Methods

(==) :: ExpBoolContent -> ExpBoolContent -> Bool

(/=) :: ExpBoolContent -> ExpBoolContent -> Bool

Ord ExpBoolContent

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

Defined in Ast

type Rep ExpBoolContent = D1 ('MetaData "ExpBoolContent" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "ExpBoolContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "expBoolValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstBool)))

data Operator

Constructors

PLUS

MINUS

TIMES

DIVIDE

PERCENT

Instances

FromJSON Operator

Defined in Ast

Methods

parseJSON :: Value -> Parser Operator

parseJSONList :: Value -> Parser [Operator]

omittedField :: Maybe Operator

ToJSON Operator

Defined in Ast

Methods

toJSON :: Operator -> Value

toEncoding :: Operator -> Encoding

toJSONList :: [Operator] -> Value

toEncodingList :: [Operator] -> Encoding

omitField :: Operator -> Bool

Generic Operator

Defined in Ast

Associated Types

type Rep Operator :: Type -> Type

Methods

from :: Operator -> Rep Operator x

to :: Rep Operator x -> Operator

Show Operator

Defined in Ast

Methods

showsPrec :: Int -> Operator -> ShowS

show :: Operator -> String

showList :: [Operator] -> ShowS

Eq Operator

Defined in Ast

Methods

(==) :: Operator -> Operator -> Bool

(/=) :: Operator -> Operator -> Bool

Ord Operator

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

Defined in Ast

type Rep Operator = D1 ('MetaData "Operator" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

ExpLambdaContent

Fields

• expLambdaParams :: [Param]
• expLambdaBody :: [Stmt]
• expLambdaLocation :: Location

Instances

FromJSON ExpLambdaContent

Defined in Ast

Methods

parseJSON :: Value -> Parser ExpLambdaContent

parseJSONList :: Value -> Parser [ExpLambdaContent]

omittedField :: Maybe ExpLambdaContent

ToJSON ExpLambdaContent

Defined in Ast

Methods

toJSON :: ExpLambdaContent -> Value

toEncoding :: ExpLambdaContent -> Encoding

toJSONList :: [ExpLambdaContent] -> Value

toEncodingList :: [ExpLambdaContent] -> Encoding

omitField :: ExpLambdaContent -> Bool

Generic ExpLambdaContent

Defined in Ast

Associated Types

type Rep ExpLambdaContent :: Type -> Type

Methods

from :: ExpLambdaContent -> Rep ExpLambdaContent x

to :: Rep ExpLambdaContent x -> ExpLambdaContent

Show ExpLambdaContent

Defined in Ast

Methods

showsPrec :: Int -> ExpLambdaContent -> ShowS

show :: ExpLambdaContent -> String

showList :: [ExpLambdaContent] -> ShowS

Eq ExpLambdaContent

Defined in Ast

Methods

(==) :: ExpLambdaContent -> ExpLambdaContent -> Bool

(/=) :: ExpLambdaContent -> ExpLambdaContent -> Bool

Ord ExpLambdaContent

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

Defined in Ast

type Rep ExpLambdaContent = D1 ('MetaData "ExpLambdaContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

ExpBinopContent

Fields

• expBinopLeft :: Exp
• expBinopRight :: Exp
• expBinopOperator :: Operator
• expBinopLocation :: Location

Instances

FromJSON ExpBinopContent

Defined in Ast

Methods

parseJSON :: Value -> Parser ExpBinopContent

parseJSONList :: Value -> Parser [ExpBinopContent]

omittedField :: Maybe ExpBinopContent

ToJSON ExpBinopContent

Defined in Ast

Methods

toJSON :: ExpBinopContent -> Value

toEncoding :: ExpBinopContent -> Encoding

toJSONList :: [ExpBinopContent] -> Value

toEncodingList :: [ExpBinopContent] -> Encoding

omitField :: ExpBinopContent -> Bool

Generic ExpBinopContent

Defined in Ast

Associated Types

type Rep ExpBinopContent :: Type -> Type

Methods

from :: ExpBinopContent -> Rep ExpBinopContent x

to :: Rep ExpBinopContent x -> ExpBinopContent

Show ExpBinopContent

Defined in Ast

Methods

showsPrec :: Int -> ExpBinopContent -> ShowS

show :: ExpBinopContent -> String

showList :: [ExpBinopContent] -> ShowS

Eq ExpBinopContent

Defined in Ast

Methods

(==) :: ExpBinopContent -> ExpBinopContent -> Bool

(/=) :: ExpBinopContent -> ExpBinopContent -> Bool

Ord ExpBinopContent

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

Defined in Ast

type Rep ExpBinopContent = D1 ('MetaData "ExpBinopContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

ExpVarContent

Fields

• actualExpVar :: Var

Instances

FromJSON ExpVarContent

Defined in Ast

Methods

parseJSON :: Value -> Parser ExpVarContent

parseJSONList :: Value -> Parser [ExpVarContent]

omittedField :: Maybe ExpVarContent

ToJSON ExpVarContent

Defined in Ast

Methods

toJSON :: ExpVarContent -> Value

toEncoding :: ExpVarContent -> Encoding

toJSONList :: [ExpVarContent] -> Value

toEncodingList :: [ExpVarContent] -> Encoding

omitField :: ExpVarContent -> Bool

Generic ExpVarContent

Defined in Ast

Associated Types

type Rep ExpVarContent :: Type -> Type

Methods

from :: ExpVarContent -> Rep ExpVarContent x

to :: Rep ExpVarContent x -> ExpVarContent

Show ExpVarContent

Defined in Ast

Methods

showsPrec :: Int -> ExpVarContent -> ShowS

show :: ExpVarContent -> String

showList :: [ExpVarContent] -> ShowS

Eq ExpVarContent

Defined in Ast

Methods

(==) :: ExpVarContent -> ExpVarContent -> Bool

(/=) :: ExpVarContent -> ExpVarContent -> Bool

Ord ExpVarContent

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

Defined in Ast

type Rep ExpVarContent = D1 ('MetaData "ExpVarContent" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "ExpVarContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "actualExpVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var)))

data StmtAssignContent

Constructors

StmtAssignContent

Fields

• stmtAssignLhs :: Var
• stmtAssignRhs :: Exp

Instances

FromJSON StmtAssignContent

Defined in Ast

Methods

parseJSON :: Value -> Parser StmtAssignContent

parseJSONList :: Value -> Parser [StmtAssignContent]

omittedField :: Maybe StmtAssignContent

ToJSON StmtAssignContent

Defined in Ast

Methods

toJSON :: StmtAssignContent -> Value

toEncoding :: StmtAssignContent -> Encoding

toJSONList :: [StmtAssignContent] -> Value

toEncodingList :: [StmtAssignContent] -> Encoding

omitField :: StmtAssignContent -> Bool

Generic StmtAssignContent

Defined in Ast

Associated Types

type Rep StmtAssignContent :: Type -> Type

Methods

from :: StmtAssignContent -> Rep StmtAssignContent x

to :: Rep StmtAssignContent x -> StmtAssignContent

Show StmtAssignContent

Defined in Ast

Methods

showsPrec :: Int -> StmtAssignContent -> ShowS

show :: StmtAssignContent -> String

showList :: [StmtAssignContent] -> ShowS

Eq StmtAssignContent

Defined in Ast

Methods

(==) :: StmtAssignContent -> StmtAssignContent -> Bool

(/=) :: StmtAssignContent -> StmtAssignContent -> Bool

Ord StmtAssignContent

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

Defined in Ast

type Rep StmtAssignContent = D1 ('MetaData "StmtAssignContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

StmtTryContent

Fields

• stmtTryPart :: [Stmt]
• stmtCatchPart :: [Stmt]
• stmtTryLocation :: Location

Instances

FromJSON StmtTryContent

Defined in Ast

Methods

parseJSON :: Value -> Parser StmtTryContent

parseJSONList :: Value -> Parser [StmtTryContent]

omittedField :: Maybe StmtTryContent

ToJSON StmtTryContent

Defined in Ast

Methods

toJSON :: StmtTryContent -> Value

toEncoding :: StmtTryContent -> Encoding

toJSONList :: [StmtTryContent] -> Value

toEncodingList :: [StmtTryContent] -> Encoding

omitField :: StmtTryContent -> Bool

Generic StmtTryContent

Defined in Ast

Associated Types

type Rep StmtTryContent :: Type -> Type

Methods

from :: StmtTryContent -> Rep StmtTryContent x

to :: Rep StmtTryContent x -> StmtTryContent

Show StmtTryContent

Defined in Ast

Methods

showsPrec :: Int -> StmtTryContent -> ShowS

show :: StmtTryContent -> String

showList :: [StmtTryContent] -> ShowS

Eq StmtTryContent

Defined in Ast

Methods

(==) :: StmtTryContent -> StmtTryContent -> Bool

(/=) :: StmtTryContent -> StmtTryContent -> Bool

Ord StmtTryContent

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

Defined in Ast

type Rep StmtTryContent = D1 ('MetaData "StmtTryContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

StmtBreakContent

Fields

• stmtBreakLocation :: Location

Instances

FromJSON StmtBreakContent

Defined in Ast

Methods

parseJSON :: Value -> Parser StmtBreakContent

parseJSONList :: Value -> Parser [StmtBreakContent]

omittedField :: Maybe StmtBreakContent

ToJSON StmtBreakContent

Defined in Ast

Methods

toJSON :: StmtBreakContent -> Value

toEncoding :: StmtBreakContent -> Encoding

toJSONList :: [StmtBreakContent] -> Value

toEncodingList :: [StmtBreakContent] -> Encoding

omitField :: StmtBreakContent -> Bool

Generic StmtBreakContent

Defined in Ast

Associated Types

type Rep StmtBreakContent :: Type -> Type

Methods

from :: StmtBreakContent -> Rep StmtBreakContent x

to :: Rep StmtBreakContent x -> StmtBreakContent

Show StmtBreakContent

Defined in Ast

Methods

showsPrec :: Int -> StmtBreakContent -> ShowS

show :: StmtBreakContent -> String

showList :: [StmtBreakContent] -> ShowS

Eq StmtBreakContent

Defined in Ast

Methods

(==) :: StmtBreakContent -> StmtBreakContent -> Bool

(/=) :: StmtBreakContent -> StmtBreakContent -> Bool

Ord StmtBreakContent

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

Defined in Ast

type Rep StmtBreakContent = D1 ('MetaData "StmtBreakContent" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "StmtBreakContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "stmtBreakLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location)))

data StmtImportContent

Constructors

StmtImportContent

Fields

• stmtImportName :: String
• stmtImportAlias :: String
• stmtImportLocation :: Location

Instances

FromJSON StmtImportContent

Defined in Ast

Methods

parseJSON :: Value -> Parser StmtImportContent

parseJSONList :: Value -> Parser [StmtImportContent]

omittedField :: Maybe StmtImportContent

ToJSON StmtImportContent

Defined in Ast

Methods

toJSON :: StmtImportContent -> Value

toEncoding :: StmtImportContent -> Encoding

toJSONList :: [StmtImportContent] -> Value

toEncodingList :: [StmtImportContent] -> Encoding

omitField :: StmtImportContent -> Bool

Generic StmtImportContent

Defined in Ast

Associated Types

type Rep StmtImportContent :: Type -> Type

Methods

from :: StmtImportContent -> Rep StmtImportContent x

to :: Rep StmtImportContent x -> StmtImportContent

Show StmtImportContent

Defined in Ast

Methods

showsPrec :: Int -> StmtImportContent -> ShowS

show :: StmtImportContent -> String

showList :: [StmtImportContent] -> ShowS

Eq StmtImportContent

Defined in Ast

Methods

(==) :: StmtImportContent -> StmtImportContent -> Bool

(/=) :: StmtImportContent -> StmtImportContent -> Bool

Ord StmtImportContent

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

Defined in Ast

type Rep StmtImportContent = D1 ('MetaData "StmtImportContent" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "StmtImportContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "stmtImportName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "stmtImportAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "stmtImportLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data StmtContinueContent

Constructors

StmtContinueContent

Fields

• stmtContinueLocation :: Location

Instances

FromJSON StmtContinueContent

Defined in Ast

Methods

parseJSON :: Value -> Parser StmtContinueContent

parseJSONList :: Value -> Parser [StmtContinueContent]

omittedField :: Maybe StmtContinueContent

ToJSON StmtContinueContent

Defined in Ast

Methods

toJSON :: StmtContinueContent -> Value

toEncoding :: StmtContinueContent -> Encoding

toJSONList :: [StmtContinueContent] -> Value

toEncodingList :: [StmtContinueContent] -> Encoding

omitField :: StmtContinueContent -> Bool

Generic StmtContinueContent

Defined in Ast

Associated Types

type Rep StmtContinueContent :: Type -> Type

Methods

from :: StmtContinueContent -> Rep StmtContinueContent x

to :: Rep StmtContinueContent x -> StmtContinueContent

Show StmtContinueContent

Defined in Ast

Methods

showsPrec :: Int -> StmtContinueContent -> ShowS

show :: StmtContinueContent -> String

showList :: [StmtContinueContent] -> ShowS

Eq StmtContinueContent

Defined in Ast

Methods

(==) :: StmtContinueContent -> StmtContinueContent -> Bool

(/=) :: StmtContinueContent -> StmtContinueContent -> Bool

Ord StmtContinueContent

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

Defined in Ast

type Rep StmtContinueContent = D1 ('MetaData "StmtContinueContent" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "StmtContinueContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "stmtContinueLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location)))

data StmtIfContent

Constructors

StmtIfContent

Fields

• stmtIfCond :: Exp
• stmtIfBody :: [Stmt]
• stmtElseBody :: [Stmt]
• stmtIfLocation :: Location

Instances

FromJSON StmtIfContent

Defined in Ast

Methods

parseJSON :: Value -> Parser StmtIfContent

parseJSONList :: Value -> Parser [StmtIfContent]

omittedField :: Maybe StmtIfContent

ToJSON StmtIfContent

Defined in Ast

Methods

toJSON :: StmtIfContent -> Value

toEncoding :: StmtIfContent -> Encoding

toJSONList :: [StmtIfContent] -> Value

toEncodingList :: [StmtIfContent] -> Encoding

omitField :: StmtIfContent -> Bool

Generic StmtIfContent

Defined in Ast

Associated Types

type Rep StmtIfContent :: Type -> Type

Methods

from :: StmtIfContent -> Rep StmtIfContent x

to :: Rep StmtIfContent x -> StmtIfContent

Show StmtIfContent

Defined in Ast

Methods

showsPrec :: Int -> StmtIfContent -> ShowS

show :: StmtIfContent -> String

showList :: [StmtIfContent] -> ShowS

Eq StmtIfContent

Defined in Ast

Methods

(==) :: StmtIfContent -> StmtIfContent -> Bool

(/=) :: StmtIfContent -> StmtIfContent -> Bool

Ord StmtIfContent

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

Defined in Ast

type Rep StmtIfContent = D1 ('MetaData "StmtIfContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

StmtWhileContent

Fields

• stmtWhileCond :: Exp
• stmtWhileBody :: [Stmt]
• stmtWhileLocation :: Location

Instances

FromJSON StmtWhileContent

Defined in Ast

Methods

parseJSON :: Value -> Parser StmtWhileContent

parseJSONList :: Value -> Parser [StmtWhileContent]

omittedField :: Maybe StmtWhileContent

ToJSON StmtWhileContent

Defined in Ast

Methods

toJSON :: StmtWhileContent -> Value

toEncoding :: StmtWhileContent -> Encoding

toJSONList :: [StmtWhileContent] -> Value

toEncodingList :: [StmtWhileContent] -> Encoding

omitField :: StmtWhileContent -> Bool

Generic StmtWhileContent

Defined in Ast

Associated Types

type Rep StmtWhileContent :: Type -> Type

Methods

from :: StmtWhileContent -> Rep StmtWhileContent x

to :: Rep StmtWhileContent x -> StmtWhileContent

Show StmtWhileContent

Defined in Ast

Methods

showsPrec :: Int -> StmtWhileContent -> ShowS

show :: StmtWhileContent -> String

showList :: [StmtWhileContent] -> ShowS

Eq StmtWhileContent

Defined in Ast

Methods

(==) :: StmtWhileContent -> StmtWhileContent -> Bool

(/=) :: StmtWhileContent -> StmtWhileContent -> Bool

Ord StmtWhileContent

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

Defined in Ast

type Rep StmtWhileContent = D1 ('MetaData "StmtWhileContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

StmtReturnContent

Fields

• stmtReturnValue :: Maybe Exp
• stmtReturnLocation :: Location

Instances

FromJSON StmtReturnContent

Defined in Ast

Methods

parseJSON :: Value -> Parser StmtReturnContent

parseJSONList :: Value -> Parser [StmtReturnContent]

omittedField :: Maybe StmtReturnContent

ToJSON StmtReturnContent

Defined in Ast

Methods

toJSON :: StmtReturnContent -> Value

toEncoding :: StmtReturnContent -> Encoding

toJSONList :: [StmtReturnContent] -> Value

toEncodingList :: [StmtReturnContent] -> Encoding

omitField :: StmtReturnContent -> Bool

Generic StmtReturnContent

Defined in Ast

Associated Types

type Rep StmtReturnContent :: Type -> Type

Methods

from :: StmtReturnContent -> Rep StmtReturnContent x

to :: Rep StmtReturnContent x -> StmtReturnContent

Show StmtReturnContent

Defined in Ast

Methods

showsPrec :: Int -> StmtReturnContent -> ShowS

show :: StmtReturnContent -> String

showList :: [StmtReturnContent] -> ShowS

Eq StmtReturnContent

Defined in Ast

Methods

(==) :: StmtReturnContent -> StmtReturnContent -> Bool

(/=) :: StmtReturnContent -> StmtReturnContent -> Bool

Ord StmtReturnContent

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

Defined in Ast

type Rep StmtReturnContent = D1 ('MetaData "StmtReturnContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

ExpCallContent

Fields

• callee :: Exp
• args :: [Exp]
• expCallLocation :: Location

Instances

FromJSON ExpCallContent

Defined in Ast

Methods

parseJSON :: Value -> Parser ExpCallContent

parseJSONList :: Value -> Parser [ExpCallContent]

omittedField :: Maybe ExpCallContent

ToJSON ExpCallContent

Defined in Ast

Methods

toJSON :: ExpCallContent -> Value

toEncoding :: ExpCallContent -> Encoding

toJSONList :: [ExpCallContent] -> Value

toEncodingList :: [ExpCallContent] -> Encoding

omitField :: ExpCallContent -> Bool

Generic ExpCallContent

Defined in Ast

Associated Types

type Rep ExpCallContent :: Type -> Type

Methods

from :: ExpCallContent -> Rep ExpCallContent x

to :: Rep ExpCallContent x -> ExpCallContent

Show ExpCallContent

Defined in Ast

Methods

showsPrec :: Int -> ExpCallContent -> ShowS

show :: ExpCallContent -> String

showList :: [ExpCallContent] -> ShowS

Eq ExpCallContent

Defined in Ast

Methods

(==) :: ExpCallContent -> ExpCallContent -> Bool

(/=) :: ExpCallContent -> ExpCallContent -> Bool

Ord ExpCallContent

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

Defined in Ast

type Rep ExpCallContent = D1 ('MetaData "ExpCallContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

VarFieldContent

Fields

• varFieldLhs :: Exp
• varFieldName :: FieldName
• varFieldLocation :: Location

Instances

FromJSON VarFieldContent

Defined in Ast

Methods

parseJSON :: Value -> Parser VarFieldContent

parseJSONList :: Value -> Parser [VarFieldContent]

omittedField :: Maybe VarFieldContent

ToJSON VarFieldContent

Defined in Ast

Methods

toJSON :: VarFieldContent -> Value

toEncoding :: VarFieldContent -> Encoding

toJSONList :: [VarFieldContent] -> Value

toEncodingList :: [VarFieldContent] -> Encoding

omitField :: VarFieldContent -> Bool

Generic VarFieldContent

Defined in Ast

Associated Types

type Rep VarFieldContent :: Type -> Type

Methods

from :: VarFieldContent -> Rep VarFieldContent x

to :: Rep VarFieldContent x -> VarFieldContent

Show VarFieldContent

Defined in Ast

Methods

showsPrec :: Int -> VarFieldContent -> ShowS

show :: VarFieldContent -> String

showList :: [VarFieldContent] -> ShowS

Eq VarFieldContent

Defined in Ast

Methods

(==) :: VarFieldContent -> VarFieldContent -> Bool

(/=) :: VarFieldContent -> VarFieldContent -> Bool

Ord VarFieldContent

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

Defined in Ast

type Rep VarFieldContent = D1 ('MetaData "VarFieldContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

VarSimpleContent

Fields

• varName :: VarName

Instances

FromJSON VarSimpleContent

Defined in Ast

Methods

parseJSON :: Value -> Parser VarSimpleContent

parseJSONList :: Value -> Parser [VarSimpleContent]

omittedField :: Maybe VarSimpleContent

ToJSON VarSimpleContent

Defined in Ast

Methods

toJSON :: VarSimpleContent -> Value

toEncoding :: VarSimpleContent -> Encoding

toJSONList :: [VarSimpleContent] -> Value

toEncodingList :: [VarSimpleContent] -> Encoding

omitField :: VarSimpleContent -> Bool

Generic VarSimpleContent

Defined in Ast

Associated Types

type Rep VarSimpleContent :: Type -> Type

Methods

from :: VarSimpleContent -> Rep VarSimpleContent x

to :: Rep VarSimpleContent x -> VarSimpleContent

Show VarSimpleContent

Defined in Ast

Methods

showsPrec :: Int -> VarSimpleContent -> ShowS

show :: VarSimpleContent -> String

showList :: [VarSimpleContent] -> ShowS

Eq VarSimpleContent

Defined in Ast

Methods

(==) :: VarSimpleContent -> VarSimpleContent -> Bool

(/=) :: VarSimpleContent -> VarSimpleContent -> Bool

Ord VarSimpleContent

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

Defined in Ast

type Rep VarSimpleContent = D1 ('MetaData "VarSimpleContent" "Ast" "dhscanner-ast-0.1.0.3-inplace" 'False) (C1 ('MetaCons "VarSimpleContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "varName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarName)))

data VarSubscriptContent

Constructors

VarSubscriptContent

Fields

• varSubscriptLhs :: Exp
• varSubscriptIdx :: Exp
• varSubscriptLocation :: Location

Instances

FromJSON VarSubscriptContent

Defined in Ast

Methods

parseJSON :: Value -> Parser VarSubscriptContent

parseJSONList :: Value -> Parser [VarSubscriptContent]

omittedField :: Maybe VarSubscriptContent

ToJSON VarSubscriptContent

Defined in Ast

Methods

toJSON :: VarSubscriptContent -> Value

toEncoding :: VarSubscriptContent -> Encoding

toJSONList :: [VarSubscriptContent] -> Value

toEncodingList :: [VarSubscriptContent] -> Encoding

omitField :: VarSubscriptContent -> Bool

Generic VarSubscriptContent

Defined in Ast

Associated Types

type Rep VarSubscriptContent :: Type -> Type

Methods

from :: VarSubscriptContent -> Rep VarSubscriptContent x

to :: Rep VarSubscriptContent x -> VarSubscriptContent

Show VarSubscriptContent

Defined in Ast

Methods

showsPrec :: Int -> VarSubscriptContent -> ShowS

show :: VarSubscriptContent -> String

showList :: [VarSubscriptContent] -> ShowS

Eq VarSubscriptContent

Defined in Ast

Methods

(==) :: VarSubscriptContent -> VarSubscriptContent -> Bool

(/=) :: VarSubscriptContent -> VarSubscriptContent -> Bool

Ord VarSubscriptContent

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

Defined in Ast

type Rep VarSubscriptContent = D1 ('MetaData "VarSubscriptContent" "Ast" "dhscanner-ast-0.1.0.3-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

Constructors

VarSimple VarSimpleContent

VarField VarFieldContent

VarSubscript VarSubscriptContent

Instances

FromJSON Var

Defined in Ast

Methods

parseJSON :: Value -> Parser Var

parseJSONList :: Value -> Parser [Var]

omittedField :: Maybe Var

ToJSON Var

Defined in Ast

Methods

toJSON :: Var -> Value

toEncoding :: Var -> Encoding

toJSONList :: [Var] -> Value

toEncodingList :: [Var] -> Encoding

omitField :: Var -> Bool

Generic Var

Defined in Ast

Associated Types

type Rep Var :: Type -> Type

Methods

from :: Var -> Rep Var x

to :: Rep Var x -> Var

Show Var

Defined in Ast

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

Eq Var

Defined in Ast

Methods

(==) :: Var -> Var -> Bool

(/=) :: Var -> Var -> Bool

Ord Var

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

Defined in Ast

type Rep Var = D1 ('MetaData "Var" "Ast" "dhscanner-ast-0.1.0.3-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