Safe Haskell	None
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 #

Constructors

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

Instances

Instances details

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

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

Generic Inline Source #

Instance details

Defined in Djot.AST

Associated Types

type Rep Inline

Instance details

Defined in Djot.AST

type Rep Inline = D1 ('MetaData "Inline" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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))))))

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

Lift Inline Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Inline -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Inline -> Code m Inline

type Rep Inline Source #

Instance details

Defined in Djot.AST

type Rep Inline = D1 ('MetaData "Inline" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

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

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)

Lift a => Lift (Many a :: Type) Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Many a -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Many a -> Code m (Many a)

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)
Instance details Defined in Djot.AST type Rep (Many a) = D1 ('MetaData "Many" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" 'True) (C1 ('MetaCons "Many" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMany") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq a))))

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.2.2-5XzeBtFWqQDG0ednpHg4P4" '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
Instance details Defined in Djot.AST type Rep MathStyle = D1 ('MetaData "MathStyle" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: 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

Lift MathStyle Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => MathStyle -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => MathStyle -> Code m MathStyle

type Rep MathStyle Source #

Instance details

Defined in Djot.AST

type Rep MathStyle = D1 ('MetaData "MathStyle" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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
Instance details Defined in Djot.AST type Rep Format = D1 ('MetaData "Format" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" 'True) (C1 ('MetaCons "Format" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

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

Lift Format Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Format -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Format -> Code m Format

type Rep Format Source #

Instance details

Defined in Djot.AST

type Rep Format = D1 ('MetaData "Format" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

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

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)

Lift a => Lift (Node a :: Type) Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Node a -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Node a -> Code m (Node a)

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)

Instance details

Defined in Djot.AST

type Rep (Node a) = D1 ('MetaData "Node" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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))))

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.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

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

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

Generic Pos Source #

Instance details

Defined in Djot.AST

Associated Types

type Rep Pos

Instance details

Defined in Djot.AST

type Rep Pos = D1 ('MetaData "Pos" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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))))

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

Lift Pos Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Pos -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Pos -> Code m Pos

type Rep Pos Source #

Instance details

Defined in Djot.AST

type Rep Pos = D1 ('MetaData "Pos" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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 #

Constructors

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

Instances

Instances details

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

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

Generic Block Source #

Instance details

Defined in Djot.AST

Associated Types

type Rep Block

Instance details

Defined in Djot.AST

type Rep Block = D1 ('MetaData "Block" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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))))))

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

Lift Block Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Block -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Block -> Code m Block

type Rep Block Source #

Instance details

Defined in Djot.AST

type Rep Block = D1 ('MetaData "Block" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

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

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

Generic Doc Source #

Instance details

Defined in Djot.AST

Associated Types

type Rep Doc

Instance details

Defined in Djot.AST

type Rep Doc = D1 ('MetaData "Doc" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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))))))

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

Lift Doc Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Doc -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Doc -> Code m Doc

type Rep Doc Source #

Instance details

Defined in Djot.AST

type Rep Doc = D1 ('MetaData "Doc" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

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

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

Generic NoteMap Source #

Instance details

Defined in Djot.AST

Associated Types

type Rep NoteMap
Instance details Defined in Djot.AST type Rep NoteMap = D1 ('MetaData "NoteMap" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" 'True) (C1 ('MetaCons "NoteMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNoteMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString Blocks))))

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

Lift NoteMap Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => NoteMap -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => NoteMap -> Code m NoteMap

type Rep NoteMap Source #

Instance details

Defined in Djot.AST

type Rep NoteMap = D1 ('MetaData "NoteMap" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

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

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

Generic ReferenceMap Source #

Instance details

Defined in Djot.AST

Associated Types

type Rep ReferenceMap
Instance details Defined in Djot.AST type Rep ReferenceMap = D1 ('MetaData "ReferenceMap" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" 'True) (C1 ('MetaCons "ReferenceMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unReferenceMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString (ByteString, Attr)))))

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

Lift ReferenceMap Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => ReferenceMap -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => ReferenceMap -> Code m ReferenceMap

type Rep ReferenceMap Source #

Instance details

Defined in Djot.AST

type Rep ReferenceMap = D1 ('MetaData "ReferenceMap" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

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

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

Generic Attr Source #

Instance details

Defined in Djot.AST

Associated Types

type Rep Attr
Instance details Defined in Djot.AST type Rep Attr = D1 ('MetaData "Attr" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" 'True) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ByteString, ByteString)])))

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

Lift Attr Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Attr -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Attr -> Code m Attr

type Rep Attr Source #

Instance details

Defined in Djot.AST

type Rep Attr = D1 ('MetaData "Attr" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

Instance details

Defined in Djot.AST

type Rep Target = D1 ('MetaData "Target" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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)))

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

Lift Target Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Target -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Target -> Code m Target

type Rep Target Source #

Instance details

Defined in Djot.AST

type Rep Target = D1 ('MetaData "Target" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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
Instance details Defined in Djot.AST type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" 'False) (C1 ('MetaCons "Complete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incomplete" 'PrefixI 'False) (U1 :: 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

Lift TaskStatus Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => TaskStatus -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => TaskStatus -> Code m TaskStatus

type Rep TaskStatus Source #

Instance details

Defined in Djot.AST

type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

Instance details

Defined in Djot.AST

type Rep Align = D1 ('MetaData "Align" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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)))

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

Lift Align Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Align -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Align -> Code m Align

type Rep Align Source #

Instance details

Defined in Djot.AST

type Rep Align = D1 ('MetaData "Align" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

Instance details

Defined in Djot.AST

type Rep Cell = D1 ('MetaData "Cell" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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))))

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

Lift Cell Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Cell -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Cell -> Code m Cell

type Rep Cell Source #

Instance details

Defined in Djot.AST

type Rep Cell = D1 ('MetaData "Cell" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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
Instance details Defined in Djot.AST type Rep CellType = D1 ('MetaData "CellType" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" 'False) (C1 ('MetaCons "HeadCell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BodyCell" 'PrefixI 'False) (U1 :: 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

Lift CellType Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => CellType -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => CellType -> Code m CellType

type Rep CellType Source #

Instance details

Defined in Djot.AST

type Rep CellType = D1 ('MetaData "CellType" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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
Instance details Defined in Djot.AST type Rep Caption = D1 ('MetaData "Caption" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" 'True) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))

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

Lift Caption Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => Caption -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Caption -> Code m Caption

type Rep Caption Source #

Instance details

Defined in Djot.AST

type Rep Caption = D1 ('MetaData "Caption" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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
Instance details Defined in Djot.AST type Rep ListSpacing = D1 ('MetaData "ListSpacing" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" 'False) (C1 ('MetaCons "Tight" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Loose" 'PrefixI 'False) (U1 :: 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

Lift ListSpacing Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => ListSpacing -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => ListSpacing -> Code m ListSpacing

type Rep ListSpacing Source #

Instance details

Defined in Djot.AST

type Rep ListSpacing = D1 ('MetaData "ListSpacing" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

Instance details

Defined in Djot.AST

type Rep OrderedListAttributes = D1 ('MetaData "OrderedListAttributes" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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))))

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

Lift OrderedListAttributes Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => OrderedListAttributes -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => OrderedListAttributes -> Code m OrderedListAttributes

type Rep OrderedListAttributes Source #

Instance details

Defined in Djot.AST

type Rep OrderedListAttributes = D1 ('MetaData "OrderedListAttributes" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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
Instance details Defined in Djot.AST type Rep OrderedListDelim = D1 ('MetaData "OrderedListDelim" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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)))

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

Lift OrderedListDelim Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => OrderedListDelim -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => OrderedListDelim -> Code m OrderedListDelim

type Rep OrderedListDelim Source #

Instance details

Defined in Djot.AST

type Rep OrderedListDelim = D1 ('MetaData "OrderedListDelim" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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

Instance details

Defined in Djot.AST

type Rep OrderedListStyle = D1 ('MetaData "OrderedListStyle" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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))))

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

Lift OrderedListStyle Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => OrderedListStyle -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => OrderedListStyle -> Code m OrderedListStyle

type Rep OrderedListStyle Source #

Instance details

Defined in Djot.AST

type Rep OrderedListStyle = D1 ('MetaData "OrderedListStyle" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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
Instance details Defined in Djot.AST type Rep QuoteType = D1 ('MetaData "QuoteType" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" 'False) (C1 ('MetaCons "SingleQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuotes" 'PrefixI 'False) (U1 :: 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

Lift QuoteType Source #

Instance details

Defined in Djot.AST

Methods

lift :: Quote m => QuoteType -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => QuoteType -> Code m QuoteType

type Rep QuoteType Source #

Instance details

Defined in Djot.AST

type Rep QuoteType = D1 ('MetaData "QuoteType" "Djot.AST" "djot-0.1.2.2-5XzeBtFWqQDG0ednpHg4P4" '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 #