Module AST.SpanAST

Exported datatypes:

Constructors:

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

Constructors:

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

Constructors:

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

Constructors:

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

Constructors:

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

Constructors:

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

Type synonym: Qualified = Bool

Constructors:

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

Constructors:

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

Constructors:

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

Type synonym: Precedence = (Span,Int)

Constructors:

• InfixL :: Span -> Infix
• InfixR :: Span -> Infix
• Infix :: Span -> Infix

Constructors:

• ConstrDecl :: (Maybe Span) -> [Ident] -> (Maybe Span) -> Context -> (Maybe Span) -> Ident -> [TypeExpr] -> ConstrDecl
• ConOpDecl :: (Maybe Span) -> [Ident] -> (Maybe Span) -> Context -> (Maybe Span) -> TypeExpr -> Ident -> TypeExpr -> ConstrDecl
• RecordDecl :: (Maybe Span) -> [Ident] -> (Maybe Span) -> Context -> (Maybe Span) -> Ident -> Span -> [FieldDecl] -> [Span] -> Span -> ConstrDecl

Constructors:

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

Constructors:

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

Constructors:

• CallConvPrimitive :: Span -> CallConv
• CallConvCCall :: Span -> CallConv

Constructors:

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

Constructors:

• QualTypeExpr :: Context -> (Maybe Span) -> TypeExpr -> QualTypeExpr

Constructors:

• Context :: (Maybe Span) -> [Constraint] -> [Span] -> (Maybe Span) -> Context

Constructors:

• Constraint :: QualIdent -> TypeExpr -> Constraint

Type synonym: InstanceType = TypeExpr

Constructors:

• Equation :: Lhs -> Rhs -> Equation

Constructors:

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

Constructors:

• SimpleRhs :: Span -> Expression -> (Maybe Span) -> [Decl] -> Rhs
• GuardedRhs :: Span -> [CondExpr] -> [Span] -> (Maybe Span) -> [Decl] -> Rhs

Constructors:

• CondExpr :: Expression -> Span -> Expression -> CondExpr

Constructors:

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

Constructors:

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

Constructors:

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

Constructors:

• InfixOp :: SymQualIdent -> InfixOp
• InfixConstr :: SymQualIdent -> InfixOp

Constructors:

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

Constructors:

• Rigid :: CaseType
• Flex :: CaseType

Constructors:

• Alt :: Pattern -> Rhs -> Alt

Constructors:

• Field :: QualIdent -> Span -> a -> Field a

Exported operations: