Safe Haskell	Safe-Inferred
Language	Haskell2010

Djot.AST

Synopsis

data Inline
- = Str ByteString
- | Emph Inlines
- | Strong Inlines
- | Highlight Inlines
- | Insert Inlines
- | Delete Inlines
- | Superscript Inlines
- | Subscript Inlines
- | Verbatim ByteString
- | Symbol ByteString
- | Math MathStyle ByteString
- | Link Inlines Target
- | Image Inlines Target
- | Span Inlines
- | FootnoteReference ByteString
- | UrlLink ByteString
- | EmailLink ByteString
- | RawInline Format ByteString
- | NonBreakingSpace
- | Quoted QuoteType Inlines
- | SoftBreak
- | HardBreak
newtype Many a = Many {
- unMany :: Seq a
}
type Inlines = Many (Node Inline)
data MathStyle
- = DisplayMath
- | InlineMath
newtype Format = Format {
- unFormat :: ByteString
}
data Node a = Node Pos Attr a
data Pos
- = NoPos
- | Pos Int Int Int Int
addAttr :: Attr -> Node a -> Node a
addPos :: Pos -> Node a -> Node a
data Block
- = Para Inlines
- | Section Blocks
- | Heading Int Inlines
- | BlockQuote Blocks
- | CodeBlock ByteString ByteString
- | Div Blocks
- | OrderedList OrderedListAttributes ListSpacing [Blocks]
- | BulletList ListSpacing [Blocks]
- | TaskList ListSpacing [(TaskStatus, Blocks)]
- | DefinitionList ListSpacing [(Inlines, Blocks)]
- | ThematicBreak
- | Table (Maybe Caption) [[Cell]]
- | RawBlock Format ByteString
type Blocks = Many (Node Block)
data Doc = Doc {
- docBlocks :: Blocks
- docFootnotes :: NoteMap
- docReferences :: ReferenceMap
- docAutoReferences :: ReferenceMap
- docAutoIdentifiers :: Set ByteString
}
newtype NoteMap = NoteMap {
- unNoteMap :: Map ByteString Blocks
}
insertNote :: ByteString -> Blocks -> NoteMap -> NoteMap
lookupNote :: ByteString -> NoteMap -> Maybe Blocks
newtype ReferenceMap = ReferenceMap {
- unReferenceMap :: Map ByteString (ByteString, Attr)
}
insertReference :: ByteString -> (ByteString, Attr) -> ReferenceMap -> ReferenceMap
lookupReference :: ByteString -> ReferenceMap -> Maybe (ByteString, Attr)
normalizeLabel :: ByteString -> ByteString
newtype Attr = Attr [(ByteString, ByteString)]
data Target
- = Direct ByteString
- | Reference ByteString
data TaskStatus
- = Complete
- | Incomplete
data Align
- = AlignLeft
- | AlignRight
- | AlignCenter
- | AlignDefault
data Cell = Cell CellType Align Inlines
data CellType
- = HeadCell
- | BodyCell
newtype Caption = Caption Blocks
data ListSpacing
- = Tight
- | Loose
data OrderedListAttributes = OrderedListAttributes {
- orderedListStyle :: OrderedListStyle
- orderedListDelim :: OrderedListDelim
- orderedListStart :: Int
}
data OrderedListDelim
- = RightPeriod
- | RightParen
- | LeftRightParen
data OrderedListStyle
- = Decimal
- | LetterUpper
- | LetterLower
- | RomanUpper
- | RomanLower
data QuoteType
- = SingleQuotes
- | DoubleQuotes
delete :: Inlines -> Inlines
displayMath :: ByteString -> Inlines
insert :: Inlines -> Inlines
emailLink :: ByteString -> Inlines
emph :: Inlines -> Inlines
footnoteReference :: ByteString -> Inlines
hardBreak :: Inlines
highlight :: Inlines -> Inlines
image :: Inlines -> Target -> Inlines
inlineMath :: ByteString -> Inlines
link :: Inlines -> Target -> Inlines
nonBreakingSpace :: Inlines
rawInline :: Format -> ByteString -> Inlines
softBreak :: Inlines
span_ :: Inlines -> Inlines
str :: ByteString -> Inlines
strong :: Inlines -> Inlines
subscript :: Inlines -> Inlines
superscript :: Inlines -> Inlines
singleQuoted :: Inlines -> Inlines
doubleQuoted :: Inlines -> Inlines
symbol :: ByteString -> Inlines
verbatim :: ByteString -> Inlines
urlLink :: ByteString -> Inlines
para :: Inlines -> Blocks
section :: Blocks -> Blocks
heading :: Int -> Inlines -> Blocks
blockQuote :: Blocks -> Blocks
codeBlock :: ByteString -> ByteString -> Blocks
div :: Blocks -> Blocks
bulletList :: ListSpacing -> [Blocks] -> Blocks
orderedList :: OrderedListAttributes -> ListSpacing -> [Blocks] -> Blocks
definitionList :: ListSpacing -> [(Inlines, Blocks)] -> Blocks
taskList :: ListSpacing -> [(TaskStatus, Blocks)] -> Blocks
thematicBreak :: Blocks
table :: Maybe Caption -> [[Cell]] -> Blocks
rawBlock :: Format -> ByteString -> Blocks
inlinesToByteString :: Inlines -> ByteString

Documentation

data Inline Source #

Instances

Instances details

Data Inline Source #
Instance details Defined in Djot.AST 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 #
Monoid Inlines Source #
Instance details Defined in Djot.AST Methods mempty :: Inlines # mappend :: Inlines -> Inlines -> Inlines # mconcat :: [Inlines] -> Inlines #
Semigroup Inlines Source #
Instance details Defined in Djot.AST Methods (<>) :: Inlines -> Inlines -> Inlines # sconcat :: NonEmpty Inlines -> Inlines # stimes :: Integral b => b -> Inlines -> Inlines #
Generic Inline Source #
Instance details Defined in Djot.AST Associated Types type Rep Inline :: Type -> Type # Methods from :: Inline -> Rep Inline x # to :: Rep Inline x -> Inline #
Show Inline Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Inline -> ShowS # show :: Inline -> String # showList :: [Inline] -> ShowS #
Eq Inline Source #
Instance details Defined in Djot.AST Methods (==) :: Inline -> Inline -> Bool # (/=) :: Inline -> Inline -> Bool #
Ord Inline Source #
Instance details Defined in Djot.AST Methods compare :: Inline -> Inline -> Ordering # (<) :: Inline -> Inline -> Bool # (<=) :: Inline -> Inline -> Bool # (>) :: Inline -> Inline -> Bool # (>=) :: Inline -> Inline -> Bool # max :: Inline -> Inline -> Inline # min :: Inline -> Inline -> Inline #
type Rep Inline Source #
Instance details Defined in Djot.AST type Rep Inline = D1 ('MetaData "Inline" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) ((((C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Emph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))) :+: (C1 ('MetaCons "Strong" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Highlight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: C1 ('MetaCons "Insert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))))) :+: ((C1 ('MetaCons "Delete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Superscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: C1 ('MetaCons "Subscript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)))) :+: (C1 ('MetaCons "Verbatim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: (C1 ('MetaCons "Symbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Math" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MathStyle) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))))) :+: (((C1 ('MetaCons "Link" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target)) :+: C1 ('MetaCons "Image" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Target))) :+: (C1 ('MetaCons "Span" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "FootnoteReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "UrlLink" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))))) :+: ((C1 ('MetaCons "EmailLink" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: (C1 ('MetaCons "RawInline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "NonBreakingSpace" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Quoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 QuoteType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "SoftBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HardBreak" 'PrefixI 'False) (U1 :: Type -> Type))))))

newtype Many a Source #

Constructors

Many
Fields unMany :: Seq a

Instances

Instances details

Foldable Many Source #
Instance details Defined in Djot.AST Methods fold :: Monoid m => Many m -> m # foldMap :: Monoid m => (a -> m) -> Many a -> m # foldMap' :: Monoid m => (a -> m) -> Many a -> m # foldr :: (a -> b -> b) -> b -> Many a -> b # foldr' :: (a -> b -> b) -> b -> Many a -> b # foldl :: (b -> a -> b) -> b -> Many a -> b # foldl' :: (b -> a -> b) -> b -> Many a -> b # foldr1 :: (a -> a -> a) -> Many a -> a # foldl1 :: (a -> a -> a) -> Many a -> a # toList :: Many a -> [a] # null :: Many a -> Bool # length :: Many a -> Int # elem :: Eq a => a -> Many a -> Bool # maximum :: Ord a => Many a -> a # minimum :: Ord a => Many a -> a # sum :: Num a => Many a -> a # product :: Num a => Many a -> a #
Traversable Many Source #
Instance details Defined in Djot.AST Methods traverse :: Applicative f => (a -> f b) -> Many a -> f (Many b) # sequenceA :: Applicative f => Many (f a) -> f (Many a) # mapM :: Monad m => (a -> m b) -> Many a -> m (Many b) # sequence :: Monad m => Many (m a) -> m (Many a) #
Functor Many Source #
Instance details Defined in Djot.AST Methods fmap :: (a -> b) -> Many a -> Many b # (<$) :: a -> Many b -> Many a #
Monoid Blocks Source #
Instance details Defined in Djot.AST Methods mempty :: Blocks # mappend :: Blocks -> Blocks -> Blocks # mconcat :: [Blocks] -> Blocks #
Monoid Inlines Source #
Instance details Defined in Djot.AST Methods mempty :: Inlines # mappend :: Inlines -> Inlines -> Inlines # mconcat :: [Inlines] -> Inlines #
Semigroup Blocks Source #
Instance details Defined in Djot.AST Methods (<>) :: Blocks -> Blocks -> Blocks # sconcat :: NonEmpty Blocks -> Blocks # stimes :: Integral b => b -> Blocks -> Blocks #
Semigroup Inlines Source #
Instance details Defined in Djot.AST Methods (<>) :: Inlines -> Inlines -> Inlines # sconcat :: NonEmpty Inlines -> Inlines # stimes :: Integral b => b -> Inlines -> Inlines #
Data a => Data (Many a) Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Many a -> c (Many a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Many a) # toConstr :: Many a -> Constr # dataTypeOf :: Many a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Many a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Many a)) # gmapT :: (forall b. Data b => b -> b) -> Many a -> Many a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Many a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Many a -> r # gmapQ :: (forall d. Data d => d -> u) -> Many a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Many a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Many a -> m (Many a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Many a -> m (Many a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Many a -> m (Many a) #
Generic (Many a) Source #
Instance details Defined in Djot.AST Associated Types type Rep (Many a) :: Type -> Type # Methods from :: Many a -> Rep (Many a) x # to :: Rep (Many a) x -> Many a #
Show a => Show (Many a) Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Many a -> ShowS # show :: Many a -> String # showList :: [Many a] -> ShowS #
Eq a => Eq (Many a) Source #
Instance details Defined in Djot.AST Methods (==) :: Many a -> Many a -> Bool # (/=) :: Many a -> Many a -> Bool #
Ord a => Ord (Many a) Source #
Instance details Defined in Djot.AST Methods compare :: Many a -> Many a -> Ordering # (<) :: Many a -> Many a -> Bool # (<=) :: Many a -> Many a -> Bool # (>) :: Many a -> Many a -> Bool # (>=) :: Many a -> Many a -> Bool # max :: Many a -> Many a -> Many a # min :: Many a -> Many a -> Many a #
type Rep (Many a) Source #
Instance details Defined in Djot.AST type Rep (Many a) = D1 ('MetaData "Many" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'True) (C1 ('MetaCons "Many" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMany") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq a))))

type Inlines = Many (Node Inline) Source #

data MathStyle Source #

Constructors

DisplayMath
InlineMath

Instances

Instances details

Data MathStyle Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MathStyle -> c MathStyle # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MathStyle # toConstr :: MathStyle -> Constr # dataTypeOf :: MathStyle -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MathStyle) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MathStyle) # gmapT :: (forall b. Data b => b -> b) -> MathStyle -> MathStyle # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MathStyle -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MathStyle -> r # gmapQ :: (forall d. Data d => d -> u) -> MathStyle -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MathStyle -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle #
Generic MathStyle Source #
Instance details Defined in Djot.AST Associated Types type Rep MathStyle :: Type -> Type # Methods from :: MathStyle -> Rep MathStyle x # to :: Rep MathStyle x -> MathStyle #
Show MathStyle Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> MathStyle -> ShowS # show :: MathStyle -> String # showList :: [MathStyle] -> ShowS #
Eq MathStyle Source #
Instance details Defined in Djot.AST Methods (==) :: MathStyle -> MathStyle -> Bool # (/=) :: MathStyle -> MathStyle -> Bool #
Ord MathStyle Source #
Instance details Defined in Djot.AST Methods compare :: MathStyle -> MathStyle -> Ordering # (<) :: MathStyle -> MathStyle -> Bool # (<=) :: MathStyle -> MathStyle -> Bool # (>) :: MathStyle -> MathStyle -> Bool # (>=) :: MathStyle -> MathStyle -> Bool # max :: MathStyle -> MathStyle -> MathStyle # min :: MathStyle -> MathStyle -> MathStyle #
type Rep MathStyle Source #
Instance details Defined in Djot.AST type Rep MathStyle = D1 ('MetaData "MathStyle" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Format Source #

Constructors

Format
Fields unFormat :: ByteString

Instances

Instances details

Data Format Source #
Instance details Defined in Djot.AST 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 #
Generic Format Source #
Instance details Defined in Djot.AST Associated Types type Rep Format :: Type -> Type # Methods from :: Format -> Rep Format x # to :: Rep Format x -> Format #
Show Format Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Format -> ShowS # show :: Format -> String # showList :: [Format] -> ShowS #
Eq Format Source #
Instance details Defined in Djot.AST Methods (==) :: Format -> Format -> Bool # (/=) :: Format -> Format -> Bool #
Ord Format Source #
Instance details Defined in Djot.AST Methods compare :: Format -> Format -> Ordering # (<) :: Format -> Format -> Bool # (<=) :: Format -> Format -> Bool # (>) :: Format -> Format -> Bool # (>=) :: Format -> Format -> Bool # max :: Format -> Format -> Format # min :: Format -> Format -> Format #
type Rep Format Source #
Instance details Defined in Djot.AST type Rep Format = D1 ('MetaData "Format" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'True) (C1 ('MetaCons "Format" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data Node a Source #

Constructors

Node Pos Attr a

Instances

Instances details

Foldable Node Source #
Instance details Defined in Djot.AST Methods fold :: Monoid m => Node m -> m # foldMap :: Monoid m => (a -> m) -> Node a -> m # foldMap' :: Monoid m => (a -> m) -> Node a -> m # foldr :: (a -> b -> b) -> b -> Node a -> b # foldr' :: (a -> b -> b) -> b -> Node a -> b # foldl :: (b -> a -> b) -> b -> Node a -> b # foldl' :: (b -> a -> b) -> b -> Node a -> b # foldr1 :: (a -> a -> a) -> Node a -> a # foldl1 :: (a -> a -> a) -> Node a -> a # toList :: Node a -> [a] # null :: Node a -> Bool # length :: Node a -> Int # elem :: Eq a => a -> Node a -> Bool # maximum :: Ord a => Node a -> a # minimum :: Ord a => Node a -> a # sum :: Num a => Node a -> a # product :: Num a => Node a -> a #
Traversable Node Source #
Instance details Defined in Djot.AST Methods traverse :: Applicative f => (a -> f b) -> Node a -> f (Node b) # sequenceA :: Applicative f => Node (f a) -> f (Node a) # mapM :: Monad m => (a -> m b) -> Node a -> m (Node b) # sequence :: Monad m => Node (m a) -> m (Node a) #
Functor Node Source #
Instance details Defined in Djot.AST Methods fmap :: (a -> b) -> Node a -> Node b # (<$) :: a -> Node b -> Node a #
Monoid Blocks Source #
Instance details Defined in Djot.AST Methods mempty :: Blocks # mappend :: Blocks -> Blocks -> Blocks # mconcat :: [Blocks] -> Blocks #
Monoid Inlines Source #
Instance details Defined in Djot.AST Methods mempty :: Inlines # mappend :: Inlines -> Inlines -> Inlines # mconcat :: [Inlines] -> Inlines #
Semigroup Blocks Source #
Instance details Defined in Djot.AST Methods (<>) :: Blocks -> Blocks -> Blocks # sconcat :: NonEmpty Blocks -> Blocks # stimes :: Integral b => b -> Blocks -> Blocks #
Semigroup Inlines Source #
Instance details Defined in Djot.AST Methods (<>) :: Inlines -> Inlines -> Inlines # sconcat :: NonEmpty Inlines -> Inlines # stimes :: Integral b => b -> Inlines -> Inlines #
Data a => Data (Node a) Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Node a -> c (Node a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Node a) # toConstr :: Node a -> Constr # dataTypeOf :: Node a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Node a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Node a)) # gmapT :: (forall b. Data b => b -> b) -> Node a -> Node a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Node a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Node a -> r # gmapQ :: (forall d. Data d => d -> u) -> Node a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Node a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) #
Generic (Node a) Source #
Instance details Defined in Djot.AST Associated Types type Rep (Node a) :: Type -> Type # Methods from :: Node a -> Rep (Node a) x # to :: Rep (Node a) x -> Node a #
Show a => Show (Node a) Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Node a -> ShowS # show :: Node a -> String # showList :: [Node a] -> ShowS #
Eq a => Eq (Node a) Source #
Instance details Defined in Djot.AST Methods (==) :: Node a -> Node a -> Bool # (/=) :: Node a -> Node a -> Bool #
Ord a => Ord (Node a) Source #
Instance details Defined in Djot.AST Methods compare :: Node a -> Node a -> Ordering # (<) :: Node a -> Node a -> Bool # (<=) :: Node a -> Node a -> Bool # (>) :: Node a -> Node a -> Bool # (>=) :: Node a -> Node a -> Bool # max :: Node a -> Node a -> Node a # min :: Node a -> Node a -> Node a #
type Rep (Node a) Source #
Instance details Defined in Djot.AST type Rep (Node a) = D1 ('MetaData "Node" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "Node" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Pos) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))

data Pos Source #

Constructors

NoPos
Pos Int Int Int Int

Instances

Instances details

Data Pos Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pos -> c Pos # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos # toConstr :: Pos -> Constr # dataTypeOf :: Pos -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pos) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pos) # gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r # gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos #
Monoid Pos Source #
Instance details Defined in Djot.AST Methods mempty :: Pos # mappend :: Pos -> Pos -> Pos # mconcat :: [Pos] -> Pos #
Semigroup Pos Source #
Instance details Defined in Djot.AST Methods (<>) :: Pos -> Pos -> Pos # sconcat :: NonEmpty Pos -> Pos # stimes :: Integral b => b -> Pos -> Pos #
Generic Pos Source #
Instance details Defined in Djot.AST Associated Types type Rep Pos :: Type -> Type # Methods from :: Pos -> Rep Pos x # to :: Rep Pos x -> Pos #
Show Pos Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Pos -> ShowS # show :: Pos -> String # showList :: [Pos] -> ShowS #
Eq Pos Source #
Instance details Defined in Djot.AST Methods (==) :: Pos -> Pos -> Bool # (/=) :: Pos -> Pos -> Bool #
Ord Pos Source #
Instance details Defined in Djot.AST Methods compare :: Pos -> Pos -> Ordering # (<) :: Pos -> Pos -> Bool # (<=) :: Pos -> Pos -> Bool # (>) :: Pos -> Pos -> Bool # (>=) :: Pos -> Pos -> Bool # max :: Pos -> Pos -> Pos # min :: Pos -> Pos -> Pos #
type Rep Pos Source #
Instance details Defined in Djot.AST type Rep Pos = D1 ('MetaData "Pos" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "NoPos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pos" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))))

addAttr :: Attr -> Node a -> Node a Source #

addPos :: Pos -> Node a -> Node a Source #

data Block Source #

Instances

Instances details

Data Block Source #
Instance details Defined in Djot.AST 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 #
Monoid Blocks Source #
Instance details Defined in Djot.AST Methods mempty :: Blocks # mappend :: Blocks -> Blocks -> Blocks # mconcat :: [Blocks] -> Blocks #
Semigroup Blocks Source #
Instance details Defined in Djot.AST Methods (<>) :: Blocks -> Blocks -> Blocks # sconcat :: NonEmpty Blocks -> Blocks # stimes :: Integral b => b -> Blocks -> Blocks #
Generic Block Source #
Instance details Defined in Djot.AST Associated Types type Rep Block :: Type -> Type # Methods from :: Block -> Rep Block x # to :: Rep Block x -> Block #
Show Block Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
Eq Block Source #
Instance details Defined in Djot.AST Methods (==) :: Block -> Block -> Bool # (/=) :: Block -> Block -> Bool #
Ord Block Source #
Instance details Defined in Djot.AST Methods compare :: Block -> Block -> Ordering # (<) :: Block -> Block -> Bool # (<=) :: Block -> Block -> Bool # (>) :: Block -> Block -> Bool # (>=) :: Block -> Block -> Bool # max :: Block -> Block -> Block # min :: Block -> Block -> Block #
type Rep Block Source #
Instance details Defined in Djot.AST type Rep Block = D1 ('MetaData "Block" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (((C1 ('MetaCons "Para" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)) :+: (C1 ('MetaCons "Section" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks)) :+: C1 ('MetaCons "Heading" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines)))) :+: (C1 ('MetaCons "BlockQuote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks)) :+: (C1 ('MetaCons "CodeBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Div" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks))))) :+: ((C1 ('MetaCons "OrderedList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListAttributes) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Blocks]))) :+: (C1 ('MetaCons "BulletList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Blocks])) :+: C1 ('MetaCons "TaskList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(TaskStatus, Blocks)])))) :+: ((C1 ('MetaCons "DefinitionList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ListSpacing) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(Inlines, Blocks)])) :+: C1 ('MetaCons "ThematicBreak" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Table" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Caption)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [[Cell]])) :+: C1 ('MetaCons "RawBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Format) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))))))

type Blocks = Many (Node Block) Source #

data Doc Source #

Constructors

Doc
Fields docBlocks :: Blocks docFootnotes :: NoteMap docReferences :: ReferenceMap docAutoReferences :: ReferenceMap docAutoIdentifiers :: Set ByteString

Instances

Instances details

Data Doc Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Doc -> c Doc # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Doc # toConstr :: Doc -> Constr # dataTypeOf :: Doc -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Doc) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Doc) # gmapT :: (forall b. Data b => b -> b) -> Doc -> Doc # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Doc -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Doc -> r # gmapQ :: (forall d. Data d => d -> u) -> Doc -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Doc -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Doc -> m Doc # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Doc -> m Doc # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Doc -> m Doc #
Monoid Doc Source #
Instance details Defined in Djot.AST Methods mempty :: Doc # mappend :: Doc -> Doc -> Doc # mconcat :: [Doc] -> Doc #
Semigroup Doc Source #
Instance details Defined in Djot.AST Methods (<>) :: Doc -> Doc -> Doc # sconcat :: NonEmpty Doc -> Doc # stimes :: Integral b => b -> Doc -> Doc #
Generic Doc Source #
Instance details Defined in Djot.AST Associated Types type Rep Doc :: Type -> Type # Methods from :: Doc -> Rep Doc x # to :: Rep Doc x -> Doc #
Show Doc Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Doc -> ShowS # show :: Doc -> String # showList :: [Doc] -> ShowS #
Eq Doc Source #
Instance details Defined in Djot.AST Methods (==) :: Doc -> Doc -> Bool # (/=) :: Doc -> Doc -> Bool #
Ord Doc Source #
Instance details Defined in Djot.AST Methods compare :: Doc -> Doc -> Ordering # (<) :: Doc -> Doc -> Bool # (<=) :: Doc -> Doc -> Bool # (>) :: Doc -> Doc -> Bool # (>=) :: Doc -> Doc -> Bool # max :: Doc -> Doc -> Doc # min :: Doc -> Doc -> Doc #
type Rep Doc Source #
Instance details Defined in Djot.AST type Rep Doc = D1 ('MetaData "Doc" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "Doc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "docBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks) :: S1 ('MetaSel ('Just "docFootnotes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NoteMap)) :: (S1 ('MetaSel ('Just "docReferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ReferenceMap) :: (S1 ('MetaSel ('Just "docAutoReferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ReferenceMap) :: S1 ('MetaSel ('Just "docAutoIdentifiers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set ByteString))))))

newtype NoteMap Source #

A map from labels to contents.

Constructors

NoteMap
Fields unNoteMap :: Map ByteString Blocks

Instances

Instances details

Data NoteMap Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NoteMap -> c NoteMap # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NoteMap # toConstr :: NoteMap -> Constr # dataTypeOf :: NoteMap -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NoteMap) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NoteMap) # gmapT :: (forall b. Data b => b -> b) -> NoteMap -> NoteMap # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NoteMap -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NoteMap -> r # gmapQ :: (forall d. Data d => d -> u) -> NoteMap -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NoteMap -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap #
Monoid NoteMap Source #
Instance details Defined in Djot.AST Methods mempty :: NoteMap # mappend :: NoteMap -> NoteMap -> NoteMap # mconcat :: [NoteMap] -> NoteMap #
Semigroup NoteMap Source #
Instance details Defined in Djot.AST Methods (<>) :: NoteMap -> NoteMap -> NoteMap # sconcat :: NonEmpty NoteMap -> NoteMap # stimes :: Integral b => b -> NoteMap -> NoteMap #
Generic NoteMap Source #
Instance details Defined in Djot.AST Associated Types type Rep NoteMap :: Type -> Type # Methods from :: NoteMap -> Rep NoteMap x # to :: Rep NoteMap x -> NoteMap #
Show NoteMap Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> NoteMap -> ShowS # show :: NoteMap -> String # showList :: [NoteMap] -> ShowS #
Eq NoteMap Source #
Instance details Defined in Djot.AST Methods (==) :: NoteMap -> NoteMap -> Bool # (/=) :: NoteMap -> NoteMap -> Bool #
Ord NoteMap Source #
Instance details Defined in Djot.AST Methods compare :: NoteMap -> NoteMap -> Ordering # (<) :: NoteMap -> NoteMap -> Bool # (<=) :: NoteMap -> NoteMap -> Bool # (>) :: NoteMap -> NoteMap -> Bool # (>=) :: NoteMap -> NoteMap -> Bool # max :: NoteMap -> NoteMap -> NoteMap # min :: NoteMap -> NoteMap -> NoteMap #
type Rep NoteMap Source #
Instance details Defined in Djot.AST type Rep NoteMap = D1 ('MetaData "NoteMap" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'True) (C1 ('MetaCons "NoteMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNoteMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString Blocks))))

insertNote :: ByteString -> Blocks -> NoteMap -> NoteMap Source #

lookupNote :: ByteString -> NoteMap -> Maybe Blocks Source #

newtype ReferenceMap Source #

Constructors

ReferenceMap
Fields unReferenceMap :: Map ByteString (ByteString, Attr)

Instances

Instances details

Data ReferenceMap Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ReferenceMap -> c ReferenceMap # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ReferenceMap # toConstr :: ReferenceMap -> Constr # dataTypeOf :: ReferenceMap -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ReferenceMap) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ReferenceMap) # gmapT :: (forall b. Data b => b -> b) -> ReferenceMap -> ReferenceMap # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ReferenceMap -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ReferenceMap -> r # gmapQ :: (forall d. Data d => d -> u) -> ReferenceMap -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ReferenceMap -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap #
Monoid ReferenceMap Source #
Instance details Defined in Djot.AST Methods mempty :: ReferenceMap # mappend :: ReferenceMap -> ReferenceMap -> ReferenceMap # mconcat :: [ReferenceMap] -> ReferenceMap #
Semigroup ReferenceMap Source #
Instance details Defined in Djot.AST Methods (<>) :: ReferenceMap -> ReferenceMap -> ReferenceMap # sconcat :: NonEmpty ReferenceMap -> ReferenceMap # stimes :: Integral b => b -> ReferenceMap -> ReferenceMap #
Generic ReferenceMap Source #
Instance details Defined in Djot.AST Associated Types type Rep ReferenceMap :: Type -> Type # Methods from :: ReferenceMap -> Rep ReferenceMap x # to :: Rep ReferenceMap x -> ReferenceMap #
Show ReferenceMap Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> ReferenceMap -> ShowS # show :: ReferenceMap -> String # showList :: [ReferenceMap] -> ShowS #
Eq ReferenceMap Source #
Instance details Defined in Djot.AST Methods (==) :: ReferenceMap -> ReferenceMap -> Bool # (/=) :: ReferenceMap -> ReferenceMap -> Bool #
Ord ReferenceMap Source #
Instance details Defined in Djot.AST Methods compare :: ReferenceMap -> ReferenceMap -> Ordering # (<) :: ReferenceMap -> ReferenceMap -> Bool # (<=) :: ReferenceMap -> ReferenceMap -> Bool # (>) :: ReferenceMap -> ReferenceMap -> Bool # (>=) :: ReferenceMap -> ReferenceMap -> Bool # max :: ReferenceMap -> ReferenceMap -> ReferenceMap # min :: ReferenceMap -> ReferenceMap -> ReferenceMap #
type Rep ReferenceMap Source #
Instance details Defined in Djot.AST type Rep ReferenceMap = D1 ('MetaData "ReferenceMap" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'True) (C1 ('MetaCons "ReferenceMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unReferenceMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString (ByteString, Attr)))))

insertReference :: ByteString -> (ByteString, Attr) -> ReferenceMap -> ReferenceMap Source #

lookupReference :: ByteString -> ReferenceMap -> Maybe (ByteString, Attr) Source #

normalizeLabel :: ByteString -> ByteString Source #

newtype Attr Source #

Constructors

Attr [(ByteString, ByteString)]

Instances

Instances details

Data Attr Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attr -> c Attr # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr # toConstr :: Attr -> Constr # dataTypeOf :: Attr -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr) # gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r # gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr #
Monoid Attr Source #
Instance details Defined in Djot.AST Methods mempty :: Attr # mappend :: Attr -> Attr -> Attr # mconcat :: [Attr] -> Attr #
Semigroup Attr Source #
Instance details Defined in Djot.AST Methods (<>) :: Attr -> Attr -> Attr # sconcat :: NonEmpty Attr -> Attr # stimes :: Integral b => b -> Attr -> Attr #
Generic Attr Source #
Instance details Defined in Djot.AST Associated Types type Rep Attr :: Type -> Type # Methods from :: Attr -> Rep Attr x # to :: Rep Attr x -> Attr #
Show Attr Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Attr -> ShowS # show :: Attr -> String # showList :: [Attr] -> ShowS #
Eq Attr Source #
Instance details Defined in Djot.AST Methods (==) :: Attr -> Attr -> Bool # (/=) :: Attr -> Attr -> Bool #
Ord Attr Source #
Instance details Defined in Djot.AST Methods compare :: Attr -> Attr -> Ordering # (<) :: Attr -> Attr -> Bool # (<=) :: Attr -> Attr -> Bool # (>) :: Attr -> Attr -> Bool # (>=) :: Attr -> Attr -> Bool # max :: Attr -> Attr -> Attr # min :: Attr -> Attr -> Attr #
type Rep Attr Source #
Instance details Defined in Djot.AST type Rep Attr = D1 ('MetaData "Attr" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'True) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ByteString, ByteString)])))

data Target Source #

Constructors

Direct ByteString
Reference ByteString

Instances

Instances details

Data Target Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Target -> c Target # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Target # toConstr :: Target -> Constr # dataTypeOf :: Target -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Target) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Target) # gmapT :: (forall b. Data b => b -> b) -> Target -> Target # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r # gmapQ :: (forall d. Data d => d -> u) -> Target -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Target -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Target -> m Target # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target #
Generic Target Source #
Instance details Defined in Djot.AST Associated Types type Rep Target :: Type -> Type # Methods from :: Target -> Rep Target x # to :: Rep Target x -> Target #
Show Target Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Target -> ShowS # show :: Target -> String # showList :: [Target] -> ShowS #
Eq Target Source #
Instance details Defined in Djot.AST Methods (==) :: Target -> Target -> Bool # (/=) :: Target -> Target -> Bool #
Ord Target Source #
Instance details Defined in Djot.AST Methods compare :: Target -> Target -> Ordering # (<) :: Target -> Target -> Bool # (<=) :: Target -> Target -> Bool # (>) :: Target -> Target -> Bool # (>=) :: Target -> Target -> Bool # max :: Target -> Target -> Target # min :: Target -> Target -> Target #
type Rep Target Source #
Instance details Defined in Djot.AST type Rep Target = D1 ('MetaData "Target" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "Direct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Reference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))

data TaskStatus Source #

Constructors

Complete
Incomplete

Instances

Instances details

Data TaskStatus Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TaskStatus -> c TaskStatus # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TaskStatus # toConstr :: TaskStatus -> Constr # dataTypeOf :: TaskStatus -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TaskStatus) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TaskStatus) # gmapT :: (forall b. Data b => b -> b) -> TaskStatus -> TaskStatus # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TaskStatus -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TaskStatus -> r # gmapQ :: (forall d. Data d => d -> u) -> TaskStatus -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TaskStatus -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus #
Generic TaskStatus Source #
Instance details Defined in Djot.AST Associated Types type Rep TaskStatus :: Type -> Type # Methods from :: TaskStatus -> Rep TaskStatus x # to :: Rep TaskStatus x -> TaskStatus #
Show TaskStatus Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> TaskStatus -> ShowS # show :: TaskStatus -> String # showList :: [TaskStatus] -> ShowS #
Eq TaskStatus Source #
Instance details Defined in Djot.AST Methods (==) :: TaskStatus -> TaskStatus -> Bool # (/=) :: TaskStatus -> TaskStatus -> Bool #
Ord TaskStatus Source #
Instance details Defined in Djot.AST Methods compare :: TaskStatus -> TaskStatus -> Ordering # (<) :: TaskStatus -> TaskStatus -> Bool # (<=) :: TaskStatus -> TaskStatus -> Bool # (>) :: TaskStatus -> TaskStatus -> Bool # (>=) :: TaskStatus -> TaskStatus -> Bool # max :: TaskStatus -> TaskStatus -> TaskStatus # min :: TaskStatus -> TaskStatus -> TaskStatus #
type Rep TaskStatus Source #
Instance details Defined in Djot.AST type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "Complete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incomplete" 'PrefixI 'False) (U1 :: Type -> Type))

data Align Source #

Constructors

AlignLeft
AlignRight
AlignCenter
AlignDefault

Instances

Instances details

Data Align Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Align -> c Align # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Align # toConstr :: Align -> Constr # dataTypeOf :: Align -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Align) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Align) # gmapT :: (forall b. Data b => b -> b) -> Align -> Align # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Align -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Align -> r # gmapQ :: (forall d. Data d => d -> u) -> Align -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Align -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Align -> m Align # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Align -> m Align # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Align -> m Align #
Generic Align Source #
Instance details Defined in Djot.AST Associated Types type Rep Align :: Type -> Type # Methods from :: Align -> Rep Align x # to :: Rep Align x -> Align #
Show Align Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Align -> ShowS # show :: Align -> String # showList :: [Align] -> ShowS #
Eq Align Source #
Instance details Defined in Djot.AST Methods (==) :: Align -> Align -> Bool # (/=) :: Align -> Align -> Bool #
Ord Align Source #
Instance details Defined in Djot.AST Methods compare :: Align -> Align -> Ordering # (<) :: Align -> Align -> Bool # (<=) :: Align -> Align -> Bool # (>) :: Align -> Align -> Bool # (>=) :: Align -> Align -> Bool # max :: Align -> Align -> Align # min :: Align -> Align -> Align #
type Rep Align Source #
Instance details Defined in Djot.AST type Rep Align = D1 ('MetaData "Align" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) ((C1 ('MetaCons "AlignLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AlignCenter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignDefault" 'PrefixI 'False) (U1 :: Type -> Type)))

data Cell Source #

Constructors

Cell CellType Align Inlines

Instances

Instances details

Data Cell Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Cell -> c Cell # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Cell # toConstr :: Cell -> Constr # dataTypeOf :: Cell -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Cell) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Cell) # gmapT :: (forall b. Data b => b -> b) -> Cell -> Cell # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Cell -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Cell -> r # gmapQ :: (forall d. Data d => d -> u) -> Cell -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Cell -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Cell -> m Cell # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Cell -> m Cell # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Cell -> m Cell #
Generic Cell Source #
Instance details Defined in Djot.AST Associated Types type Rep Cell :: Type -> Type # Methods from :: Cell -> Rep Cell x # to :: Rep Cell x -> Cell #
Show Cell Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Cell -> ShowS # show :: Cell -> String # showList :: [Cell] -> ShowS #
Eq Cell Source #
Instance details Defined in Djot.AST Methods (==) :: Cell -> Cell -> Bool # (/=) :: Cell -> Cell -> Bool #
Ord Cell Source #
Instance details Defined in Djot.AST Methods compare :: Cell -> Cell -> Ordering # (<) :: Cell -> Cell -> Bool # (<=) :: Cell -> Cell -> Bool # (>) :: Cell -> Cell -> Bool # (>=) :: Cell -> Cell -> Bool # max :: Cell -> Cell -> Cell # min :: Cell -> Cell -> Cell #
type Rep Cell Source #
Instance details Defined in Djot.AST type Rep Cell = D1 ('MetaData "Cell" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "Cell" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CellType) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Align) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))))

data CellType Source #

Constructors

HeadCell
BodyCell

Instances

Instances details

Data CellType Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CellType -> c CellType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CellType # toConstr :: CellType -> Constr # dataTypeOf :: CellType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CellType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CellType) # gmapT :: (forall b. Data b => b -> b) -> CellType -> CellType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CellType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CellType -> r # gmapQ :: (forall d. Data d => d -> u) -> CellType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CellType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CellType -> m CellType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CellType -> m CellType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CellType -> m CellType #
Generic CellType Source #
Instance details Defined in Djot.AST Associated Types type Rep CellType :: Type -> Type # Methods from :: CellType -> Rep CellType x # to :: Rep CellType x -> CellType #
Show CellType Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> CellType -> ShowS # show :: CellType -> String # showList :: [CellType] -> ShowS #
Eq CellType Source #
Instance details Defined in Djot.AST Methods (==) :: CellType -> CellType -> Bool # (/=) :: CellType -> CellType -> Bool #
Ord CellType Source #
Instance details Defined in Djot.AST Methods compare :: CellType -> CellType -> Ordering # (<) :: CellType -> CellType -> Bool # (<=) :: CellType -> CellType -> Bool # (>) :: CellType -> CellType -> Bool # (>=) :: CellType -> CellType -> Bool # max :: CellType -> CellType -> CellType # min :: CellType -> CellType -> CellType #
type Rep CellType Source #
Instance details Defined in Djot.AST type Rep CellType = D1 ('MetaData "CellType" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "HeadCell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BodyCell" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Caption Source #

Constructors

Caption Blocks

Instances

Instances details

Data Caption Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Caption -> c Caption # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Caption # toConstr :: Caption -> Constr # dataTypeOf :: Caption -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Caption) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Caption) # gmapT :: (forall b. Data b => b -> b) -> Caption -> Caption # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Caption -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Caption -> r # gmapQ :: (forall d. Data d => d -> u) -> Caption -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Caption -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Caption -> m Caption # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Caption -> m Caption # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Caption -> m Caption #
Generic Caption Source #
Instance details Defined in Djot.AST Associated Types type Rep Caption :: Type -> Type # Methods from :: Caption -> Rep Caption x # to :: Rep Caption x -> Caption #
Show Caption Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> Caption -> ShowS # show :: Caption -> String # showList :: [Caption] -> ShowS #
Eq Caption Source #
Instance details Defined in Djot.AST Methods (==) :: Caption -> Caption -> Bool # (/=) :: Caption -> Caption -> Bool #
Ord Caption Source #
Instance details Defined in Djot.AST Methods compare :: Caption -> Caption -> Ordering # (<) :: Caption -> Caption -> Bool # (<=) :: Caption -> Caption -> Bool # (>) :: Caption -> Caption -> Bool # (>=) :: Caption -> Caption -> Bool # max :: Caption -> Caption -> Caption # min :: Caption -> Caption -> Caption #
type Rep Caption Source #
Instance details Defined in Djot.AST type Rep Caption = D1 ('MetaData "Caption" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'True) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))

data ListSpacing Source #

Constructors

Tight
Loose

Instances

Instances details

Data ListSpacing Source #
Instance details Defined in Djot.AST 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 #
Generic ListSpacing Source #
Instance details Defined in Djot.AST Associated Types type Rep ListSpacing :: Type -> Type # Methods from :: ListSpacing -> Rep ListSpacing x # to :: Rep ListSpacing x -> ListSpacing #
Show ListSpacing Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> ListSpacing -> ShowS # show :: ListSpacing -> String # showList :: [ListSpacing] -> ShowS #
Eq ListSpacing Source #
Instance details Defined in Djot.AST Methods (==) :: ListSpacing -> ListSpacing -> Bool # (/=) :: ListSpacing -> ListSpacing -> Bool #
Ord ListSpacing Source #
Instance details Defined in Djot.AST 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 #
type Rep ListSpacing Source #
Instance details Defined in Djot.AST type Rep ListSpacing = D1 ('MetaData "ListSpacing" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "Tight" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Loose" 'PrefixI 'False) (U1 :: Type -> Type))

data OrderedListAttributes Source #

Constructors

OrderedListAttributes
Fields orderedListStyle :: OrderedListStyle orderedListDelim :: OrderedListDelim orderedListStart :: Int

Instances

Instances details

Data OrderedListAttributes Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderedListAttributes -> c OrderedListAttributes # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListAttributes # toConstr :: OrderedListAttributes -> Constr # dataTypeOf :: OrderedListAttributes -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListAttributes) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderedListAttributes) # gmapT :: (forall b. Data b => b -> b) -> OrderedListAttributes -> OrderedListAttributes # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListAttributes -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListAttributes -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderedListAttributes -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListAttributes -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes #
Generic OrderedListAttributes Source #
Instance details Defined in Djot.AST Associated Types type Rep OrderedListAttributes :: Type -> Type # Methods from :: OrderedListAttributes -> Rep OrderedListAttributes x # to :: Rep OrderedListAttributes x -> OrderedListAttributes #
Show OrderedListAttributes Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> OrderedListAttributes -> ShowS # show :: OrderedListAttributes -> String # showList :: [OrderedListAttributes] -> ShowS #
Eq OrderedListAttributes Source #
Instance details Defined in Djot.AST Methods (==) :: OrderedListAttributes -> OrderedListAttributes -> Bool # (/=) :: OrderedListAttributes -> OrderedListAttributes -> Bool #
Ord OrderedListAttributes Source #
Instance details Defined in Djot.AST Methods compare :: OrderedListAttributes -> OrderedListAttributes -> Ordering # (<) :: OrderedListAttributes -> OrderedListAttributes -> Bool # (<=) :: OrderedListAttributes -> OrderedListAttributes -> Bool # (>) :: OrderedListAttributes -> OrderedListAttributes -> Bool # (>=) :: OrderedListAttributes -> OrderedListAttributes -> Bool # max :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes # min :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes #
type Rep OrderedListAttributes Source #
Instance details Defined in Djot.AST type Rep OrderedListAttributes = D1 ('MetaData "OrderedListAttributes" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "OrderedListAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "orderedListStyle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListStyle) :: (S1 ('MetaSel ('Just "orderedListDelim") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListDelim) :: S1 ('MetaSel ('Just "orderedListStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))))

data OrderedListDelim Source #

Constructors

RightPeriod
RightParen
LeftRightParen

Instances

Instances details

Data OrderedListDelim Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderedListDelim -> c OrderedListDelim # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListDelim # toConstr :: OrderedListDelim -> Constr # dataTypeOf :: OrderedListDelim -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListDelim) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderedListDelim) # gmapT :: (forall b. Data b => b -> b) -> OrderedListDelim -> OrderedListDelim # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListDelim -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListDelim -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderedListDelim -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListDelim -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim #
Generic OrderedListDelim Source #
Instance details Defined in Djot.AST Associated Types type Rep OrderedListDelim :: Type -> Type # Methods from :: OrderedListDelim -> Rep OrderedListDelim x # to :: Rep OrderedListDelim x -> OrderedListDelim #
Show OrderedListDelim Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> OrderedListDelim -> ShowS # show :: OrderedListDelim -> String # showList :: [OrderedListDelim] -> ShowS #
Eq OrderedListDelim Source #
Instance details Defined in Djot.AST Methods (==) :: OrderedListDelim -> OrderedListDelim -> Bool # (/=) :: OrderedListDelim -> OrderedListDelim -> Bool #
Ord OrderedListDelim Source #
Instance details Defined in Djot.AST Methods compare :: OrderedListDelim -> OrderedListDelim -> Ordering # (<) :: OrderedListDelim -> OrderedListDelim -> Bool # (<=) :: OrderedListDelim -> OrderedListDelim -> Bool # (>) :: OrderedListDelim -> OrderedListDelim -> Bool # (>=) :: OrderedListDelim -> OrderedListDelim -> Bool # max :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim # min :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim #
type Rep OrderedListDelim Source #
Instance details Defined in Djot.AST type Rep OrderedListDelim = D1 ('MetaData "OrderedListDelim" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "RightPeriod" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightParen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftRightParen" 'PrefixI 'False) (U1 :: Type -> Type)))

data OrderedListStyle Source #

Constructors

Decimal
LetterUpper
LetterLower
RomanUpper
RomanLower

Instances

Instances details

Data OrderedListStyle Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderedListStyle -> c OrderedListStyle # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListStyle # toConstr :: OrderedListStyle -> Constr # dataTypeOf :: OrderedListStyle -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListStyle) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderedListStyle) # gmapT :: (forall b. Data b => b -> b) -> OrderedListStyle -> OrderedListStyle # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListStyle -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListStyle -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderedListStyle -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListStyle -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle #
Generic OrderedListStyle Source #
Instance details Defined in Djot.AST Associated Types type Rep OrderedListStyle :: Type -> Type # Methods from :: OrderedListStyle -> Rep OrderedListStyle x # to :: Rep OrderedListStyle x -> OrderedListStyle #
Show OrderedListStyle Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> OrderedListStyle -> ShowS # show :: OrderedListStyle -> String # showList :: [OrderedListStyle] -> ShowS #
Eq OrderedListStyle Source #
Instance details Defined in Djot.AST Methods (==) :: OrderedListStyle -> OrderedListStyle -> Bool # (/=) :: OrderedListStyle -> OrderedListStyle -> Bool #
Ord OrderedListStyle Source #
Instance details Defined in Djot.AST Methods compare :: OrderedListStyle -> OrderedListStyle -> Ordering # (<) :: OrderedListStyle -> OrderedListStyle -> Bool # (<=) :: OrderedListStyle -> OrderedListStyle -> Bool # (>) :: OrderedListStyle -> OrderedListStyle -> Bool # (>=) :: OrderedListStyle -> OrderedListStyle -> Bool # max :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle # min :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle #
type Rep OrderedListStyle Source #
Instance details Defined in Djot.AST type Rep OrderedListStyle = D1 ('MetaData "OrderedListStyle" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) ((C1 ('MetaCons "Decimal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterUpper" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LetterLower" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RomanUpper" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RomanLower" 'PrefixI 'False) (U1 :: Type -> Type))))

data QuoteType Source #

Constructors

SingleQuotes
DoubleQuotes

Instances

Instances details

Data QuoteType Source #
Instance details Defined in Djot.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QuoteType -> c QuoteType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QuoteType # toConstr :: QuoteType -> Constr # dataTypeOf :: QuoteType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c QuoteType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QuoteType) # gmapT :: (forall b. Data b => b -> b) -> QuoteType -> QuoteType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QuoteType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QuoteType -> r # gmapQ :: (forall d. Data d => d -> u) -> QuoteType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> QuoteType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType #
Generic QuoteType Source #
Instance details Defined in Djot.AST Associated Types type Rep QuoteType :: Type -> Type # Methods from :: QuoteType -> Rep QuoteType x # to :: Rep QuoteType x -> QuoteType #
Show QuoteType Source #
Instance details Defined in Djot.AST Methods showsPrec :: Int -> QuoteType -> ShowS # show :: QuoteType -> String # showList :: [QuoteType] -> ShowS #
Eq QuoteType Source #
Instance details Defined in Djot.AST Methods (==) :: QuoteType -> QuoteType -> Bool # (/=) :: QuoteType -> QuoteType -> Bool #
Ord QuoteType Source #
Instance details Defined in Djot.AST Methods compare :: QuoteType -> QuoteType -> Ordering # (<) :: QuoteType -> QuoteType -> Bool # (<=) :: QuoteType -> QuoteType -> Bool # (>) :: QuoteType -> QuoteType -> Bool # (>=) :: QuoteType -> QuoteType -> Bool # max :: QuoteType -> QuoteType -> QuoteType # min :: QuoteType -> QuoteType -> QuoteType #
type Rep QuoteType Source #
Instance details Defined in Djot.AST type Rep QuoteType = D1 ('MetaData "QuoteType" "Djot.AST" "djot-0.1.1.3-1y4lcqw4juKR1uN28jsLB" 'False) (C1 ('MetaCons "SingleQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuotes" 'PrefixI 'False) (U1 :: Type -> Type))

delete :: Inlines -> Inlines Source #

displayMath :: ByteString -> Inlines Source #

insert :: Inlines -> Inlines Source #

emailLink :: ByteString -> Inlines Source #

emph :: Inlines -> Inlines Source #

footnoteReference :: ByteString -> Inlines Source #

hardBreak :: Inlines Source #

highlight :: Inlines -> Inlines Source #

image :: Inlines -> Target -> Inlines Source #

inlineMath :: ByteString -> Inlines Source #

link :: Inlines -> Target -> Inlines Source #

nonBreakingSpace :: Inlines Source #

rawInline :: Format -> ByteString -> Inlines Source #

softBreak :: Inlines Source #

span_ :: Inlines -> Inlines Source #

str :: ByteString -> Inlines Source #

strong :: Inlines -> Inlines Source #

subscript :: Inlines -> Inlines Source #

superscript :: Inlines -> Inlines Source #

singleQuoted :: Inlines -> Inlines Source #

doubleQuoted :: Inlines -> Inlines Source #

symbol :: ByteString -> Inlines Source #

verbatim :: ByteString -> Inlines Source #

urlLink :: ByteString -> Inlines Source #

para :: Inlines -> Blocks Source #

section :: Blocks -> Blocks Source #

heading :: Int -> Inlines -> Blocks Source #

blockQuote :: Blocks -> Blocks Source #

codeBlock :: ByteString -> ByteString -> Blocks Source #

div :: Blocks -> Blocks Source #

bulletList :: ListSpacing -> [Blocks] -> Blocks Source #

orderedList :: OrderedListAttributes -> ListSpacing -> [Blocks] -> Blocks Source #

definitionList :: ListSpacing -> [(Inlines, Blocks)] -> Blocks Source #

taskList :: ListSpacing -> [(TaskStatus, Blocks)] -> Blocks Source #

thematicBreak :: Blocks Source #

table :: Maybe Caption -> [[Cell]] -> Blocks Source #

rawBlock :: Format -> ByteString -> Blocks Source #

inlinesToByteString :: Inlines -> ByteString Source #

Str ByteString
Emph Inlines
Strong Inlines
Highlight Inlines
Insert Inlines
Delete Inlines
Superscript Inlines
Subscript Inlines
Verbatim ByteString
Symbol ByteString
Math MathStyle ByteString
Link Inlines Target
Image Inlines Target
Span Inlines
FootnoteReference ByteString
UrlLink ByteString
EmailLink ByteString
RawInline Format ByteString
NonBreakingSpace
Quoted QuoteType Inlines
SoftBreak
HardBreak

Para Inlines
Section Blocks
Heading Int Inlines
BlockQuote Blocks
CodeBlock ByteString ByteString
Div Blocks
OrderedList OrderedListAttributes ListSpacing [Blocks]
BulletList ListSpacing [Blocks]
TaskList ListSpacing [(TaskStatus, Blocks)]
DefinitionList ListSpacing [(Inlines, Blocks)]
ThematicBreak
Table (Maybe Caption) [[Cell]]
RawBlock Format ByteString