Language.Bluespec.Classic.AST.Position

Documentation

data Position

Constructors

NoPos

Instances

Show Position

Defined in Language.Bluespec.Classic.AST.Position

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

Eq Position

Defined in Language.Bluespec.Classic.AST.Position

Methods

(==) :: Position -> Position -> Bool

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

Ord Position

Defined in Language.Bluespec.Classic.AST.Position

Methods

compare :: Position -> Position -> Ordering

(<) :: Position -> Position -> Bool

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

(>) :: Position -> Position -> Bool

(>=) :: Position -> Position -> Bool

max :: Position -> Position -> Position

min :: Position -> Position -> Position

HasPosition Position

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: Position -> Position

Pretty Position

Defined in Language.Bluespec.Classic.AST.Position

Methods

pPrintPrec :: PrettyLevel -> Rational -> Position -> Doc

pPrint :: Position -> Doc

pPrintList :: PrettyLevel -> [Position] -> Doc

bestPosition :: Position -> Position -> Position

noPosition :: Position

updatePosStdlib :: Position -> Bool -> Position

class HasPosition a where

Methods

getPosition :: a -> Position

Instances

HasPosition Id

Defined in Language.Bluespec.Classic.AST.Id

Methods

getPosition :: Id -> Position

HasPosition Position

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: Position -> Position

HasPosition Pragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

getPosition :: Pragma -> Position

HasPosition CCaseArm

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CCaseArm -> Position

HasPosition CClause

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CClause -> Position

HasPosition CDef

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CDef -> Position

HasPosition CDefl

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CDefl -> Position

HasPosition CDefn

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CDefn -> Position

HasPosition CExpr

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CExpr -> Position

HasPosition CInternalSummand

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CInternalSummand -> Position

HasPosition CLiteral

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CLiteral -> Position

HasPosition CMStmt

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CMStmt -> Position

HasPosition COp

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: COp -> Position

HasPosition CPOp

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CPOp -> Position

HasPosition CPat

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CPat -> Position

HasPosition CQual

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CQual -> Position

HasPosition CRule

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CRule -> Position

HasPosition CStmt

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: CStmt -> Position

HasPosition IdK

Defined in Language.Bluespec.Classic.AST.Syntax

Methods

getPosition :: IdK -> Position

HasPosition CPred

Defined in Language.Bluespec.Classic.AST.Type

Methods

getPosition :: CPred -> Position

HasPosition CQType

Defined in Language.Bluespec.Classic.AST.Type

Methods

getPosition :: CQType -> Position

HasPosition CTypeclass

Defined in Language.Bluespec.Classic.AST.Type

Methods

getPosition :: CTypeclass -> Position

HasPosition TyCon

Defined in Language.Bluespec.Classic.AST.Type

Methods

getPosition :: TyCon -> Position

HasPosition TyVar

Defined in Language.Bluespec.Classic.AST.Type

Methods

getPosition :: TyVar -> Position

HasPosition Type

Defined in Language.Bluespec.Classic.AST.Type

Methods

getPosition :: Type -> Position

HasPosition VClockInfo

Defined in Language.Bluespec.Classic.AST.VModInfo

Methods

getPosition :: VClockInfo -> Position

HasPosition VFieldInfo

Defined in Language.Bluespec.Classic.AST.VModInfo

Methods

getPosition :: VFieldInfo -> Position

HasPosition String

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: String -> Position

HasPosition a => HasPosition (Maybe a)

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: Maybe a -> Position

HasPosition a => HasPosition [a]

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: [a] -> Position

(HasPosition a, HasPosition b) => HasPosition (Either a b)

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: Either a b -> Position

(HasPosition a, HasPosition b) => HasPosition (a, b)

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: (a, b) -> Position

(HasPosition a, HasPosition b, HasPosition c) => HasPosition (a, b, c)

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: (a, b, c) -> Position

(HasPosition a, HasPosition b, HasPosition c, HasPosition d) => HasPosition (a, b, c, d)

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: (a, b, c, d) -> Position