Safe Haskell	None
Language	GHC2021

Nbparts.Types.Sources.Markdown

Documentation

newtype Inlines Source #

Constructors

Inlines (Seq Inline)

Instances

Instances details

Data Inlines Source #
Instance details Defined in Nbparts.Types.Sources.Markdown Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Inlines -> c Inlines # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inlines # toConstr :: Inlines -> Constr # dataTypeOf :: Inlines -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inlines) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Inlines) # gmapT :: (forall b. Data b => b -> b) -> Inlines -> Inlines # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inlines -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inlines -> r # gmapQ :: (forall d. Data d => d -> u) -> Inlines -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Inlines -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inlines -> m Inlines # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inlines -> m Inlines # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inlines -> m Inlines #
Monoid Inlines Source #
Instance details Defined in Nbparts.Types.Sources.Markdown Methods mempty :: Inlines # mappend :: Inlines -> Inlines -> Inlines # mconcat :: [Inlines] -> Inlines #
Semigroup Inlines Source #
Instance details Defined in Nbparts.Types.Sources.Markdown Methods (<>) :: Inlines -> Inlines -> Inlines # sconcat :: NonEmpty Inlines -> Inlines # stimes :: Integral b => b -> Inlines -> Inlines #
Show Inlines Source #
Instance details Defined in Nbparts.Types.Sources.Markdown Methods showsPrec :: Int -> Inlines -> ShowS # show :: Inlines -> String # showList :: [Inlines] -> ShowS #
HasAttributes Inlines Source #
Instance details Defined in Nbparts.Types.Sources.Markdown Methods addAttributes :: Attributes -> Inlines -> Inlines #
IsInline Inlines Source #
Instance details Defined in Nbparts.Types.Sources.Markdown 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 Nbparts.Types.Sources.Markdown Methods ranged :: SourceRange -> Inlines -> Inlines #
IsBlock Inlines Blocks Source #
Instance details Defined in Nbparts.Types.Sources.Markdown 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 #

data Inline Source #

Constructors

Inline
Fields inlineType :: InlineType sourceRange :: SourceRange attributes :: Map Text Text

Instances

Instances details

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

data InlineType Source #

Constructors

Code Text
Emph Inlines
Entity Text
EscapedChar Char
Image Text Text Inlines
LineBreak
Link Text Text Inlines
RawInline Format Text
SoftBreak
Str Text
Strong Inlines

Instances

Instances details

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

singletonInlines :: InlineType -> Inlines Source #

mkInline :: InlineType -> Inline Source #

newtype Blocks Source #

Constructors

Blocks (Seq Block)

Instances

Instances details

Data Blocks Source #
Instance details Defined in Nbparts.Types.Sources.Markdown Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blocks -> c Blocks # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blocks # toConstr :: Blocks -> Constr # dataTypeOf :: Blocks -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Blocks) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blocks) # gmapT :: (forall b. Data b => b -> b) -> Blocks -> Blocks # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blocks -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blocks -> r # gmapQ :: (forall d. Data d => d -> u) -> Blocks -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Blocks -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blocks -> m Blocks # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blocks -> m Blocks # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blocks -> m Blocks #
Monoid Blocks Source #
Instance details Defined in Nbparts.Types.Sources.Markdown Methods mempty :: Blocks # mappend :: Blocks -> Blocks -> Blocks # mconcat :: [Blocks] -> Blocks #
Semigroup Blocks Source #
Instance details Defined in Nbparts.Types.Sources.Markdown Methods (<>) :: Blocks -> Blocks -> Blocks # sconcat :: NonEmpty Blocks -> Blocks # stimes :: Integral b => b -> Blocks -> Blocks #
Show Blocks Source #
Instance details Defined in Nbparts.Types.Sources.Markdown Methods showsPrec :: Int -> Blocks -> ShowS # show :: Blocks -> String # showList :: [Blocks] -> ShowS #
HasAttributes Blocks Source #
Instance details Defined in Nbparts.Types.Sources.Markdown Methods addAttributes :: Attributes -> Blocks -> Blocks #
Rangeable Blocks Source #
Instance details Defined in Nbparts.Types.Sources.Markdown Methods ranged :: SourceRange -> Blocks -> Blocks #
IsBlock Inlines Blocks Source #
Instance details Defined in Nbparts.Types.Sources.Markdown 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 #

data Block Source #

Constructors

Block
Fields blockType :: BlockType sourceRange :: SourceRange attributes :: Map Text Text

Instances

Instances details

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

data BlockType Source #

Instances

Instances details

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

singletonBlocks :: BlockType -> Blocks Source #

mkBlock :: BlockType -> Block Source #

Paragraph Inlines
Plain Inlines
ThematicBreak
BlockQuote Blocks
CodeBlock Text Text
Heading Int Inlines
RawBlock Format Text
ReferenceLinkDefinition Text (Text, Text)
List ListType ListSpacing Blocks