language-bluespec-0.1: An implementation of the Bluespec Haskell AST
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Bluespec.Classic.AST.Position

Documentation

data Position Source #

Constructors

NoPos 

Instances

Instances details
Show Position Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

Eq Position Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

Methods

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

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

Ord Position Source # 
Instance details

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 Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

Pretty Position Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

Methods

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

pPrint :: Position -> Doc

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

class HasPosition a where Source #

Methods

getPosition :: a -> Position Source #

Instances

Instances details
HasPosition Id Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Id

HasPosition Position Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

HasPosition Pragma Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Pragma

HasPosition CCaseArm Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CClause Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CDef Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CDefl Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CDefn Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CExpr Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CInternalSummand Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CLiteral Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CMStmt Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition COp Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CPOp Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CPat Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CQual Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CRule Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CStmt Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition IdK Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Syntax

HasPosition CPred Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Type

HasPosition CQType Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Type

HasPosition CTypeclass Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Type

HasPosition TyCon Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Type

HasPosition TyVar Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Type

HasPosition Type Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Type

HasPosition VClockInfo Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.VModInfo

HasPosition VFieldInfo Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.VModInfo

HasPosition String Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: String -> Position Source #

HasPosition a => HasPosition (Maybe a) Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: Maybe a -> Position Source #

HasPosition a => HasPosition [a] Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: [a] -> Position Source #

(HasPosition a, HasPosition b) => HasPosition (Either a b) Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: Either a b -> Position Source #

(HasPosition a, HasPosition b) => HasPosition (a, b) Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

Methods

getPosition :: (a, b) -> Position Source #

(HasPosition a, HasPosition b, HasPosition c) => HasPosition (a, b, c) Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

Methods

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

(HasPosition a, HasPosition b, HasPosition c, HasPosition d) => HasPosition (a, b, c, d) Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Position

Methods

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