uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Lib.Parser.Loc

Documentation

data Loc Source #

Constructors

Loc 

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 #

data LocRange Source #

Constructors

LocRange 

Instances

Instances details
Show LocRange Source # 
Instance details

Defined in UVMHS.Lib.Parser.Loc

Eq LocRange Source # 
Instance details

Defined in UVMHS.Lib.Parser.Loc

Ord LocRange Source # 
Instance details

Defined in UVMHS.Lib.Parser.Loc

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

Meet LocRange Source # 
Instance details

Defined in UVMHS.Lib.Parser.Loc

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 #