Copyright	(c) 2017 Kai-Oliver Prott
License	BSD-3-clause
Maintainer	fte@informatik.uni-kiel.de
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Curry.Base.SpanInfo

Description

This module implements a data type for span information for entities from a source file and function to operate on them. A span info consists of the span of the entity and a list of sub-spans whith additional information about location of keywords, e.g.

Documentation

data SpanInfo Source #

Constructors

SpanInfo
Fields srcSpan :: Span srcInfoPoints :: [Span]
NoSpanInfo

Instances

Eq SpanInfo Source #
Instance details Defined in Curry.Base.SpanInfo Methods (==) :: SpanInfo -> SpanInfo -> Bool # (/=) :: SpanInfo -> SpanInfo -> Bool #
Read SpanInfo Source #
Instance details Defined in Curry.Base.SpanInfo Methods readsPrec :: Int -> ReadS SpanInfo # readList :: ReadS [SpanInfo] # readPrec :: ReadPrec SpanInfo # readListPrec :: ReadPrec [SpanInfo] #
Show SpanInfo Source #
Instance details Defined in Curry.Base.SpanInfo Methods showsPrec :: Int -> SpanInfo -> ShowS # show :: SpanInfo -> String # showList :: [SpanInfo] -> ShowS #
HasPosition SpanInfo Source #
Instance details Defined in Curry.Base.SpanInfo Methods getPosition :: SpanInfo -> Position Source # setPosition :: Position -> SpanInfo -> SpanInfo Source #
HasSpanInfo SpanInfo Source #
Instance details Defined in Curry.Base.SpanInfo Methods getSpanInfo :: SpanInfo -> SpanInfo Source # setSpanInfo :: SpanInfo -> SpanInfo -> SpanInfo Source # updateEndPos :: SpanInfo -> SpanInfo Source #

class HasPosition a => HasSpanInfo a where Source #

Minimal complete definition

getSpanInfo, setSpanInfo

Methods

getSpanInfo :: a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> a -> a Source #

updateEndPos :: a -> a Source #

Instances

HasSpanInfo SpanInfo Source #
Instance details Defined in Curry.Base.SpanInfo Methods getSpanInfo :: SpanInfo -> SpanInfo Source # setSpanInfo :: SpanInfo -> SpanInfo -> SpanInfo Source # updateEndPos :: SpanInfo -> SpanInfo Source #
HasSpanInfo QualIdent Source #
Instance details Defined in Curry.Base.Ident Methods getSpanInfo :: QualIdent -> SpanInfo Source # setSpanInfo :: SpanInfo -> QualIdent -> QualIdent Source # updateEndPos :: QualIdent -> QualIdent Source #
HasSpanInfo Ident Source #
Instance details Defined in Curry.Base.Ident Methods getSpanInfo :: Ident -> SpanInfo Source # setSpanInfo :: SpanInfo -> Ident -> Ident Source # updateEndPos :: Ident -> Ident Source #
HasSpanInfo ModuleIdent Source #
Instance details Defined in Curry.Base.Ident Methods getSpanInfo :: ModuleIdent -> SpanInfo Source # setSpanInfo :: SpanInfo -> ModuleIdent -> ModuleIdent Source # updateEndPos :: ModuleIdent -> ModuleIdent Source #
HasSpanInfo Constraint Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Constraint -> SpanInfo Source # setSpanInfo :: SpanInfo -> Constraint -> Constraint Source # updateEndPos :: Constraint -> Constraint Source #
HasSpanInfo QualTypeExpr Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: QualTypeExpr -> SpanInfo Source # setSpanInfo :: SpanInfo -> QualTypeExpr -> QualTypeExpr Source # updateEndPos :: QualTypeExpr -> QualTypeExpr Source #
HasSpanInfo TypeExpr Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: TypeExpr -> SpanInfo Source # setSpanInfo :: SpanInfo -> TypeExpr -> TypeExpr Source # updateEndPos :: TypeExpr -> TypeExpr Source #
HasSpanInfo FieldDecl Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: FieldDecl -> SpanInfo Source # setSpanInfo :: SpanInfo -> FieldDecl -> FieldDecl Source # updateEndPos :: FieldDecl -> FieldDecl Source #
HasSpanInfo NewConstrDecl Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: NewConstrDecl -> SpanInfo Source # setSpanInfo :: SpanInfo -> NewConstrDecl -> NewConstrDecl Source # updateEndPos :: NewConstrDecl -> NewConstrDecl Source #
HasSpanInfo ConstrDecl Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: ConstrDecl -> SpanInfo Source # setSpanInfo :: SpanInfo -> ConstrDecl -> ConstrDecl Source # updateEndPos :: ConstrDecl -> ConstrDecl Source #
HasSpanInfo Import Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Import -> SpanInfo Source # setSpanInfo :: SpanInfo -> Import -> Import Source # updateEndPos :: Import -> Import Source #
HasSpanInfo ImportSpec Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: ImportSpec -> SpanInfo Source # setSpanInfo :: SpanInfo -> ImportSpec -> ImportSpec Source # updateEndPos :: ImportSpec -> ImportSpec Source #
HasSpanInfo ImportDecl Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: ImportDecl -> SpanInfo Source # setSpanInfo :: SpanInfo -> ImportDecl -> ImportDecl Source # updateEndPos :: ImportDecl -> ImportDecl Source #
HasSpanInfo Export Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Export -> SpanInfo Source # setSpanInfo :: SpanInfo -> Export -> Export Source # updateEndPos :: Export -> Export Source #
HasSpanInfo ExportSpec Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: ExportSpec -> SpanInfo Source # setSpanInfo :: SpanInfo -> ExportSpec -> ExportSpec Source # updateEndPos :: ExportSpec -> ExportSpec Source #
HasSpanInfo ModulePragma Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: ModulePragma -> SpanInfo Source # setSpanInfo :: SpanInfo -> ModulePragma -> ModulePragma Source # updateEndPos :: ModulePragma -> ModulePragma Source #
HasSpanInfo (Goal a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Goal a -> SpanInfo Source # setSpanInfo :: SpanInfo -> Goal a -> Goal a Source # updateEndPos :: Goal a -> Goal a Source #
HasSpanInfo (Field a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Field a -> SpanInfo Source # setSpanInfo :: SpanInfo -> Field a -> Field a Source # updateEndPos :: Field a -> Field a Source #
HasSpanInfo (Alt a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Alt a -> SpanInfo Source # setSpanInfo :: SpanInfo -> Alt a -> Alt a Source # updateEndPos :: Alt a -> Alt a Source #
HasSpanInfo (Statement a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Statement a -> SpanInfo Source # setSpanInfo :: SpanInfo -> Statement a -> Statement a Source # updateEndPos :: Statement a -> Statement a Source #
HasSpanInfo (Expression a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Expression a -> SpanInfo Source # setSpanInfo :: SpanInfo -> Expression a -> Expression a Source # updateEndPos :: Expression a -> Expression a Source #
HasSpanInfo (Pattern a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Pattern a -> SpanInfo Source # setSpanInfo :: SpanInfo -> Pattern a -> Pattern a Source # updateEndPos :: Pattern a -> Pattern a Source #
HasSpanInfo (CondExpr a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: CondExpr a -> SpanInfo Source # setSpanInfo :: SpanInfo -> CondExpr a -> CondExpr a Source # updateEndPos :: CondExpr a -> CondExpr a Source #
HasSpanInfo (Rhs a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Rhs a -> SpanInfo Source # setSpanInfo :: SpanInfo -> Rhs a -> Rhs a Source # updateEndPos :: Rhs a -> Rhs a Source #
HasSpanInfo (Lhs a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Lhs a -> SpanInfo Source # setSpanInfo :: SpanInfo -> Lhs a -> Lhs a Source # updateEndPos :: Lhs a -> Lhs a Source #
HasSpanInfo (Equation a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Equation a -> SpanInfo Source # setSpanInfo :: SpanInfo -> Equation a -> Equation a Source # updateEndPos :: Equation a -> Equation a Source #
HasSpanInfo (Decl a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Decl a -> SpanInfo Source # setSpanInfo :: SpanInfo -> Decl a -> Decl a Source # updateEndPos :: Decl a -> Decl a Source #
HasSpanInfo (Module a) Source #
Instance details Defined in Curry.Syntax.Type Methods getSpanInfo :: Module a -> SpanInfo Source # setSpanInfo :: SpanInfo -> Module a -> Module a Source # updateEndPos :: Module a -> Module a Source #

fromSrcSpan :: Span -> SpanInfo Source #

fromSrcSpanBoth :: Span -> SpanInfo Source #

getSrcSpan :: HasSpanInfo a => a -> Span Source #

setSrcSpan :: HasSpanInfo a => Span -> a -> a Source #

fromSrcInfoPoints :: [Span] -> SpanInfo Source #

getSrcInfoPoints :: HasSpanInfo a => a -> [Span] Source #

setSrcInfoPoints :: HasSpanInfo a => [Span] -> a -> a Source #

getStartPosition :: HasSpanInfo a => a -> Position Source #

getSrcSpanEnd :: HasSpanInfo a => a -> Position Source #

setStartPosition :: HasSpanInfo a => Position -> a -> a Source #

setEndPosition :: HasSpanInfo a => Position -> a -> a Source #

spanInfo2Pos :: HasSpanInfo a => a -> Position Source #