cmark-0.5.6.3: Fast, accurate CommonMark (Markdown) parser and renderer

Safe HaskellNone
LanguageHaskell2010

CMark

Synopsis

Documentation

commonmarkToHtml :: [CMarkOption] -> Text -> Text Source #

Convert CommonMark formatted text to Html, using cmark's built-in renderer.

commonmarkToXml :: [CMarkOption] -> Text -> Text Source #

Convert CommonMark formatted text to CommonMark XML, using cmark's built-in renderer.

commonmarkToMan :: [CMarkOption] -> Maybe Int -> Text -> Text Source #

Convert CommonMark formatted text to groff man, using cmark's built-in renderer.

commonmarkToLaTeX :: [CMarkOption] -> Maybe Int -> Text -> Text Source #

Convert CommonMark formatted text to latex, using cmark's built-in renderer.

commonmarkToNode :: [CMarkOption] -> Text -> Node Source #

Convert CommonMark formatted text to a structured Node tree, which can be transformed or rendered using Haskell code.

nodeToHtml :: [CMarkOption] -> Node -> Text Source #

nodeToXml :: [CMarkOption] -> Node -> Text Source #

nodeToMan :: [CMarkOption] -> Maybe Int -> Node -> Text Source #

nodeToLaTeX :: [CMarkOption] -> Maybe Int -> Node -> Text Source #

nodeToCommonmark :: [CMarkOption] -> Maybe Int -> Node -> Text Source #

optSourcePos :: CMarkOption Source #

Include a data-sourcepos attribute on block elements.

optNormalize :: CMarkOption Source #

Normalize the document by consolidating adjacent text nodes.

optHardBreaks :: CMarkOption Source #

Render softbreak elements as hard line breaks.

optSmart :: CMarkOption Source #

Convert straight quotes to curly, --- to em-dash, -- to en-dash.

optSafe :: CMarkOption Source #

Suppress rendering of raw HTML and potentially dangerous URLs in links and images.

data Node Source #

Constructors

Node (Maybe PosInfo) NodeType [Node] 
Instances
Eq Node Source # 
Instance details

Defined in CMark

Methods

(==) :: Node -> Node -> Bool Source #

(/=) :: Node -> Node -> Bool Source #

Data Node Source # 
Instance details

Defined in CMark

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Node -> c Node Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Node Source #

toConstr :: Node -> Constr Source #

dataTypeOf :: Node -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Node) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Node) Source #

gmapT :: (forall b. Data b => b -> b) -> Node -> Node Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Node -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Node -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Node -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Node -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Node -> m Node Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Node -> m Node Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Node -> m Node Source #

Ord Node Source # 
Instance details

Defined in CMark

Methods

compare :: Node -> Node -> Ordering Source #

(<) :: Node -> Node -> Bool Source #

(<=) :: Node -> Node -> Bool Source #

(>) :: Node -> Node -> Bool Source #

(>=) :: Node -> Node -> Bool Source #

max :: Node -> Node -> Node Source #

min :: Node -> Node -> Node Source #

Read Node Source # 
Instance details

Defined in CMark

Methods

readsPrec :: Int -> ReadS Node Source #

readList :: ReadS [Node] Source #

readPrec :: ReadPrec Node Source #

readListPrec :: ReadPrec [Node] Source #

Show Node Source # 
Instance details

Defined in CMark

Methods

showsPrec :: Int -> Node -> ShowS Source #

show :: Node -> String Source #

showList :: [Node] -> ShowS Source #

Generic Node Source # 
Instance details

Defined in CMark

Associated Types

type Rep Node :: Type -> Type Source #

Methods

from :: Node -> Rep Node x Source #

to :: Rep Node x -> Node Source #

type Rep Node Source # 
Instance details

Defined in CMark

type Rep Node = D1 (MetaData "Node" "CMark" "cmark-0.5.6.3-BxFe0cY7DpD5Yq1pVcjiKr" False) (C1 (MetaCons "Node" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe PosInfo)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NodeType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Node]))))

data NodeType Source #

Constructors

DOCUMENT 
THEMATIC_BREAK 
PARAGRAPH 
BLOCK_QUOTE 
HTML_BLOCK Text 
CUSTOM_BLOCK OnEnter OnExit 
CODE_BLOCK Info Text 
HEADING Level 
LIST ListAttributes 
ITEM 
TEXT Text 
SOFTBREAK 
LINEBREAK 
HTML_INLINE Text 
CUSTOM_INLINE OnEnter OnExit 
CODE Text 
EMPH 
STRONG 
LINK Url Title 
IMAGE Url Title 
Instances
Eq NodeType Source # 
Instance details

Defined in CMark

Methods

(==) :: NodeType -> NodeType -> Bool Source #

(/=) :: NodeType -> NodeType -> Bool Source #

Data NodeType Source # 
Instance details

Defined in CMark

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NodeType -> c NodeType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NodeType Source #

toConstr :: NodeType -> Constr Source #

dataTypeOf :: NodeType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NodeType) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NodeType) Source #

gmapT :: (forall b. Data b => b -> b) -> NodeType -> NodeType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NodeType -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NodeType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> NodeType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NodeType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NodeType -> m NodeType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NodeType -> m NodeType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NodeType -> m NodeType Source #

Ord NodeType Source # 
Instance details

Defined in CMark

Methods

compare :: NodeType -> NodeType -> Ordering Source #

(<) :: NodeType -> NodeType -> Bool Source #

(<=) :: NodeType -> NodeType -> Bool Source #

(>) :: NodeType -> NodeType -> Bool Source #

(>=) :: NodeType -> NodeType -> Bool Source #

max :: NodeType -> NodeType -> NodeType Source #

min :: NodeType -> NodeType -> NodeType Source #

Read NodeType Source # 
Instance details

Defined in CMark

Methods

readsPrec :: Int -> ReadS NodeType Source #

readList :: ReadS [NodeType] Source #

readPrec :: ReadPrec NodeType Source #

readListPrec :: ReadPrec [NodeType] Source #

Show NodeType Source # 
Instance details

Defined in CMark

Methods

showsPrec :: Int -> NodeType -> ShowS Source #

show :: NodeType -> String Source #

showList :: [NodeType] -> ShowS Source #

Generic NodeType Source # 
Instance details

Defined in CMark

Associated Types

type Rep NodeType :: Type -> Type Source #

Methods

from :: NodeType -> Rep NodeType x Source #

to :: Rep NodeType x -> NodeType Source #

type Rep NodeType Source # 
Instance details

Defined in CMark

type Rep NodeType

data PosInfo Source #

Constructors

PosInfo 

Fields

Instances
Eq PosInfo Source # 
Instance details

Defined in CMark

Methods

(==) :: PosInfo -> PosInfo -> Bool Source #

(/=) :: PosInfo -> PosInfo -> Bool Source #

Data PosInfo Source # 
Instance details

Defined in CMark

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosInfo -> c PosInfo Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PosInfo Source #

toConstr :: PosInfo -> Constr Source #

dataTypeOf :: PosInfo -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PosInfo) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PosInfo) Source #

gmapT :: (forall b. Data b => b -> b) -> PosInfo -> PosInfo Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosInfo -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosInfo -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> PosInfo -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PosInfo -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosInfo -> m PosInfo Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosInfo -> m PosInfo Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosInfo -> m PosInfo Source #

Ord PosInfo Source # 
Instance details

Defined in CMark

Methods

compare :: PosInfo -> PosInfo -> Ordering Source #

(<) :: PosInfo -> PosInfo -> Bool Source #

(<=) :: PosInfo -> PosInfo -> Bool Source #

(>) :: PosInfo -> PosInfo -> Bool Source #

(>=) :: PosInfo -> PosInfo -> Bool Source #

max :: PosInfo -> PosInfo -> PosInfo Source #

min :: PosInfo -> PosInfo -> PosInfo Source #

Read PosInfo Source # 
Instance details

Defined in CMark

Methods

readsPrec :: Int -> ReadS PosInfo Source #

readList :: ReadS [PosInfo] Source #

readPrec :: ReadPrec PosInfo Source #

readListPrec :: ReadPrec [PosInfo] Source #

Show PosInfo Source # 
Instance details

Defined in CMark

Methods

showsPrec :: Int -> PosInfo -> ShowS Source #

show :: PosInfo -> String Source #

showList :: [PosInfo] -> ShowS Source #

Generic PosInfo Source # 
Instance details

Defined in CMark

Associated Types

type Rep PosInfo :: Type -> Type Source #

Methods

from :: PosInfo -> Rep PosInfo x Source #

to :: Rep PosInfo x -> PosInfo Source #

type Rep PosInfo Source # 
Instance details

Defined in CMark

type Rep PosInfo = D1 (MetaData "PosInfo" "CMark" "cmark-0.5.6.3-BxFe0cY7DpD5Yq1pVcjiKr" False) (C1 (MetaCons "PosInfo" PrefixI True) ((S1 (MetaSel (Just "startLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "startColumn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :*: (S1 (MetaSel (Just "endLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "endColumn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))

data DelimType Source #

Constructors

PERIOD_DELIM 
PAREN_DELIM 
Instances
Eq DelimType Source # 
Instance details

Defined in CMark

Methods

(==) :: DelimType -> DelimType -> Bool Source #

(/=) :: DelimType -> DelimType -> Bool Source #

Data DelimType Source # 
Instance details

Defined in CMark

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DelimType -> c DelimType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DelimType Source #

toConstr :: DelimType -> Constr Source #

dataTypeOf :: DelimType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DelimType) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DelimType) Source #

gmapT :: (forall b. Data b => b -> b) -> DelimType -> DelimType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DelimType -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DelimType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> DelimType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DelimType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DelimType -> m DelimType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DelimType -> m DelimType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DelimType -> m DelimType Source #

Ord DelimType Source # 
Instance details

Defined in CMark

Methods

compare :: DelimType -> DelimType -> Ordering Source #

(<) :: DelimType -> DelimType -> Bool Source #

(<=) :: DelimType -> DelimType -> Bool Source #

(>) :: DelimType -> DelimType -> Bool Source #

(>=) :: DelimType -> DelimType -> Bool Source #

max :: DelimType -> DelimType -> DelimType Source #

min :: DelimType -> DelimType -> DelimType Source #

Read DelimType Source # 
Instance details

Defined in CMark

Methods

readsPrec :: Int -> ReadS DelimType Source #

readList :: ReadS [DelimType] Source #

readPrec :: ReadPrec DelimType Source #

readListPrec :: ReadPrec [DelimType] Source #

Show DelimType Source # 
Instance details

Defined in CMark

Methods

showsPrec :: Int -> DelimType -> ShowS Source #

show :: DelimType -> String Source #

showList :: [DelimType] -> ShowS Source #

Generic DelimType Source # 
Instance details

Defined in CMark

Associated Types

type Rep DelimType :: Type -> Type Source #

Methods

from :: DelimType -> Rep DelimType x Source #

to :: Rep DelimType x -> DelimType Source #

type Rep DelimType Source # 
Instance details

Defined in CMark

type Rep DelimType = D1 (MetaData "DelimType" "CMark" "cmark-0.5.6.3-BxFe0cY7DpD5Yq1pVcjiKr" False) (C1 (MetaCons "PERIOD_DELIM" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "PAREN_DELIM" PrefixI False) (U1 :: Type -> Type))

data ListType Source #

Constructors

BULLET_LIST 
ORDERED_LIST 
Instances
Eq ListType Source # 
Instance details

Defined in CMark

Methods

(==) :: ListType -> ListType -> Bool Source #

(/=) :: ListType -> ListType -> Bool Source #

Data ListType Source # 
Instance details

Defined in CMark

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListType -> c ListType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListType Source #

toConstr :: ListType -> Constr Source #

dataTypeOf :: ListType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListType) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListType) Source #

gmapT :: (forall b. Data b => b -> b) -> ListType -> ListType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> ListType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ListType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source #

Ord ListType Source # 
Instance details

Defined in CMark

Methods

compare :: ListType -> ListType -> Ordering Source #

(<) :: ListType -> ListType -> Bool Source #

(<=) :: ListType -> ListType -> Bool Source #

(>) :: ListType -> ListType -> Bool Source #

(>=) :: ListType -> ListType -> Bool Source #

max :: ListType -> ListType -> ListType Source #

min :: ListType -> ListType -> ListType Source #

Read ListType Source # 
Instance details

Defined in CMark

Methods

readsPrec :: Int -> ReadS ListType Source #

readList :: ReadS [ListType] Source #

readPrec :: ReadPrec ListType Source #

readListPrec :: ReadPrec [ListType] Source #

Show ListType Source # 
Instance details

Defined in CMark

Methods

showsPrec :: Int -> ListType -> ShowS Source #

show :: ListType -> String Source #

showList :: [ListType] -> ShowS Source #

Generic ListType Source # 
Instance details

Defined in CMark

Associated Types

type Rep ListType :: Type -> Type Source #

Methods

from :: ListType -> Rep ListType x Source #

to :: Rep ListType x -> ListType Source #

type Rep ListType Source # 
Instance details

Defined in CMark

type Rep ListType = D1 (MetaData "ListType" "CMark" "cmark-0.5.6.3-BxFe0cY7DpD5Yq1pVcjiKr" False) (C1 (MetaCons "BULLET_LIST" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ORDERED_LIST" PrefixI False) (U1 :: Type -> Type))

data ListAttributes Source #

Constructors

ListAttributes 

Fields

Instances
Eq ListAttributes Source # 
Instance details

Defined in CMark

Methods

(==) :: ListAttributes -> ListAttributes -> Bool Source #

(/=) :: ListAttributes -> ListAttributes -> Bool Source #

Data ListAttributes Source # 
Instance details

Defined in CMark

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListAttributes -> c ListAttributes Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListAttributes Source #

toConstr :: ListAttributes -> Constr Source #

dataTypeOf :: ListAttributes -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListAttributes) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListAttributes) Source #

gmapT :: (forall b. Data b => b -> b) -> ListAttributes -> ListAttributes Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListAttributes -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListAttributes -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> ListAttributes -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ListAttributes -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListAttributes -> m ListAttributes Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListAttributes -> m ListAttributes Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListAttributes -> m ListAttributes Source #

Ord ListAttributes Source # 
Instance details

Defined in CMark

Methods

compare :: ListAttributes -> ListAttributes -> Ordering Source #

(<) :: ListAttributes -> ListAttributes -> Bool Source #

(<=) :: ListAttributes -> ListAttributes -> Bool Source #

(>) :: ListAttributes -> ListAttributes -> Bool Source #

(>=) :: ListAttributes -> ListAttributes -> Bool Source #

max :: ListAttributes -> ListAttributes -> ListAttributes Source #

min :: ListAttributes -> ListAttributes -> ListAttributes Source #

Read ListAttributes Source # 
Instance details

Defined in CMark

Methods

readsPrec :: Int -> ReadS ListAttributes Source #

readList :: ReadS [ListAttributes] Source #

readPrec :: ReadPrec ListAttributes Source #

readListPrec :: ReadPrec [ListAttributes] Source #

Show ListAttributes Source # 
Instance details

Defined in CMark

Methods

showsPrec :: Int -> ListAttributes -> ShowS Source #

show :: ListAttributes -> String Source #

showList :: [ListAttributes] -> ShowS Source #

Generic ListAttributes Source # 
Instance details

Defined in CMark

Associated Types

type Rep ListAttributes :: Type -> Type Source #

Methods

from :: ListAttributes -> Rep ListAttributes x Source #

to :: Rep ListAttributes x -> ListAttributes Source #

type Rep ListAttributes Source # 
Instance details

Defined in CMark

type Rep ListAttributes = D1 (MetaData "ListAttributes" "CMark" "cmark-0.5.6.3-BxFe0cY7DpD5Yq1pVcjiKr" False) (C1 (MetaCons "ListAttributes" PrefixI True) ((S1 (MetaSel (Just "listType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ListType) :*: S1 (MetaSel (Just "listTight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :*: (S1 (MetaSel (Just "listStart") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "listDelim") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DelimType))))

type Url = Text Source #

type Title = Text Source #

type Level = Int Source #

type Info = Text Source #

data CMarkOption Source #