Safe Haskell	Safe-Inferred
Language	Haskell2010

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 Methods getPosition :: Position -> Position Source #
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 #

bestPosition :: Position -> Position -> Position Source #

noPosition :: Position Source #

updatePosStdlib :: Position -> Bool -> Position Source #

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 Methods getPosition :: Id -> Position Source #
HasPosition Position Source #
Instance details Defined in Language.Bluespec.Classic.AST.Position Methods getPosition :: Position -> Position Source #
HasPosition Pragma Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods getPosition :: Pragma -> Position Source #
HasPosition CCaseArm Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CCaseArm -> Position Source #
HasPosition CClause Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CClause -> Position Source #
HasPosition CDef Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CDef -> Position Source #
HasPosition CDefl Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CDefl -> Position Source #
HasPosition CDefn Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CDefn -> Position Source #
HasPosition CExpr Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CExpr -> Position Source #
HasPosition CInternalSummand Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CInternalSummand -> Position Source #
HasPosition CLiteral Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CLiteral -> Position Source #
HasPosition CMStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CMStmt -> Position Source #
HasPosition COp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: COp -> Position Source #
HasPosition CPOp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CPOp -> Position Source #
HasPosition CPat Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CPat -> Position Source #
HasPosition CQual Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CQual -> Position Source #
HasPosition CRule Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CRule -> Position Source #
HasPosition CStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CStmt -> Position Source #
HasPosition IdK Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: IdK -> Position Source #
HasPosition CPred Source #
Instance details Defined in Language.Bluespec.Classic.AST.Type Methods getPosition :: CPred -> Position Source #
HasPosition CQType Source #
Instance details Defined in Language.Bluespec.Classic.AST.Type Methods getPosition :: CQType -> Position Source #
HasPosition CTypeclass Source #
Instance details Defined in Language.Bluespec.Classic.AST.Type Methods getPosition :: CTypeclass -> Position Source #
HasPosition TyCon Source #
Instance details Defined in Language.Bluespec.Classic.AST.Type Methods getPosition :: TyCon -> Position Source #
HasPosition TyVar Source #
Instance details Defined in Language.Bluespec.Classic.AST.Type Methods getPosition :: TyVar -> Position Source #
HasPosition Type Source #
Instance details Defined in Language.Bluespec.Classic.AST.Type Methods getPosition :: Type -> Position Source #
HasPosition VClockInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods getPosition :: VClockInfo -> Position Source #
HasPosition VFieldInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods getPosition :: VFieldInfo -> Position Source #
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 #