Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
UVMHS.Lib.Parser.Loc
Documentation
Constructors
LocRange | |
Fields
|
Instances
Show LocRange Source # | |
Eq LocRange Source # | |
Ord LocRange Source # | |
Defined in UVMHS.Lib.Parser.Loc | |
Bot LocRange Source # | |
Defined in UVMHS.Lib.Parser.Loc | |
Join LocRange Source # | |
Meet LocRange Source # | |
Top LocRange Source # | |
Defined in UVMHS.Lib.Parser.Loc | |
Pretty (AddBT Loc) => Pretty LocRange Source # | |
Lift LocRange Source # | |
bumpColEnd₂ :: LocRange -> LocRange Source #