Module AST.AST

Exported datatypes:

Constructors:

• Ident :: Pos -> String -> Int -> Ident

  Fields:

  • idPosition :: Pos
  • idName :: String
  • idUnique :: Int

Constructors:

• QualIdent :: (Maybe ModuleIdent) -> Ident -> QualIdent

  Fields:

  • qidModule :: (Maybe ModuleIdent)
  • qidIdent :: Ident

Constructors:

• ModuleIdent :: Pos -> [String] -> ModuleIdent

  Fields:

  • midPosition :: Pos
  • midQualifiers :: [String]

Constructors:

• KnownExtension :: Pos -> KnownExtension -> Extension
• UnknownExtension :: Pos -> String -> Extension

Constructors:

• AnonFreeVars :: KnownExtension
• FunctionalPatterns :: KnownExtension
• NegativeLiterals :: KnownExtension
• NoImplicitPrelude :: KnownExtension
• ExistentialQuantification :: KnownExtension

Constructors:

• KICS2 :: Tool
• PAKCS :: Tool
• CYMAKE :: Tool
• UnknownTool :: String -> Tool

Constructors:

• Module :: [ModulePragma] -> ModuleIdent -> (Maybe ExportSpec) -> [ImportDecl] -> [Decl] -> Module

Constructors:

• LanguagePragma :: Pos -> [Extension] -> ModulePragma
• OptionsPragma :: Pos -> (Maybe Tool) -> String -> ModulePragma

Constructors:

• Exporting :: Pos -> [Export] -> ExportSpec

Constructors:

• Export :: QualIdent -> Export
• ExportTypeWith :: QualIdent -> [Ident] -> Export
• ExportTypeAll :: QualIdent -> Export
• ExportModule :: ModuleIdent -> Export

Constructors:

• ImportDecl :: Pos -> ModuleIdent -> Qualified -> (Maybe ModuleIdent) -> (Maybe ImportSpec) -> ImportDecl

Type synonym: Qualified = Bool

Constructors:

• Importing :: Pos -> [Import] -> ImportSpec
• Hiding :: Pos -> [Import] -> ImportSpec

Constructors:

• Import :: Ident -> Import
• ImportTypeWith :: Ident -> [Ident] -> Import
• ImportTypeAll :: Ident -> Import

Constructors:

• InfixDecl :: Pos -> Infix -> (Maybe Precedence) -> [Ident] -> Decl
• DataDecl :: Pos -> Ident -> [Ident] -> [ConstrDecl] -> [QualIdent] -> Decl
• NewtypeDecl :: Pos -> Ident -> [Ident] -> NewConstrDecl -> [QualIdent] -> Decl
• TypeDecl :: Pos -> Ident -> [Ident] -> TypeExpr -> Decl
• TypeSig :: Pos -> [Ident] -> QualTypeExpr -> Decl
• FunctionDecl :: Pos -> Ident -> [Equation] -> Decl
• ForeignDecl :: Pos -> CallConv -> (Maybe String) -> Ident -> TypeExpr -> Decl
• ExternalDecl :: Pos -> [Ident] -> Decl
• PatternDecl :: Pos -> Pattern -> Rhs -> Decl
• FreeDecl :: Pos -> [Ident] -> Decl
• DefaultDecl :: Pos -> [TypeExpr] -> Decl
• ClassDecl :: Pos -> Context -> Ident -> Ident -> [Decl] -> Decl
• InstanceDecl :: Pos -> Context -> QualIdent -> InstanceType -> [Decl] -> Decl

Type synonym: Precedence = Int

Constructors:

• InfixL :: Infix
• InfixR :: Infix
• Infix :: Infix

Constructors:

• ConstrDecl :: Pos -> [Ident] -> Context -> Ident -> [TypeExpr] -> ConstrDecl
• ConOpDecl :: Pos -> [Ident] -> Context -> TypeExpr -> Ident -> TypeExpr -> ConstrDecl
• RecordDecl :: Pos -> [Ident] -> Context -> Ident -> [FieldDecl] -> ConstrDecl

Constructors:

• NewConstrDecl :: Pos -> Ident -> TypeExpr -> NewConstrDecl
• NewRecordDecl :: Pos -> Ident -> (Ident,TypeExpr) -> NewConstrDecl

Constructors:

• FieldDecl :: Pos -> [Ident] -> TypeExpr -> FieldDecl

Constructors:

• CallConvPrimitive :: CallConv
• CallConvCCall :: CallConv

Constructors:

• ConstructorType :: QualIdent -> TypeExpr
• ApplyType :: TypeExpr -> TypeExpr -> TypeExpr
• VariableType :: Ident -> TypeExpr
• TupleType :: [TypeExpr] -> TypeExpr
• ListType :: TypeExpr -> TypeExpr
• ArrowType :: TypeExpr -> TypeExpr -> TypeExpr
• ParenType :: TypeExpr -> TypeExpr

Constructors:

• QualTypeExpr :: Context -> TypeExpr -> QualTypeExpr

Type synonym: Context = [Constraint]

Constructors:

• Constraint :: QualIdent -> TypeExpr -> Constraint

Type synonym: InstanceType = TypeExpr

Constructors:

• Equation :: Pos -> Lhs -> Rhs -> Equation

Constructors:

• FunLhs :: Ident -> [Pattern] -> Lhs
• OpLhs :: Pattern -> Ident -> Pattern -> Lhs
• ApLhs :: Lhs -> [Pattern] -> Lhs

Constructors:

• SimpleRhs :: Pos -> Expression -> [Decl] -> Rhs
• GuardedRhs :: [CondExpr] -> [Decl] -> Rhs

Constructors:

• CondExpr :: Pos -> Expression -> Expression -> CondExpr

Constructors:

• Char :: Char -> Literal
• Int :: Int -> Literal
• Float :: Float -> Literal
• String :: String -> Literal

Constructors:

• LiteralPattern :: Literal -> Pattern
• NegativePattern :: Literal -> Pattern
• VariablePattern :: Ident -> Pattern
• ConstructorPattern :: QualIdent -> [Pattern] -> Pattern
• InfixPattern :: Pattern -> QualIdent -> Pattern -> Pattern
• ParenPattern :: Pattern -> Pattern
• RecordPattern :: QualIdent -> [Field Pattern] -> Pattern
• TuplePattern :: [Pattern] -> Pattern
• ListPattern :: [Pattern] -> Pattern
• AsPattern :: Ident -> Pattern -> Pattern
• LazyPattern :: Pattern -> Pattern
• FunctionPattern :: QualIdent -> [Pattern] -> Pattern
• InfixFuncPattern :: Pattern -> QualIdent -> Pattern -> Pattern

Constructors:

• Literal :: Literal -> Expression
• Variable :: QualIdent -> Expression
• Constructor :: QualIdent -> Expression
• Paren :: Expression -> Expression
• Typed :: Expression -> QualTypeExpr -> Expression
• Record :: QualIdent -> [Field Expression] -> Expression
• RecordUpdate :: Expression -> [Field Expression] -> Expression
• Tuple :: [Expression] -> Expression
• List :: [Expression] -> Expression
• ListCompr :: Expression -> [Statement] -> Expression
• EnumFrom :: Expression -> Expression
• EnumFromThen :: Expression -> Expression -> Expression
• EnumFromTo :: Expression -> Expression -> Expression
• EnumFromThenTo :: Expression -> Expression -> Expression -> Expression
• UnaryMinus :: Expression -> Expression
• Apply :: Expression -> Expression -> Expression
• InfixApply :: Expression -> InfixOp -> Expression -> Expression
• LeftSection :: Expression -> InfixOp -> Expression
• RightSection :: InfixOp -> Expression -> Expression
• Lambda :: [Pattern] -> Expression -> Expression
• Let :: [Decl] -> Expression -> Expression
• Do :: [Statement] -> Expression -> Expression
• IfThenElse :: Expression -> Expression -> Expression -> Expression
• Case :: CaseType -> Expression -> [Alt] -> Expression

Constructors:

• InfixOp :: QualIdent -> InfixOp
• InfixConstr :: QualIdent -> InfixOp

Constructors:

• StmtExpr :: Expression -> Statement
• StmtDecl :: [Decl] -> Statement
• StmtBind :: Pattern -> Expression -> Statement

Constructors:

• Rigid :: CaseType
• Flex :: CaseType

Constructors:

• Alt :: Pos -> Pattern -> Rhs -> Alt

Constructors:

• Field :: Pos -> QualIdent -> a -> Field a

Exported operations: