Safe Haskell	Safe
Language	Haskell2010

Math.Tools.LineInfo

Documentation

data LineInfo Source #

Constructors

LineInfo
Fields li_file :: !String li_row :: !Int li_column :: !Int
NoLineInfo

Instances

Instances details

Monoid LineInfo Source #
Instance details Defined in Math.Tools.LineInfo Methods mempty :: LineInfo # mappend :: LineInfo -> LineInfo -> LineInfo # mconcat :: [LineInfo] -> LineInfo #
Semigroup LineInfo Source #
Instance details Defined in Math.Tools.LineInfo Methods (<>) :: LineInfo -> LineInfo -> LineInfo # sconcat :: NonEmpty LineInfo -> LineInfo # stimes :: Integral b => b -> LineInfo -> LineInfo #
Show LineInfo Source #
Instance details Defined in Math.Tools.LineInfo Methods showsPrec :: Int -> LineInfo -> ShowS # show :: LineInfo -> String # showList :: [LineInfo] -> ShowS #
Binary LineInfo Source #
Instance details Defined in Math.Tools.LineInfo Methods put :: LineInfo -> Put # get :: Get LineInfo # putList :: [LineInfo] -> Put #
Located LineInfo Source #
Instance details Defined in Math.Tools.LineInfo Methods location_of :: LineInfo -> LineInfo Source #
PpShow LineInfo Source #
Instance details Defined in Math.Tools.LineInfo Methods pp :: LineInfo -> Doc Source #
Eq LineInfo Source #
Instance details Defined in Math.Tools.LineInfo Methods (==) :: LineInfo -> LineInfo -> Bool # (/=) :: LineInfo -> LineInfo -> Bool #
Ord LineInfo Source #
Instance details Defined in Math.Tools.LineInfo Methods compare :: LineInfo -> LineInfo -> Ordering # (<) :: LineInfo -> LineInfo -> Bool # (<=) :: LineInfo -> LineInfo -> Bool # (>) :: LineInfo -> LineInfo -> Bool # (>=) :: LineInfo -> LineInfo -> Bool # max :: LineInfo -> LineInfo -> LineInfo # min :: LineInfo -> LineInfo -> LineInfo #
MonadReader (Text, LineInfo) ParseM Source #
Instance details Defined in Math.Tools.ParseMonad Methods ask :: ParseM (Text, LineInfo) # local :: ((Text, LineInfo) -> (Text, LineInfo)) -> ParseM a -> ParseM a # reader :: ((Text, LineInfo) -> a) -> ParseM a #
MonadWriter (Text, LineInfo) ParseM Source #
Instance details Defined in Math.Tools.ParseMonad Methods writer :: (a, (Text, LineInfo)) -> ParseM a # tell :: (Text, LineInfo) -> ParseM () # listen :: ParseM a -> ParseM (a, (Text, LineInfo)) # pass :: ParseM (a, (Text, LineInfo) -> (Text, LineInfo)) -> ParseM a #

lineinfoIso :: Iso LineInfo (Either (String, Int, Int) ()) Source #

class Located e where Source #

Methods

location_of :: e -> LineInfo Source #

Instances

Instances details

Located Id Source #
Instance details Defined in Math.Tools.Id Methods location_of :: Id -> LineInfo Source #
Located LineInfo Source #
Instance details Defined in Math.Tools.LineInfo Methods location_of :: LineInfo -> LineInfo Source #

emptyLineInfo :: LineInfo Source #

sum_lineinfo :: LineInfo -> LineInfo -> LineInfo Source #

new_file :: String -> LineInfo -> LineInfo Source #

next_line :: LineInfo -> LineInfo Source #

prev_line :: LineInfo -> LineInfo Source #

nextlineIso :: Iso LineInfo (LineInfo, Int) Source #

add_to_line :: Int -> LineInfo -> LineInfo Source #

next_column :: LineInfo -> LineInfo Source #

prev_column :: LineInfo -> LineInfo Source #

nextColumnIso :: Iso LineInfo LineInfo Source #

add_to_column :: Int -> LineInfo -> LineInfo Source #

add_to_columnIso :: Int -> Iso LineInfo LineInfo Source #