uvmhs-0.0.1.0

Safe Haskell	None
Language	Haskell2010

UVMHS.Lib.Parser.Loc

Documentation

data Loc Source #

Constructors

Loc
Fields locPos :: ℕ64 ∧ ℕ64 locRow :: ℕ64 locCol :: ℕ64

Instances

Instances details

Show Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods showsPrec :: Int -> Loc -> ShowS # show :: Loc -> String # showList :: [Loc] -> ShowS #
Eq Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods (==) :: Loc -> Loc -> Bool # (/=) :: Loc -> Loc -> Bool #
Ord Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods compare :: Loc -> Loc -> Ordering # (<) :: Loc -> Loc -> Bool # (<=) :: Loc -> Loc -> Bool # (>) :: Loc -> Loc -> Bool # (>=) :: Loc -> Loc -> Bool # max :: Loc -> Loc -> Loc # min :: Loc -> Loc -> Loc #
Bot Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods bot :: Loc Source #
Join Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods (⊔) :: Loc -> Loc -> Loc Source #
JoinLattice Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc
Meet Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods (⊓) :: Loc -> Loc -> Loc Source #
(Pretty (ℕ64 ∧ ℕ64), Pretty ℕ64) => Pretty Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods pretty :: Loc -> Doc Source #
Lift Loc Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => Loc -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Loc -> Code m Loc #

locPosL :: Loc ⟢ (ℕ64 ∧ ℕ64) Source #

locRowL :: Loc ⟢ ℕ64 Source #

locColL :: Loc ⟢ ℕ64 Source #

bumpRow₁ :: Loc -> Loc Source #

bumpCol₁ :: Loc -> Loc Source #

bumpCol₂ :: Loc -> Loc Source #

data LocRange Source #

Constructors

LocRange
Fields locRangeBegin :: AddBT Loc locRangeEnd :: AddBT Loc

Instances

Instances details

Show LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods showsPrec :: Int -> LocRange -> ShowS # show :: LocRange -> String # showList :: [LocRange] -> ShowS #
Eq LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods (==) :: LocRange -> LocRange -> Bool # (/=) :: LocRange -> LocRange -> Bool #
Ord LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods compare :: LocRange -> LocRange -> Ordering # (<) :: LocRange -> LocRange -> Bool # (<=) :: LocRange -> LocRange -> Bool # (>) :: LocRange -> LocRange -> Bool # (>=) :: LocRange -> LocRange -> Bool # max :: LocRange -> LocRange -> LocRange # min :: LocRange -> LocRange -> LocRange #
Bot LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods bot :: LocRange Source #
Join LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods (⊔) :: LocRange -> LocRange -> LocRange Source #
Meet LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods (⊓) :: LocRange -> LocRange -> LocRange Source #
Top LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods top :: LocRange Source #
Pretty (AddBT Loc) => Pretty LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods pretty :: LocRange -> Doc Source #
Lift LocRange Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => LocRange -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => LocRange -> Code m LocRange #

locRangeBeginL :: LocRange ⟢ AddBT Loc Source #

locRangeEndL :: LocRange ⟢ AddBT Loc Source #

bumpColEnd₂ :: LocRange -> LocRange Source #

locRange₀ :: LocRange Source #