Jikka.Common.Location

Documentation

data Loc

Loc represents a location of something in the users' source code. line and column is 1-based.

Constructors

Loc

Fields

• line :: !Int
• column :: !Int
• width :: !Int

Instances

Eq Loc

Defined in Jikka.Common.Location

Methods

(==) :: Loc -> Loc -> Bool

(/=) :: Loc -> Loc -> Bool

Ord Loc

Defined in Jikka.Common.Location

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

Read Loc

Defined in Jikka.Common.Location

Methods

readsPrec :: Int -> ReadS Loc

readList :: ReadS [Loc]

readPrec :: ReadPrec Loc

readListPrec :: ReadPrec [Loc]

Show Loc

Defined in Jikka.Common.Location

Methods

showsPrec :: Int -> Loc -> ShowS

show :: Loc -> String

showList :: [Loc] -> ShowS

data WithLoc a

Constructors

WithLoc

Fields

• loc :: !Loc
• value :: !a

Instances

Functor WithLoc

Defined in Jikka.Common.Location

Methods

fmap :: (a -> b) -> WithLoc a -> WithLoc b

(<$) :: a -> WithLoc b -> WithLoc a

Eq a => Eq (WithLoc a)

Defined in Jikka.Common.Location

Methods

(==) :: WithLoc a -> WithLoc a -> Bool

(/=) :: WithLoc a -> WithLoc a -> Bool

Ord a => Ord (WithLoc a)

Defined in Jikka.Common.Location

Methods

compare :: WithLoc a -> WithLoc a -> Ordering

(<) :: WithLoc a -> WithLoc a -> Bool

(<=) :: WithLoc a -> WithLoc a -> Bool

(>) :: WithLoc a -> WithLoc a -> Bool

(>=) :: WithLoc a -> WithLoc a -> Bool

max :: WithLoc a -> WithLoc a -> WithLoc a

min :: WithLoc a -> WithLoc a -> WithLoc a

Read a => Read (WithLoc a)

Defined in Jikka.Common.Location

Methods

readsPrec :: Int -> ReadS (WithLoc a)

readList :: ReadS [WithLoc a]

readPrec :: ReadPrec (WithLoc a)

readListPrec :: ReadPrec [WithLoc a]

Show a => Show (WithLoc a)

Defined in Jikka.Common.Location

Methods

showsPrec :: Int -> WithLoc a -> ShowS

show :: WithLoc a -> String

showList :: [WithLoc a] -> ShowS

data WithLoc' a

Constructors

WithLoc'

Fields

• loc' :: !(Maybe Loc)
• value' :: !a

Instances

Functor WithLoc'

Defined in Jikka.Common.Location

Methods

fmap :: (a -> b) -> WithLoc' a -> WithLoc' b

(<$) :: a -> WithLoc' b -> WithLoc' a

Eq a => Eq (WithLoc' a)

Defined in Jikka.Common.Location

Methods

(==) :: WithLoc' a -> WithLoc' a -> Bool

(/=) :: WithLoc' a -> WithLoc' a -> Bool

Ord a => Ord (WithLoc' a)

Defined in Jikka.Common.Location

Methods

compare :: WithLoc' a -> WithLoc' a -> Ordering

(<) :: WithLoc' a -> WithLoc' a -> Bool

(<=) :: WithLoc' a -> WithLoc' a -> Bool

(>) :: WithLoc' a -> WithLoc' a -> Bool

(>=) :: WithLoc' a -> WithLoc' a -> Bool

max :: WithLoc' a -> WithLoc' a -> WithLoc' a

min :: WithLoc' a -> WithLoc' a -> WithLoc' a

Read a => Read (WithLoc' a)

Defined in Jikka.Common.Location

Methods

readsPrec :: Int -> ReadS (WithLoc' a)

readList :: ReadS [WithLoc' a]

readPrec :: ReadPrec (WithLoc' a)

readListPrec :: ReadPrec [WithLoc' a]

Show a => Show (WithLoc' a)

Defined in Jikka.Common.Location

Methods

showsPrec :: Int -> WithLoc' a -> ShowS

show :: WithLoc' a -> String

showList :: [WithLoc' a] -> ShowS

IsString a => IsString (WithLoc' a)

Defined in Jikka.Common.Location

Methods

fromString :: String -> WithLoc' a

withoutLoc :: a -> WithLoc' a