Safe Haskell	Safe-Inferred
Language	Haskell2010

Commonmark.Types

Contents

Re-exports

Synopsis

newtype Format = Format Text
data ListSpacing
- = TightList
- | LooseList
data ListType
- = BulletList !Char
- | OrderedList !Int !EnumeratorType !DelimiterType
data DelimiterType
- = Period
- | OneParen
- | TwoParens
data EnumeratorType
- = Decimal
- | UpperAlpha
- | LowerAlpha
- | UpperRoman
- | LowerRoman
class (Monoid a, Show a, Rangeable a, HasAttributes a) => IsInline a where
- lineBreak :: a
- softBreak :: a
- str :: Text -> a
- entity :: Text -> a
- escapedChar :: Char -> a
- emph :: a -> a
- strong :: a -> a
- link :: Text -> Text -> a -> a
- image :: Text -> Text -> a -> a
- code :: Text -> a
- rawInline :: Format -> Text -> a
class (Monoid b, Show b, Rangeable b, IsInline il, HasAttributes b) => IsBlock il b | b -> il where
- paragraph :: il -> b
- plain :: il -> b
- thematicBreak :: b
- blockQuote :: b -> b
- codeBlock :: Text -> Text -> b
- heading :: Int -> il -> b
- rawBlock :: Format -> Text -> b
- referenceLinkDefinition :: Text -> (Text, Text) -> b
- list :: ListType -> ListSpacing -> [b] -> b
newtype SourceRange = SourceRange {
- unSourceRange :: [(SourcePos, SourcePos)]
}
class Rangeable a where
- ranged :: SourceRange -> a -> a
type Attribute = (Text, Text)
type Attributes = [Attribute]
class HasAttributes a where
- addAttributes :: Attributes -> a -> a
class ToPlainText a where
- toPlainText :: a -> Text
data SourcePos
sourceLine :: SourcePos -> Line
sourceColumn :: SourcePos -> Column
sourceName :: SourcePos -> SourceName

Documentation

newtype Format Source #

Constructors

Format Text

Instances

Instances details

Data Format Source #
Instance details Defined in Commonmark.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Format -> c Format # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Format # toConstr :: Format -> Constr # dataTypeOf :: Format -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Format) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Format) # gmapT :: (forall b. Data b => b -> b) -> Format -> Format # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Format -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Format -> r # gmapQ :: (forall d. Data d => d -> u) -> Format -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Format -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Format -> m Format # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Format -> m Format # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Format -> m Format #
Show Format Source #
Instance details Defined in Commonmark.Types Methods showsPrec :: Int -> Format -> ShowS # show :: Format -> String # showList :: [Format] -> ShowS #
Eq Format Source #
Instance details Defined in Commonmark.Types Methods (==) :: Format -> Format -> Bool # (/=) :: Format -> Format -> Bool #

data ListSpacing Source #

Constructors

TightList
LooseList

Instances

Instances details

Data ListSpacing Source #
Instance details Defined in Commonmark.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListSpacing -> c ListSpacing # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListSpacing # toConstr :: ListSpacing -> Constr # dataTypeOf :: ListSpacing -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListSpacing) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListSpacing) # gmapT :: (forall b. Data b => b -> b) -> ListSpacing -> ListSpacing # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListSpacing -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListSpacing -> r # gmapQ :: (forall d. Data d => d -> u) -> ListSpacing -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ListSpacing -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing #
Show ListSpacing Source #
Instance details Defined in Commonmark.Types Methods showsPrec :: Int -> ListSpacing -> ShowS # show :: ListSpacing -> String # showList :: [ListSpacing] -> ShowS #
Eq ListSpacing Source #
Instance details Defined in Commonmark.Types Methods (==) :: ListSpacing -> ListSpacing -> Bool # (/=) :: ListSpacing -> ListSpacing -> Bool #
Ord ListSpacing Source #
Instance details Defined in Commonmark.Types Methods compare :: ListSpacing -> ListSpacing -> Ordering # (<) :: ListSpacing -> ListSpacing -> Bool # (<=) :: ListSpacing -> ListSpacing -> Bool # (>) :: ListSpacing -> ListSpacing -> Bool # (>=) :: ListSpacing -> ListSpacing -> Bool # max :: ListSpacing -> ListSpacing -> ListSpacing # min :: ListSpacing -> ListSpacing -> ListSpacing #

data ListType Source #

Constructors

BulletList !Char
OrderedList !Int !EnumeratorType !DelimiterType

Instances

Instances details

Data ListType Source #
Instance details Defined in Commonmark.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListType -> c ListType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListType # toConstr :: ListType -> Constr # dataTypeOf :: ListType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListType) # gmapT :: (forall b. Data b => b -> b) -> ListType -> ListType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r # gmapQ :: (forall d. Data d => d -> u) -> ListType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ListType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListType -> m ListType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType #
Show ListType Source #
Instance details Defined in Commonmark.Types Methods showsPrec :: Int -> ListType -> ShowS # show :: ListType -> String # showList :: [ListType] -> ShowS #
Eq ListType Source #
Instance details Defined in Commonmark.Types Methods (==) :: ListType -> ListType -> Bool # (/=) :: ListType -> ListType -> Bool #
Ord ListType Source #
Instance details Defined in Commonmark.Types Methods compare :: ListType -> ListType -> Ordering # (<) :: ListType -> ListType -> Bool # (<=) :: ListType -> ListType -> Bool # (>) :: ListType -> ListType -> Bool # (>=) :: ListType -> ListType -> Bool # max :: ListType -> ListType -> ListType # min :: ListType -> ListType -> ListType #

data DelimiterType Source #

Constructors

Period
OneParen
TwoParens

Instances

Instances details

Data DelimiterType Source #
Instance details Defined in Commonmark.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DelimiterType -> c DelimiterType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DelimiterType # toConstr :: DelimiterType -> Constr # dataTypeOf :: DelimiterType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DelimiterType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DelimiterType) # gmapT :: (forall b. Data b => b -> b) -> DelimiterType -> DelimiterType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DelimiterType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DelimiterType -> r # gmapQ :: (forall d. Data d => d -> u) -> DelimiterType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DelimiterType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DelimiterType -> m DelimiterType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DelimiterType -> m DelimiterType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DelimiterType -> m DelimiterType #
Show DelimiterType Source #
Instance details Defined in Commonmark.Types Methods showsPrec :: Int -> DelimiterType -> ShowS # show :: DelimiterType -> String # showList :: [DelimiterType] -> ShowS #
Eq DelimiterType Source #
Instance details Defined in Commonmark.Types Methods (==) :: DelimiterType -> DelimiterType -> Bool # (/=) :: DelimiterType -> DelimiterType -> Bool #
Ord DelimiterType Source #
Instance details Defined in Commonmark.Types Methods compare :: DelimiterType -> DelimiterType -> Ordering # (<) :: DelimiterType -> DelimiterType -> Bool # (<=) :: DelimiterType -> DelimiterType -> Bool # (>) :: DelimiterType -> DelimiterType -> Bool # (>=) :: DelimiterType -> DelimiterType -> Bool # max :: DelimiterType -> DelimiterType -> DelimiterType # min :: DelimiterType -> DelimiterType -> DelimiterType #

data EnumeratorType Source #

Constructors

Decimal
UpperAlpha
LowerAlpha
UpperRoman
LowerRoman

Instances

Instances details

Data EnumeratorType Source #
Instance details Defined in Commonmark.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumeratorType -> c EnumeratorType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumeratorType # toConstr :: EnumeratorType -> Constr # dataTypeOf :: EnumeratorType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EnumeratorType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumeratorType) # gmapT :: (forall b. Data b => b -> b) -> EnumeratorType -> EnumeratorType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumeratorType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumeratorType -> r # gmapQ :: (forall d. Data d => d -> u) -> EnumeratorType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumeratorType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumeratorType -> m EnumeratorType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumeratorType -> m EnumeratorType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumeratorType -> m EnumeratorType #
Show EnumeratorType Source #
Instance details Defined in Commonmark.Types Methods showsPrec :: Int -> EnumeratorType -> ShowS # show :: EnumeratorType -> String # showList :: [EnumeratorType] -> ShowS #
Eq EnumeratorType Source #
Instance details Defined in Commonmark.Types Methods (==) :: EnumeratorType -> EnumeratorType -> Bool # (/=) :: EnumeratorType -> EnumeratorType -> Bool #
Ord EnumeratorType Source #
Instance details Defined in Commonmark.Types Methods compare :: EnumeratorType -> EnumeratorType -> Ordering # (<) :: EnumeratorType -> EnumeratorType -> Bool # (<=) :: EnumeratorType -> EnumeratorType -> Bool # (>) :: EnumeratorType -> EnumeratorType -> Bool # (>=) :: EnumeratorType -> EnumeratorType -> Bool # max :: EnumeratorType -> EnumeratorType -> EnumeratorType # min :: EnumeratorType -> EnumeratorType -> EnumeratorType #

class (Monoid a, Show a, Rangeable a, HasAttributes a) => IsInline a where Source #

Methods

lineBreak :: a Source #

softBreak :: a Source #

str :: Text -> a Source #

entity :: Text -> a Source #

escapedChar :: Char -> a Source #

emph :: a -> a Source #

strong :: a -> a Source #

link Source #

Arguments

:: Text	Destination
-> Text	Title
-> a	Link description
-> a

image Source #

Arguments

:: Text	Source
-> Text	Title
-> a	Description
-> a

code :: Text -> a Source #

rawInline :: Format -> Text -> a Source #

Instances

Instances details

Rangeable (Html a) => IsInline (Html a) Source #
Instance details Defined in Commonmark.Html Methods lineBreak :: Html a Source # softBreak :: Html a Source # str :: Text -> Html a Source # entity :: Text -> Html a Source # escapedChar :: Char -> Html a Source # emph :: Html a -> Html a Source # strong :: Html a -> Html a Source # link :: Text -> Text -> Html a -> Html a Source # image :: Text -> Text -> Html a -> Html a Source # code :: Text -> Html a Source # rawInline :: Format -> Text -> Html a Source #
(IsInline a, Semigroup a) => IsInline (WithSourceMap a) Source #
Instance details Defined in Commonmark.SourceMap Methods lineBreak :: WithSourceMap a Source # softBreak :: WithSourceMap a Source # str :: Text -> WithSourceMap a Source # entity :: Text -> WithSourceMap a Source # escapedChar :: Char -> WithSourceMap a Source # emph :: WithSourceMap a -> WithSourceMap a Source # strong :: WithSourceMap a -> WithSourceMap a Source # link :: Text -> Text -> WithSourceMap a -> WithSourceMap a Source # image :: Text -> Text -> WithSourceMap a -> WithSourceMap a Source # code :: Text -> WithSourceMap a Source # rawInline :: Format -> Text -> WithSourceMap a Source #

class (Monoid b, Show b, Rangeable b, IsInline il, HasAttributes b) => IsBlock il b | b -> il where Source #

Methods

paragraph :: il -> b Source #

plain :: il -> b Source #

thematicBreak :: b Source #

blockQuote :: b -> b Source #

codeBlock :: Text -> Text -> b Source #

heading Source #

Arguments

:: Int	Level
-> il	text
-> b

rawBlock :: Format -> Text -> b Source #

referenceLinkDefinition Source #

Arguments

:: Text	Label
-> (Text, Text)	Destination, title
-> b

list :: ListType -> ListSpacing -> [b] -> b Source #

Instances

Instances details

IsInline (Html a) => IsBlock (Html a) (Html a) Source #
Instance details Defined in Commonmark.Html Methods paragraph :: Html a -> Html a Source # plain :: Html a -> Html a Source # thematicBreak :: Html a Source # blockQuote :: Html a -> Html a Source # codeBlock :: Text -> Text -> Html a Source # heading :: Int -> Html a -> Html a Source # rawBlock :: Format -> Text -> Html a Source # referenceLinkDefinition :: Text -> (Text, Text) -> Html a Source # list :: ListType -> ListSpacing -> [Html a] -> Html a Source #
(IsBlock b a, IsInline b, IsInline (WithSourceMap b), Semigroup a) => IsBlock (WithSourceMap b) (WithSourceMap a) Source #
Instance details Defined in Commonmark.SourceMap Methods paragraph :: WithSourceMap b -> WithSourceMap a Source # plain :: WithSourceMap b -> WithSourceMap a Source # thematicBreak :: WithSourceMap a Source # blockQuote :: WithSourceMap a -> WithSourceMap a Source # codeBlock :: Text -> Text -> WithSourceMap a Source # heading :: Int -> WithSourceMap b -> WithSourceMap a Source # rawBlock :: Format -> Text -> WithSourceMap a Source # referenceLinkDefinition :: Text -> (Text, Text) -> WithSourceMap a Source # list :: ListType -> ListSpacing -> [WithSourceMap a] -> WithSourceMap a Source #

newtype SourceRange Source #

Constructors

SourceRange
Fields unSourceRange :: [(SourcePos, SourcePos)]

Instances

Instances details

Data SourceRange Source #
Instance details Defined in Commonmark.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceRange -> c SourceRange # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceRange # toConstr :: SourceRange -> Constr # dataTypeOf :: SourceRange -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceRange) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceRange) # gmapT :: (forall b. Data b => b -> b) -> SourceRange -> SourceRange # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceRange -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceRange -> r # gmapQ :: (forall d. Data d => d -> u) -> SourceRange -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceRange -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceRange -> m SourceRange # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceRange -> m SourceRange # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceRange -> m SourceRange #
Monoid SourceRange Source #
Instance details Defined in Commonmark.Types Methods mempty :: SourceRange # mappend :: SourceRange -> SourceRange -> SourceRange # mconcat :: [SourceRange] -> SourceRange #
Semigroup SourceRange Source #
Instance details Defined in Commonmark.Types Methods (<>) :: SourceRange -> SourceRange -> SourceRange # sconcat :: NonEmpty SourceRange -> SourceRange # stimes :: Integral b => b -> SourceRange -> SourceRange #
Show SourceRange Source #
Instance details Defined in Commonmark.Types Methods showsPrec :: Int -> SourceRange -> ShowS # show :: SourceRange -> String # showList :: [SourceRange] -> ShowS #
Eq SourceRange Source #
Instance details Defined in Commonmark.Types Methods (==) :: SourceRange -> SourceRange -> Bool # (/=) :: SourceRange -> SourceRange -> Bool #
Ord SourceRange Source #
Instance details Defined in Commonmark.Types Methods compare :: SourceRange -> SourceRange -> Ordering # (<) :: SourceRange -> SourceRange -> Bool # (<=) :: SourceRange -> SourceRange -> Bool # (>) :: SourceRange -> SourceRange -> Bool # (>=) :: SourceRange -> SourceRange -> Bool # max :: SourceRange -> SourceRange -> SourceRange # min :: SourceRange -> SourceRange -> SourceRange #
Rangeable (Html SourceRange) Source #
Instance details Defined in Commonmark.Html Methods ranged :: SourceRange -> Html SourceRange -> Html SourceRange Source #

class Rangeable a where Source #

Methods

ranged :: SourceRange -> a -> a Source #

Instances

Instances details

Rangeable (Html SourceRange) Source #
Instance details Defined in Commonmark.Html Methods ranged :: SourceRange -> Html SourceRange -> Html SourceRange Source #
Rangeable (Html ()) Source #
Instance details Defined in Commonmark.Html Methods ranged :: SourceRange -> Html () -> Html () Source #
(Rangeable a, Monoid a, Show a) => Rangeable (WithSourceMap a) Source #
Instance details Defined in Commonmark.SourceMap Methods ranged :: SourceRange -> WithSourceMap a -> WithSourceMap a Source #

type Attribute = (Text, Text) Source #

type Attributes = [Attribute] Source #

class HasAttributes a where Source #

Methods

addAttributes :: Attributes -> a -> a Source #

Instances

Instances details

HasAttributes (Html a) Source #
Instance details Defined in Commonmark.Html Methods addAttributes :: Attributes -> Html a -> Html a Source #
HasAttributes (WithSourceMap a) Source #
Instance details Defined in Commonmark.SourceMap Methods addAttributes :: Attributes -> WithSourceMap a -> WithSourceMap a Source #

class ToPlainText a where Source #

Methods

toPlainText :: a -> Text Source #

Instances

Instances details

ToPlainText (Html a) Source #
Instance details Defined in Commonmark.Html Methods toPlainText :: Html a -> Text Source #
ToPlainText a => ToPlainText (WithSourceMap a) Source #
Instance details Defined in Commonmark.SourceMap Methods toPlainText :: WithSourceMap a -> Text Source #

Re-exports

data SourcePos #

The abstract data type SourcePos represents source positions. It contains the name of the source (i.e. file name), a line number and a column number. SourcePos is an instance of the Show, Eq and Ord class.

Instances

Instances details

Data SourcePos
Instance details Defined in Text.Parsec.Pos Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourcePos -> c SourcePos # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourcePos # toConstr :: SourcePos -> Constr # dataTypeOf :: SourcePos -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourcePos) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourcePos) # gmapT :: (forall b. Data b => b -> b) -> SourcePos -> SourcePos # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r # gmapQ :: (forall d. Data d => d -> u) -> SourcePos -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SourcePos -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos #
Show SourcePos
Instance details Defined in Text.Parsec.Pos Methods showsPrec :: Int -> SourcePos -> ShowS # show :: SourcePos -> String # showList :: [SourcePos] -> ShowS #
Eq SourcePos
Instance details Defined in Text.Parsec.Pos Methods (==) :: SourcePos -> SourcePos -> Bool # (/=) :: SourcePos -> SourcePos -> Bool #
Ord SourcePos
Instance details Defined in Text.Parsec.Pos Methods compare :: SourcePos -> SourcePos -> Ordering # (<) :: SourcePos -> SourcePos -> Bool # (<=) :: SourcePos -> SourcePos -> Bool # (>) :: SourcePos -> SourcePos -> Bool # (>=) :: SourcePos -> SourcePos -> Bool # max :: SourcePos -> SourcePos -> SourcePos # min :: SourcePos -> SourcePos -> SourcePos #

sourceLine :: SourcePos -> Line #

Extracts the line number from a source position.

sourceColumn :: SourcePos -> Column #

Extracts the column number from a source position.

sourceName :: SourcePos -> SourceName #

Extracts the name of the source from a source position.