Cryptol.Parser.Position

Description

Synopsis

• data Located a = Located {
  • srcRange :: !Range
  • thing :: a
  }
• data Position = Position {
  • line :: !Int
  • col :: !Int
  }
• data Range = Range {
  • from :: !Position
  • to :: !Position
  • source :: FilePath
  }
• emptyRange :: Range
• start :: Position
• move :: Position -> Char -> Position
• moves :: Position -> String -> Position
• rComb :: Range -> Range -> Range
• rCombs :: [Range] -> Range
• class HasLoc t where
  • getLoc :: t -> Maybe Range
• class HasLoc t => AddLoc t where
  • addLoc :: t -> Range -> t
  • dropLoc :: t -> t
• at :: (HasLoc l, AddLoc t) => l -> t -> t

Documentation