Djot.AST

Documentation

data Inline

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

Data Inline

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Inline -> c Inline

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inline

toConstr :: Inline -> Constr

dataTypeOf :: Inline -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inline)

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

gmapT :: (forall b. Data b => b -> b) -> Inline -> Inline

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r

gmapQ :: (forall d. Data d => d -> u) -> Inline -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Inline -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inline -> m Inline

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline

Monoid Inlines

Defined in Djot.AST

Methods

mempty :: Inlines

mappend :: Inlines -> Inlines -> Inlines

mconcat :: [Inlines] -> Inlines

Semigroup Inlines

Defined in Djot.AST

Methods

(<>) :: Inlines -> Inlines -> Inlines

sconcat :: NonEmpty Inlines -> Inlines

stimes :: Integral b => b -> Inlines -> Inlines

Generic Inline

Defined in Djot.AST

Associated Types

type Rep Inline :: Type -> Type

Methods

from :: Inline -> Rep Inline x

to :: Rep Inline x -> Inline

Show Inline

Defined in Djot.AST

Methods

showsPrec :: Int -> Inline -> ShowS

show :: Inline -> String

showList :: [Inline] -> ShowS

Eq Inline

Defined in Djot.AST

Methods

(==) :: Inline -> Inline -> Bool

(/=) :: Inline -> Inline -> Bool

Ord Inline

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

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

Defined in Djot.AST

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

Constructors

Many

Fields

• unMany :: Seq a

Instances

Foldable Many

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

Defined in Djot.AST

Methods

traverse :: Applicative f => (a -> f b) -> Many a -> f (Many b)

sequenceA :: Applicative f => Many (f a) -> f (Many a)

mapM :: Monad m => (a -> m b) -> Many a -> m (Many b)

sequence :: Monad m => Many (m a) -> m (Many a)

Functor Many

Defined in Djot.AST

Methods

fmap :: (a -> b) -> Many a -> Many b

(<$) :: a -> Many b -> Many a

Monoid Blocks

Defined in Djot.AST

Methods

mempty :: Blocks

mappend :: Blocks -> Blocks -> Blocks

mconcat :: [Blocks] -> Blocks

Monoid Inlines

Defined in Djot.AST

Methods

mempty :: Inlines

mappend :: Inlines -> Inlines -> Inlines

mconcat :: [Inlines] -> Inlines

Semigroup Blocks

Defined in Djot.AST

Methods

(<>) :: Blocks -> Blocks -> Blocks

sconcat :: NonEmpty Blocks -> Blocks

stimes :: Integral b => b -> Blocks -> Blocks

Semigroup Inlines

Defined in Djot.AST

Methods

(<>) :: Inlines -> Inlines -> Inlines

sconcat :: NonEmpty Inlines -> Inlines

stimes :: Integral b => b -> Inlines -> Inlines

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

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)

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)

Defined in Djot.AST

Associated Types

type Rep (Many a) :: Type -> Type

Methods

from :: Many a -> Rep (Many a) x

to :: Rep (Many a) x -> Many a

Show a => Show (Many a)

Defined in Djot.AST

Methods

showsPrec :: Int -> Many a -> ShowS

show :: Many a -> String

showList :: [Many a] -> ShowS

Eq a => Eq (Many a)

Defined in Djot.AST

Methods

(==) :: Many a -> Many a -> Bool

(/=) :: Many a -> Many a -> Bool

Ord a => Ord (Many a)

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)

Defined in Djot.AST

type Rep (Many a) = D1 ('MetaData "Many" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" 'True) (C1 ('MetaCons "Many" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMany") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq a))))

type Inlines = Many (Node Inline)

data MathStyle

Constructors

DisplayMath

InlineMath

Instances

Data MathStyle

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

Defined in Djot.AST

Associated Types

type Rep MathStyle :: Type -> Type

Methods

from :: MathStyle -> Rep MathStyle x

to :: Rep MathStyle x -> MathStyle

Show MathStyle

Defined in Djot.AST

Methods

showsPrec :: Int -> MathStyle -> ShowS

show :: MathStyle -> String

showList :: [MathStyle] -> ShowS

Eq MathStyle

Defined in Djot.AST

Methods

(==) :: MathStyle -> MathStyle -> Bool

(/=) :: MathStyle -> MathStyle -> Bool

Ord MathStyle

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

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

Defined in Djot.AST

type Rep MathStyle = D1 ('MetaData "MathStyle" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Format

Constructors

Format

Fields

• unFormat :: ByteString

Instances

Data Format

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

Defined in Djot.AST

Associated Types

type Rep Format :: Type -> Type

Methods

from :: Format -> Rep Format x

to :: Rep Format x -> Format

Show Format

Defined in Djot.AST

Methods

showsPrec :: Int -> Format -> ShowS

show :: Format -> String

showList :: [Format] -> ShowS

Eq Format

Defined in Djot.AST

Methods

(==) :: Format -> Format -> Bool

(/=) :: Format -> Format -> Bool

Ord Format

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

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

Defined in Djot.AST

type Rep Format = D1 ('MetaData "Format" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" 'True) (C1 ('MetaCons "Format" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data Node a

Constructors

Node Pos Attr a

Instances

Foldable Node

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

Defined in Djot.AST

Methods

traverse :: Applicative f => (a -> f b) -> Node a -> f (Node b)

sequenceA :: Applicative f => Node (f a) -> f (Node a)

mapM :: Monad m => (a -> m b) -> Node a -> m (Node b)

sequence :: Monad m => Node (m a) -> m (Node a)

Functor Node

Defined in Djot.AST

Methods

fmap :: (a -> b) -> Node a -> Node b

(<$) :: a -> Node b -> Node a

Monoid Blocks

Defined in Djot.AST

Methods

mempty :: Blocks

mappend :: Blocks -> Blocks -> Blocks

mconcat :: [Blocks] -> Blocks

Monoid Inlines

Defined in Djot.AST

Methods

mempty :: Inlines

mappend :: Inlines -> Inlines -> Inlines

mconcat :: [Inlines] -> Inlines

Semigroup Blocks

Defined in Djot.AST

Methods

(<>) :: Blocks -> Blocks -> Blocks

sconcat :: NonEmpty Blocks -> Blocks

stimes :: Integral b => b -> Blocks -> Blocks

Semigroup Inlines

Defined in Djot.AST

Methods

(<>) :: Inlines -> Inlines -> Inlines

sconcat :: NonEmpty Inlines -> Inlines

stimes :: Integral b => b -> Inlines -> Inlines

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

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)

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)

Defined in Djot.AST

Associated Types

type Rep (Node a) :: Type -> Type

Methods

from :: Node a -> Rep (Node a) x

to :: Rep (Node a) x -> Node a

Show a => Show (Node a)

Defined in Djot.AST

Methods

showsPrec :: Int -> Node a -> ShowS

show :: Node a -> String

showList :: [Node a] -> ShowS

Eq a => Eq (Node a)

Defined in Djot.AST

Methods

(==) :: Node a -> Node a -> Bool

(/=) :: Node a -> Node a -> Bool

Ord a => Ord (Node a)

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)

Defined in Djot.AST

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

Constructors

NoPos

Pos Int Int Int Int

Instances

Data Pos

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pos -> c Pos

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos

toConstr :: Pos -> Constr

dataTypeOf :: Pos -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pos)

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

gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r

gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos

Monoid Pos

Defined in Djot.AST

Methods

mempty :: Pos

mappend :: Pos -> Pos -> Pos

mconcat :: [Pos] -> Pos

Semigroup Pos

Defined in Djot.AST

Methods

(<>) :: Pos -> Pos -> Pos

sconcat :: NonEmpty Pos -> Pos

stimes :: Integral b => b -> Pos -> Pos

Generic Pos

Defined in Djot.AST

Associated Types

type Rep Pos :: Type -> Type

Methods

from :: Pos -> Rep Pos x

to :: Rep Pos x -> Pos

Show Pos

Defined in Djot.AST

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

Eq Pos

Defined in Djot.AST

Methods

(==) :: Pos -> Pos -> Bool

(/=) :: Pos -> Pos -> Bool

Ord Pos

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

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

Defined in Djot.AST

type Rep Pos = D1 ('MetaData "Pos" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" '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

addPos :: Pos -> Node a -> Node a

data Block

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

Data Block

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Block -> c Block

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block

toConstr :: Block -> Constr

dataTypeOf :: Block -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Block)

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

gmapT :: (forall b. Data b => b -> b) -> Block -> Block

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r

gmapQ :: (forall d. Data d => d -> u) -> Block -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block

Monoid Blocks

Defined in Djot.AST

Methods

mempty :: Blocks

mappend :: Blocks -> Blocks -> Blocks

mconcat :: [Blocks] -> Blocks

Semigroup Blocks

Defined in Djot.AST

Methods

(<>) :: Blocks -> Blocks -> Blocks

sconcat :: NonEmpty Blocks -> Blocks

stimes :: Integral b => b -> Blocks -> Blocks

Generic Block

Defined in Djot.AST

Associated Types

type Rep Block :: Type -> Type

Methods

from :: Block -> Rep Block x

to :: Rep Block x -> Block

Show Block

Defined in Djot.AST

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

Eq Block

Defined in Djot.AST

Methods

(==) :: Block -> Block -> Bool

(/=) :: Block -> Block -> Bool

Ord Block

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

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

Defined in Djot.AST

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

data Doc

Constructors

Doc

Fields

• docBlocks :: Blocks
• docFootnotes :: NoteMap
• docReferences :: ReferenceMap
• docAutoReferences :: ReferenceMap
• docAutoIdentifiers :: Set ByteString

Instances

Data Doc

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Doc -> c Doc

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Doc

toConstr :: Doc -> Constr

dataTypeOf :: Doc -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Doc)

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

gmapT :: (forall b. Data b => b -> b) -> Doc -> Doc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Doc -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Doc -> r

gmapQ :: (forall d. Data d => d -> u) -> Doc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Doc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Doc -> m Doc

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Doc -> m Doc

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Doc -> m Doc

Monoid Doc

Defined in Djot.AST

Methods

mempty :: Doc

mappend :: Doc -> Doc -> Doc

mconcat :: [Doc] -> Doc

Semigroup Doc

Defined in Djot.AST

Methods

(<>) :: Doc -> Doc -> Doc

sconcat :: NonEmpty Doc -> Doc

stimes :: Integral b => b -> Doc -> Doc

Generic Doc

Defined in Djot.AST

Associated Types

type Rep Doc :: Type -> Type

Methods

from :: Doc -> Rep Doc x

to :: Rep Doc x -> Doc

Show Doc

Defined in Djot.AST

Methods

showsPrec :: Int -> Doc -> ShowS

show :: Doc -> String

showList :: [Doc] -> ShowS

Eq Doc

Defined in Djot.AST

Methods

(==) :: Doc -> Doc -> Bool

(/=) :: Doc -> Doc -> Bool

Ord Doc

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

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

Defined in Djot.AST

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

A map from labels to contents.

Constructors

NoteMap

Fields

• unNoteMap :: Map ByteString Blocks

Instances

Data NoteMap

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NoteMap -> c NoteMap

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NoteMap

toConstr :: NoteMap -> Constr

dataTypeOf :: NoteMap -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NoteMap)

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

gmapT :: (forall b. Data b => b -> b) -> NoteMap -> NoteMap

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NoteMap -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NoteMap -> r

gmapQ :: (forall d. Data d => d -> u) -> NoteMap -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NoteMap -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NoteMap -> m NoteMap

Monoid NoteMap

Defined in Djot.AST

Methods

mempty :: NoteMap

mappend :: NoteMap -> NoteMap -> NoteMap

mconcat :: [NoteMap] -> NoteMap

Semigroup NoteMap

Defined in Djot.AST

Methods

(<>) :: NoteMap -> NoteMap -> NoteMap

sconcat :: NonEmpty NoteMap -> NoteMap

stimes :: Integral b => b -> NoteMap -> NoteMap

Generic NoteMap

Defined in Djot.AST

Associated Types

type Rep NoteMap :: Type -> Type

Methods

from :: NoteMap -> Rep NoteMap x

to :: Rep NoteMap x -> NoteMap

Show NoteMap

Defined in Djot.AST

Methods

showsPrec :: Int -> NoteMap -> ShowS

show :: NoteMap -> String

showList :: [NoteMap] -> ShowS

Eq NoteMap

Defined in Djot.AST

Methods

(==) :: NoteMap -> NoteMap -> Bool

(/=) :: NoteMap -> NoteMap -> Bool

Ord NoteMap

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

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

Defined in Djot.AST

type Rep NoteMap = D1 ('MetaData "NoteMap" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" 'True) (C1 ('MetaCons "NoteMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNoteMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString Blocks))))

insertNote :: ByteString -> Blocks -> NoteMap -> NoteMap

lookupNote :: ByteString -> NoteMap -> Maybe Blocks

newtype ReferenceMap

Constructors

ReferenceMap

Fields

• unReferenceMap :: Map ByteString (ByteString, Attr)

Instances

Data ReferenceMap

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ReferenceMap -> c ReferenceMap

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ReferenceMap

toConstr :: ReferenceMap -> Constr

dataTypeOf :: ReferenceMap -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ReferenceMap)

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

gmapT :: (forall b. Data b => b -> b) -> ReferenceMap -> ReferenceMap

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ReferenceMap -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ReferenceMap -> r

gmapQ :: (forall d. Data d => d -> u) -> ReferenceMap -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ReferenceMap -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ReferenceMap -> m ReferenceMap

Monoid ReferenceMap

Defined in Djot.AST

Methods

mempty :: ReferenceMap

mappend :: ReferenceMap -> ReferenceMap -> ReferenceMap

mconcat :: [ReferenceMap] -> ReferenceMap

Semigroup ReferenceMap

Defined in Djot.AST

Methods

(<>) :: ReferenceMap -> ReferenceMap -> ReferenceMap

sconcat :: NonEmpty ReferenceMap -> ReferenceMap

stimes :: Integral b => b -> ReferenceMap -> ReferenceMap

Generic ReferenceMap

Defined in Djot.AST

Associated Types

type Rep ReferenceMap :: Type -> Type

Methods

from :: ReferenceMap -> Rep ReferenceMap x

to :: Rep ReferenceMap x -> ReferenceMap

Show ReferenceMap

Defined in Djot.AST

Methods

showsPrec :: Int -> ReferenceMap -> ShowS

show :: ReferenceMap -> String

showList :: [ReferenceMap] -> ShowS

Eq ReferenceMap

Defined in Djot.AST

Methods

(==) :: ReferenceMap -> ReferenceMap -> Bool

(/=) :: ReferenceMap -> ReferenceMap -> Bool

Ord ReferenceMap

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

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

Defined in Djot.AST

type Rep ReferenceMap = D1 ('MetaData "ReferenceMap" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" 'True) (C1 ('MetaCons "ReferenceMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unReferenceMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString (ByteString, Attr)))))

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

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

normalizeLabel :: ByteString -> ByteString

newtype Attr

Constructors

Attr [(ByteString, ByteString)]

Instances

Data Attr

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attr -> c Attr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr

toConstr :: Attr -> Constr

dataTypeOf :: Attr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr)

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

gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r

gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr

Monoid Attr

Defined in Djot.AST

Methods

mempty :: Attr

mappend :: Attr -> Attr -> Attr

mconcat :: [Attr] -> Attr

Semigroup Attr

Defined in Djot.AST

Methods

(<>) :: Attr -> Attr -> Attr

sconcat :: NonEmpty Attr -> Attr

stimes :: Integral b => b -> Attr -> Attr

Generic Attr

Defined in Djot.AST

Associated Types

type Rep Attr :: Type -> Type

Methods

from :: Attr -> Rep Attr x

to :: Rep Attr x -> Attr

Show Attr

Defined in Djot.AST

Methods

showsPrec :: Int -> Attr -> ShowS

show :: Attr -> String

showList :: [Attr] -> ShowS

Eq Attr

Defined in Djot.AST

Methods

(==) :: Attr -> Attr -> Bool

(/=) :: Attr -> Attr -> Bool

Ord Attr

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

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

Defined in Djot.AST

type Rep Attr = D1 ('MetaData "Attr" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" 'True) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ByteString, ByteString)])))

data Target

Constructors

Direct ByteString

Reference ByteString

Instances

Data Target

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

Defined in Djot.AST

Associated Types

type Rep Target :: Type -> Type

Methods

from :: Target -> Rep Target x

to :: Rep Target x -> Target

Show Target

Defined in Djot.AST

Methods

showsPrec :: Int -> Target -> ShowS

show :: Target -> String

showList :: [Target] -> ShowS

Eq Target

Defined in Djot.AST

Methods

(==) :: Target -> Target -> Bool

(/=) :: Target -> Target -> Bool

Ord Target

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

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

Defined in Djot.AST

type Rep Target = D1 ('MetaData "Target" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" '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

Constructors

Complete

Incomplete

Instances

Data TaskStatus

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

Defined in Djot.AST

Associated Types

type Rep TaskStatus :: Type -> Type

Methods

from :: TaskStatus -> Rep TaskStatus x

to :: Rep TaskStatus x -> TaskStatus

Show TaskStatus

Defined in Djot.AST

Methods

showsPrec :: Int -> TaskStatus -> ShowS

show :: TaskStatus -> String

showList :: [TaskStatus] -> ShowS

Eq TaskStatus

Defined in Djot.AST

Methods

(==) :: TaskStatus -> TaskStatus -> Bool

(/=) :: TaskStatus -> TaskStatus -> Bool

Ord TaskStatus

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

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

Defined in Djot.AST

type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" 'False) (C1 ('MetaCons "Complete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incomplete" 'PrefixI 'False) (U1 :: Type -> Type))

data Align

Constructors

AlignLeft

AlignRight

AlignCenter

AlignDefault

Instances

Data Align

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

Defined in Djot.AST

Associated Types

type Rep Align :: Type -> Type

Methods

from :: Align -> Rep Align x

to :: Rep Align x -> Align

Show Align

Defined in Djot.AST

Methods

showsPrec :: Int -> Align -> ShowS

show :: Align -> String

showList :: [Align] -> ShowS

Eq Align

Defined in Djot.AST

Methods

(==) :: Align -> Align -> Bool

(/=) :: Align -> Align -> Bool

Ord Align

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

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

Defined in Djot.AST

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

Constructors

Cell CellType Align Inlines

Instances

Data Cell

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

Defined in Djot.AST

Associated Types

type Rep Cell :: Type -> Type

Methods

from :: Cell -> Rep Cell x

to :: Rep Cell x -> Cell

Show Cell

Defined in Djot.AST

Methods

showsPrec :: Int -> Cell -> ShowS

show :: Cell -> String

showList :: [Cell] -> ShowS

Eq Cell

Defined in Djot.AST

Methods

(==) :: Cell -> Cell -> Bool

(/=) :: Cell -> Cell -> Bool

Ord Cell

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

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

Defined in Djot.AST

type Rep Cell = D1 ('MetaData "Cell" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" '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

Constructors

HeadCell

BodyCell

Instances

Data CellType

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

Defined in Djot.AST

Associated Types

type Rep CellType :: Type -> Type

Methods

from :: CellType -> Rep CellType x

to :: Rep CellType x -> CellType

Show CellType

Defined in Djot.AST

Methods

showsPrec :: Int -> CellType -> ShowS

show :: CellType -> String

showList :: [CellType] -> ShowS

Eq CellType

Defined in Djot.AST

Methods

(==) :: CellType -> CellType -> Bool

(/=) :: CellType -> CellType -> Bool

Ord CellType

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

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

Defined in Djot.AST

type Rep CellType = D1 ('MetaData "CellType" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" 'False) (C1 ('MetaCons "HeadCell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BodyCell" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Caption

Constructors

Caption Blocks

Instances

Data Caption

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

Defined in Djot.AST

Associated Types

type Rep Caption :: Type -> Type

Methods

from :: Caption -> Rep Caption x

to :: Rep Caption x -> Caption

Show Caption

Defined in Djot.AST

Methods

showsPrec :: Int -> Caption -> ShowS

show :: Caption -> String

showList :: [Caption] -> ShowS

Eq Caption

Defined in Djot.AST

Methods

(==) :: Caption -> Caption -> Bool

(/=) :: Caption -> Caption -> Bool

Ord Caption

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

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

Defined in Djot.AST

type Rep Caption = D1 ('MetaData "Caption" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" 'True) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))

data ListSpacing

Constructors

Tight

Loose

Instances

Data ListSpacing

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

Defined in Djot.AST

Associated Types

type Rep ListSpacing :: Type -> Type

Methods

from :: ListSpacing -> Rep ListSpacing x

to :: Rep ListSpacing x -> ListSpacing

Show ListSpacing

Defined in Djot.AST

Methods

showsPrec :: Int -> ListSpacing -> ShowS

show :: ListSpacing -> String

showList :: [ListSpacing] -> ShowS

Eq ListSpacing

Defined in Djot.AST

Methods

(==) :: ListSpacing -> ListSpacing -> Bool

(/=) :: ListSpacing -> ListSpacing -> Bool

Ord ListSpacing

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

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

Defined in Djot.AST

type Rep ListSpacing = D1 ('MetaData "ListSpacing" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" 'False) (C1 ('MetaCons "Tight" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Loose" 'PrefixI 'False) (U1 :: Type -> Type))

data OrderedListAttributes

Constructors

OrderedListAttributes

Fields

• orderedListStyle :: OrderedListStyle
• orderedListDelim :: OrderedListDelim
• orderedListStart :: Int

Instances

Data OrderedListAttributes

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

Defined in Djot.AST

Associated Types

type Rep OrderedListAttributes :: Type -> Type

Methods

from :: OrderedListAttributes -> Rep OrderedListAttributes x

to :: Rep OrderedListAttributes x -> OrderedListAttributes

Show OrderedListAttributes

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListAttributes -> ShowS

show :: OrderedListAttributes -> String

showList :: [OrderedListAttributes] -> ShowS

Eq OrderedListAttributes

Defined in Djot.AST

Methods

(==) :: OrderedListAttributes -> OrderedListAttributes -> Bool

(/=) :: OrderedListAttributes -> OrderedListAttributes -> Bool

Ord OrderedListAttributes

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

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

Defined in Djot.AST

type Rep OrderedListAttributes = D1 ('MetaData "OrderedListAttributes" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" '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

Constructors

RightPeriod

RightParen

LeftRightParen

Instances

Data OrderedListDelim

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

Defined in Djot.AST

Associated Types

type Rep OrderedListDelim :: Type -> Type

Methods

from :: OrderedListDelim -> Rep OrderedListDelim x

to :: Rep OrderedListDelim x -> OrderedListDelim

Show OrderedListDelim

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListDelim -> ShowS

show :: OrderedListDelim -> String

showList :: [OrderedListDelim] -> ShowS

Eq OrderedListDelim

Defined in Djot.AST

Methods

(==) :: OrderedListDelim -> OrderedListDelim -> Bool

(/=) :: OrderedListDelim -> OrderedListDelim -> Bool

Ord OrderedListDelim

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

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

Defined in Djot.AST

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

Constructors

Decimal

LetterUpper

LetterLower

RomanUpper

RomanLower

Instances

Data OrderedListStyle

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

Defined in Djot.AST

Associated Types

type Rep OrderedListStyle :: Type -> Type

Methods

from :: OrderedListStyle -> Rep OrderedListStyle x

to :: Rep OrderedListStyle x -> OrderedListStyle

Show OrderedListStyle

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListStyle -> ShowS

show :: OrderedListStyle -> String

showList :: [OrderedListStyle] -> ShowS

Eq OrderedListStyle

Defined in Djot.AST

Methods

(==) :: OrderedListStyle -> OrderedListStyle -> Bool

(/=) :: OrderedListStyle -> OrderedListStyle -> Bool

Ord OrderedListStyle

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

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

Defined in Djot.AST

type Rep OrderedListStyle = D1 ('MetaData "OrderedListStyle" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" '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

Constructors

SingleQuotes

DoubleQuotes

Instances

Data QuoteType

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

Defined in Djot.AST

Associated Types

type Rep QuoteType :: Type -> Type

Methods

from :: QuoteType -> Rep QuoteType x

to :: Rep QuoteType x -> QuoteType

Show QuoteType

Defined in Djot.AST

Methods

showsPrec :: Int -> QuoteType -> ShowS

show :: QuoteType -> String

showList :: [QuoteType] -> ShowS

Eq QuoteType

Defined in Djot.AST

Methods

(==) :: QuoteType -> QuoteType -> Bool

(/=) :: QuoteType -> QuoteType -> Bool

Ord QuoteType

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

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

Defined in Djot.AST

type Rep QuoteType = D1 ('MetaData "QuoteType" "Djot.AST" "djot-0.1.2.1-Dmq5NoLgo0Q6oNhCfZKLfS" 'False) (C1 ('MetaCons "SingleQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuotes" 'PrefixI 'False) (U1 :: Type -> Type))

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