Language.Go.Syntax.AST

Description

Synopsis

• data GoSource = GoSource {
  • getPackage :: GoId
  • getTopLevelPrel :: [GoPrel]
  • getTopLevelDecl :: [GoDecl]
  }
• data GoPrel = GoImportDecl [GoImpSpec]
• data GoDecl
  • = GoConst [GoCVSpec]
  • | GoType [GoTypeSpec]
  • | GoVar [GoCVSpec]
  • | GoFunc GoFuncDecl
  • | GoMeth GoMethDecl
• data GoImpSpec = GoImpSpec GoImpType String
• data GoImpType
  • = GoImp
  • | GoImpDot
  • | GoImpQual GoId
• data GoCVSpec = GoCVSpec [GoId] (Maybe GoType) [GoExpr]
• data GoTypeSpec = GoTypeSpec GoId GoType
• data GoFuncExpr = GoFuncExpr GoSig GoBlock
• data GoFuncDecl = GoFuncDecl GoId GoSig GoBlock
• data GoMethDecl = GoMethDecl GoRec GoId GoSig GoBlock
• data GoMethSpec
  • = GoMethSpec GoId GoSig
  • | GoIfaceName (Maybe GoId) GoId
• data GoId = GoId String
• data GoOp = GoOp String
• data GoRec = GoRec Bool (Maybe GoId) GoType
• data GoSig = GoSig [GoParam] [GoParam]
• data GoParam = GoParam [GoId] GoType
• data GoType
  • = GoTypeName (Maybe GoId) GoId
  • | GoArrayType GoExpr GoType
  • | GoChannelType GoChanKind GoType
  • | GoFunctionType GoSig
  • | GoInterfaceType [GoMethSpec]
  • | GoMapType GoType GoType
  • | GoPointerType GoType
  • | GoSliceType GoType
  • | GoStructType [GoFieldType]
  • | GoEllipsisType GoType
  • | GoVariadicType GoType
• data GoChanKind
  • = GoIChan
  • | GoOChan
  • | GoIOChan
• data GoFieldType
  • = GoFieldType {
    • getFieldTag :: Maybe GoLit
    • getFieldId :: [GoId]
    • getFieldType :: GoType
    }
  • | GoFieldAnon {
    • getFieldTag :: Maybe GoLit
    • getFieldPtr :: Bool
    • getFieldType :: GoType
    }
• data GoExpr
  • = GoPrim GoPrim
  • | Go1Op GoOp GoExpr
  • | Go2Op GoOp GoExpr GoExpr
• data GoPrim
  • = GoLiteral GoLit
  • | GoQual (Maybe GoId) GoId
  • | GoMethod GoRec GoId
  • | GoParen GoExpr
  • | GoCast GoType GoExpr
  • | GoNew GoType
  • | GoMake GoType [GoExpr]
  • | GoSelect GoPrim GoId
  • | GoIndex GoPrim GoExpr
  • | GoSlice GoPrim (Maybe GoExpr) (Maybe GoExpr)
  • | GoTA GoPrim GoType
  • | GoCall GoPrim [GoExpr] Bool
• data GoLit
  • = GoLitInt String Integer
  • | GoLitReal String Float
  • | GoLitImag String Float
  • | GoLitChar String Char
  • | GoLitStr String String
  • | GoLitComp GoType GoComp
  • | GoLitFunc GoFuncExpr
• data GoComp = GoComp [GoElement]
• data GoElement = GoElement GoKey GoValue
• data GoKey
  • = GoKeyNone
  • | GoKeyField GoId
  • | GoKeyIndex GoExpr
• data GoValue
  • = GoValueExpr GoExpr
  • | GoValueComp GoComp
• data GoBlock
  • = GoBlock {
    • getStmt :: [GoStmt]
    }
  • | GoNoBlock
• data GoForClause
  • = GoForWhile (Maybe GoExpr)
  • | GoForThree GoSimp (Maybe GoExpr) GoSimp
  • | GoForRange [GoExpr] GoExpr Bool
• data GoStmt
  • = GoStmtDecl GoDecl
  • | GoStmtLabeled GoId GoStmt
  • | GoStmtSimple GoSimp
  • | GoStmtGo GoExpr
  • | GoStmtReturn [GoExpr]
  • | GoStmtBreak (Maybe GoId)
  • | GoStmtContinue (Maybe GoId)
  • | GoStmtGoto GoId
  • | GoStmtFallthrough
  • | GoStmtBlock GoBlock
  • | GoStmtIf GoCond GoBlock (Maybe GoStmt)
  • | GoStmtSelect [GoCase GoChan]
  • | GoStmtSwitch GoCond [GoCase GoExpr]
  • | GoStmtTypeSwitch GoCond [GoCase GoType] (Maybe GoId)
  • | GoStmtFor GoForClause GoBlock
  • | GoStmtDefer GoExpr
• data GoSimp
  • = GoSimpEmpty
  • | GoSimpSend GoExpr GoExpr
  • | GoSimpExpr GoExpr
  • | GoSimpInc GoExpr
  • | GoSimpDec GoExpr
  • | GoSimpAsn [GoExpr] GoOp [GoExpr]
  • | GoSimpVar [GoId] [GoExpr]
• data GoChan
  • = GoChanRecv (Maybe (GoExpr, Maybe GoExpr, GoOp)) GoExpr
  • | GoChanSend GoExpr GoExpr
• data GoCond = GoCond (Maybe GoSimp) (Maybe GoExpr)
• data GoCase a
  • = GoCase [a] [GoStmt]
  • | GoDefault [GoStmt]

Documentation