Safe Haskell	None
Language	GHC2021

Commonmark.Initial

Documentation

data Ann Source #

Constructors

MkAnn
Fields range :: SourceRange attributes :: Attributes

Instances

Instances details

Monoid Ann Source #
Instance details Defined in Commonmark.Initial Methods mempty :: Ann # mappend :: Ann -> Ann -> Ann # mconcat :: [Ann] -> Ann #
Semigroup Ann Source #
Instance details Defined in Commonmark.Initial Methods (<>) :: Ann -> Ann -> Ann # sconcat :: NonEmpty Ann -> Ann # stimes :: Integral b => b -> Ann -> Ann #
Show Ann Source #
Instance details Defined in Commonmark.Initial Methods showsPrec :: Int -> Ann -> ShowS # show :: Ann -> String # showList :: [Ann] -> ShowS #
HasAttributes Blocks Source #
Instance details Defined in Commonmark.Initial Methods addAttributes :: Attributes -> Blocks -> Blocks #
HasAttributes Inlines Source #
Instance details Defined in Commonmark.Initial Methods addAttributes :: Attributes -> Inlines -> Inlines #
IsInline Inlines Source #
Instance details Defined in Commonmark.Initial Methods lineBreak :: Inlines # softBreak :: Inlines # str :: Text -> Inlines # entity :: Text -> Inlines # escapedChar :: Char -> Inlines # emph :: Inlines -> Inlines # strong :: Inlines -> Inlines # link :: Text -> Text -> Inlines -> Inlines # image :: Text -> Text -> Inlines -> Inlines # code :: Text -> Inlines # rawInline :: Format -> Text -> Inlines #
Rangeable Blocks Source #
Instance details Defined in Commonmark.Initial Methods ranged :: SourceRange -> Blocks -> Blocks #
Rangeable Inlines Source #
Instance details Defined in Commonmark.Initial Methods ranged :: SourceRange -> Inlines -> Inlines #
Eq Ann Source #
Instance details Defined in Commonmark.Initial Methods (==) :: Ann -> Ann -> Bool # (/=) :: Ann -> Ann -> Bool #
IsBlock Inlines Blocks Source #
Instance details Defined in Commonmark.Initial Methods paragraph :: Inlines -> Blocks # plain :: Inlines -> Blocks # thematicBreak :: Blocks # blockQuote :: Blocks -> Blocks # codeBlock :: Text -> Text -> Blocks # heading :: Int -> Inlines -> Blocks # rawBlock :: Format -> Text -> Blocks # referenceLinkDefinition :: Text -> (Text, Text) -> Blocks # list :: ListType -> ListSpacing -> [Blocks] -> Blocks #

type Block a = Cofree (BlockF a) a Source #

type Blocks = [Block Ann] Source #

data BlockF a r Source #

Constructors

Paragraph [Inline a]
Plain [Inline a]
ThematicBreak
BlockQuote [r]
CodeBlock Text Text
Heading Int [Inline a]
RawBlock Format Text
ReferenceLinkDefinition Text (Text, Text)
List ListType ListSpacing [[r]]

Instances

Instances details

HasAttributes Blocks Source #
Instance details Defined in Commonmark.Initial Methods addAttributes :: Attributes -> Blocks -> Blocks #
Rangeable Blocks Source #
Instance details Defined in Commonmark.Initial Methods ranged :: SourceRange -> Blocks -> Blocks #
IsBlock Inlines Blocks Source #
Instance details Defined in Commonmark.Initial Methods paragraph :: Inlines -> Blocks # plain :: Inlines -> Blocks # thematicBreak :: Blocks # blockQuote :: Blocks -> Blocks # codeBlock :: Text -> Text -> Blocks # heading :: Int -> Inlines -> Blocks # rawBlock :: Format -> Text -> Blocks # referenceLinkDefinition :: Text -> (Text, Text) -> Blocks # list :: ListType -> ListSpacing -> [Blocks] -> Blocks #
Foldable (BlockF a) Source #
Instance details Defined in Commonmark.Initial Methods fold :: Monoid m => BlockF a m -> m # foldMap :: Monoid m => (a0 -> m) -> BlockF a a0 -> m # foldMap' :: Monoid m => (a0 -> m) -> BlockF a a0 -> m # foldr :: (a0 -> b -> b) -> b -> BlockF a a0 -> b # foldr' :: (a0 -> b -> b) -> b -> BlockF a a0 -> b # foldl :: (b -> a0 -> b) -> b -> BlockF a a0 -> b # foldl' :: (b -> a0 -> b) -> b -> BlockF a a0 -> b # foldr1 :: (a0 -> a0 -> a0) -> BlockF a a0 -> a0 # foldl1 :: (a0 -> a0 -> a0) -> BlockF a a0 -> a0 # toList :: BlockF a a0 -> [a0] # null :: BlockF a a0 -> Bool # length :: BlockF a a0 -> Int # elem :: Eq a0 => a0 -> BlockF a a0 -> Bool # maximum :: Ord a0 => BlockF a a0 -> a0 # minimum :: Ord a0 => BlockF a a0 -> a0 # sum :: Num a0 => BlockF a a0 -> a0 # product :: Num a0 => BlockF a a0 -> a0 #
Eq a => Eq1 (BlockF a) Source #
Instance details Defined in Commonmark.Initial Methods liftEq :: (a0 -> b -> Bool) -> BlockF a a0 -> BlockF a b -> Bool #
Show a => Show1 (BlockF a) Source #
Instance details Defined in Commonmark.Initial Methods liftShowsPrec :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> Int -> BlockF a a0 -> ShowS # liftShowList :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> [BlockF a a0] -> ShowS #
Traversable (BlockF a) Source #
Instance details Defined in Commonmark.Initial Methods traverse :: Applicative f => (a0 -> f b) -> BlockF a a0 -> f (BlockF a b) # sequenceA :: Applicative f => BlockF a (f a0) -> f (BlockF a a0) # mapM :: Monad m => (a0 -> m b) -> BlockF a a0 -> m (BlockF a b) # sequence :: Monad m => BlockF a (m a0) -> m (BlockF a a0) #
Functor (BlockF a) Source #
Instance details Defined in Commonmark.Initial Methods fmap :: (a0 -> b) -> BlockF a a0 -> BlockF a b # (<$) :: a0 -> BlockF a b -> BlockF a a0 #
(Show a, Show r) => Show (BlockF a r) Source #
Instance details Defined in Commonmark.Initial Methods showsPrec :: Int -> BlockF a r -> ShowS # show :: BlockF a r -> String # showList :: [BlockF a r] -> ShowS #
(Eq a, Eq r) => Eq (BlockF a r) Source #
Instance details Defined in Commonmark.Initial Methods (==) :: BlockF a r -> BlockF a r -> Bool # (/=) :: BlockF a r -> BlockF a r -> Bool #

type Inline a = Cofree InlineF a Source #

type Inlines = [Inline Ann] Source #

data InlineF r Source #

Constructors

LineBreak
SoftBreak
Str Text
Entity Text
EscapedChar Char
Emph [r]
Strong [r]
Link Text Text [r]
Image Text Text [r]
Code Text
RawInline Format Text

Instances

Instances details

Foldable InlineF Source #
Instance details Defined in Commonmark.Initial Methods fold :: Monoid m => InlineF m -> m # foldMap :: Monoid m => (a -> m) -> InlineF a -> m # foldMap' :: Monoid m => (a -> m) -> InlineF a -> m # foldr :: (a -> b -> b) -> b -> InlineF a -> b # foldr' :: (a -> b -> b) -> b -> InlineF a -> b # foldl :: (b -> a -> b) -> b -> InlineF a -> b # foldl' :: (b -> a -> b) -> b -> InlineF a -> b # foldr1 :: (a -> a -> a) -> InlineF a -> a # foldl1 :: (a -> a -> a) -> InlineF a -> a # toList :: InlineF a -> [a] # null :: InlineF a -> Bool # length :: InlineF a -> Int # elem :: Eq a => a -> InlineF a -> Bool # maximum :: Ord a => InlineF a -> a # minimum :: Ord a => InlineF a -> a # sum :: Num a => InlineF a -> a # product :: Num a => InlineF a -> a #
Eq1 InlineF Source #
Instance details Defined in Commonmark.Initial Methods liftEq :: (a -> b -> Bool) -> InlineF a -> InlineF b -> Bool #
Show1 InlineF Source #
Instance details Defined in Commonmark.Initial Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> InlineF a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [InlineF a] -> ShowS #
Traversable InlineF Source #
Instance details Defined in Commonmark.Initial Methods traverse :: Applicative f => (a -> f b) -> InlineF a -> f (InlineF b) # sequenceA :: Applicative f => InlineF (f a) -> f (InlineF a) # mapM :: Monad m => (a -> m b) -> InlineF a -> m (InlineF b) # sequence :: Monad m => InlineF (m a) -> m (InlineF a) #
Functor InlineF Source #
Instance details Defined in Commonmark.Initial Methods fmap :: (a -> b) -> InlineF a -> InlineF b # (<$) :: a -> InlineF b -> InlineF a #
HasAttributes Inlines Source #
Instance details Defined in Commonmark.Initial Methods addAttributes :: Attributes -> Inlines -> Inlines #
IsInline Inlines Source #
Instance details Defined in Commonmark.Initial Methods lineBreak :: Inlines # softBreak :: Inlines # str :: Text -> Inlines # entity :: Text -> Inlines # escapedChar :: Char -> Inlines # emph :: Inlines -> Inlines # strong :: Inlines -> Inlines # link :: Text -> Text -> Inlines -> Inlines # image :: Text -> Text -> Inlines -> Inlines # code :: Text -> Inlines # rawInline :: Format -> Text -> Inlines #
Rangeable Inlines Source #
Instance details Defined in Commonmark.Initial Methods ranged :: SourceRange -> Inlines -> Inlines #
IsBlock Inlines Blocks Source #
Instance details Defined in Commonmark.Initial Methods paragraph :: Inlines -> Blocks # plain :: Inlines -> Blocks # thematicBreak :: Blocks # blockQuote :: Blocks -> Blocks # codeBlock :: Text -> Text -> Blocks # heading :: Int -> Inlines -> Blocks # rawBlock :: Format -> Text -> Blocks # referenceLinkDefinition :: Text -> (Text, Text) -> Blocks # list :: ListType -> ListSpacing -> [Blocks] -> Blocks #
Show r => Show (InlineF r) Source #
Instance details Defined in Commonmark.Initial Methods showsPrec :: Int -> InlineF r -> ShowS # show :: InlineF r -> String # showList :: [InlineF r] -> ShowS #
Eq r => Eq (InlineF r) Source #
Instance details Defined in Commonmark.Initial Methods (==) :: InlineF r -> InlineF r -> Bool # (/=) :: InlineF r -> InlineF r -> Bool #

pattern MkBlock :: a -> BlockF a (Block a) -> Block a Source #

pattern MkInline :: a -> InlineF (Inline a) -> Inline a Source #