type Rep (Many a)
Instance details Defined in Djot.AST type Rep (Many a) = D1 ('MetaData "Many" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" 'True) (C1 ('MetaCons "Many" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMany") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq a))))

Methods

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

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

Show a => Show (Many a) Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Many a -> ShowS Source #

show :: Many a -> String Source #

showList :: [Many a] -> ShowS Source #

Eq a => Eq (Many a) Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord a => Ord (Many a) Source #

Instance details

Defined in Djot.AST

Methods

compare :: Many a -> Many a -> Ordering Source #

(<) :: Many a -> Many a -> Bool Source #

(<=) :: Many a -> Many a -> Bool Source #

(>) :: Many a -> Many a -> Bool Source #

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

max :: Many a -> Many a -> Many a Source #

min :: Many a -> Many a -> Many a Source #

type Rep (Many a) Source #

Instance details

Defined in Djot.AST

type Rep (Many a) = D1 ('MetaData "Many" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MathStyle Source #

toConstr :: MathStyle -> Constr Source #

dataTypeOf :: MathStyle -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MathStyle) Source #

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

gmapT :: (forall b. Data b => b -> b) -> MathStyle -> MathStyle Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MathStyle -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MathStyle -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> MathStyle -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MathStyle -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MathStyle -> m MathStyle Source #

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.4-5pfUtx1PXGc1l9r52St5qf" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: MathStyle -> Rep MathStyle x Source #

to :: Rep MathStyle x -> MathStyle Source #

Show MathStyle Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> MathStyle -> ShowS Source #

show :: MathStyle -> String Source #

showList :: [MathStyle] -> ShowS Source #

Eq MathStyle Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord MathStyle Source #

Instance details

Defined in Djot.AST

Methods

compare :: MathStyle -> MathStyle -> Ordering Source #

(<) :: MathStyle -> MathStyle -> Bool Source #

(<=) :: MathStyle -> MathStyle -> Bool Source #

(>) :: MathStyle -> MathStyle -> Bool Source #

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

max :: MathStyle -> MathStyle -> MathStyle Source #

min :: MathStyle -> MathStyle -> MathStyle Source #

Lift MathStyle Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep MathStyle Source #

Instance details

Defined in Djot.AST

type Rep MathStyle = D1 ('MetaData "MathStyle" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Format Source #

toConstr :: Format -> Constr Source #

dataTypeOf :: Format -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Format) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Format -> Format Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Format -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Format -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Format -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Format -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Format -> m Format Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Format -> m Format Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Format -> m Format Source #

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.4-5pfUtx1PXGc1l9r52St5qf" 'True) (C1 ('MetaCons "Format" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from :: Format -> Rep Format x Source #

to :: Rep Format x -> Format Source #

Show Format Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Format -> ShowS Source #

show :: Format -> String Source #

showList :: [Format] -> ShowS Source #

Eq Format Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Format Source #

Instance details

Defined in Djot.AST

Methods

compare :: Format -> Format -> Ordering Source #

(<) :: Format -> Format -> Bool Source #

(<=) :: Format -> Format -> Bool Source #

(>) :: Format -> Format -> Bool Source #

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

max :: Format -> Format -> Format Source #

min :: Format -> Format -> Format Source #

Lift Format Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Format Source #

Instance details

Defined in Djot.AST

type Rep Format = D1 ('MetaData "Format" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

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

Monoid Blocks Source #

Instance details

Defined in Djot.AST

Methods

mempty :: Blocks Source #

mappend :: Blocks -> Blocks -> Blocks Source #

mconcat :: [Blocks] -> Blocks Source #

Monoid Inlines Source #

Instance details

Defined in Djot.AST

Methods

mempty :: Inlines Source #

mappend :: Inlines -> Inlines -> Inlines Source #

mconcat :: [Inlines] -> Inlines Source #

Semigroup Blocks Source #

Instance details

Defined in Djot.AST

Methods

(<>) :: Blocks -> Blocks -> Blocks Source #

sconcat :: NonEmpty Blocks -> Blocks Source #

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

Semigroup Inlines Source #

Instance details

Defined in Djot.AST

Methods

(<>) :: Inlines -> Inlines -> Inlines Source #

sconcat :: NonEmpty Inlines -> Inlines Source #

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

Foldable Node Source #

Instance details

Defined in Djot.AST

Methods

fold :: Monoid m => Node m -> m Source #

foldMap :: Monoid m => (a -> m) -> Node a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Node a -> m Source #

foldr :: (a -> b -> b) -> b -> Node a -> b Source #

foldr' :: (a -> b -> b) -> b -> Node a -> b Source #

foldl :: (b -> a -> b) -> b -> Node a -> b Source #

foldl' :: (b -> a -> b) -> b -> Node a -> b Source #

foldr1 :: (a -> a -> a) -> Node a -> a Source #

foldl1 :: (a -> a -> a) -> Node a -> a Source #

toList :: Node a -> [a] Source #

null :: Node a -> Bool Source #

length :: Node a -> Int Source #

elem :: Eq a => a -> Node a -> Bool Source #

maximum :: Ord a => Node a -> a Source #

minimum :: Ord a => Node a -> a Source #

sum :: Num a => Node a -> a Source #

product :: Num a => Node a -> a Source #

Traversable Node Source #

Instance details

Defined in Djot.AST

Methods

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

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

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

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

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

Instance details

Defined in Djot.AST

Methods

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

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

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) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Node a) Source #

toConstr :: Node a -> Constr Source #

dataTypeOf :: Node a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Node a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Node a)) Source #

gmapT :: (forall b. Data b => b -> b) -> Node a -> Node a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Node a -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Node a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Node a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Node a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Node a -> m (Node a) Source #

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.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

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

Show a => Show (Node a) Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Node a -> ShowS Source #

show :: Node a -> String Source #

showList :: [Node a] -> ShowS Source #

Eq a => Eq (Node a) Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord a => Ord (Node a) Source #

Instance details

Defined in Djot.AST

Methods

compare :: Node a -> Node a -> Ordering Source #

(<) :: Node a -> Node a -> Bool Source #

(<=) :: Node a -> Node a -> Bool Source #

(>) :: Node a -> Node a -> Bool Source #

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

max :: Node a -> Node a -> Node a Source #

min :: Node a -> Node a -> Node a Source #

type Rep (Node a) Source #

Instance details

Defined in Djot.AST

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

mappend :: Pos -> Pos -> Pos Source #

mconcat :: [Pos] -> Pos Source #

Semigroup Pos Source #

Instance details

Defined in Djot.AST

Methods

(<>) :: Pos -> Pos -> Pos Source #

sconcat :: NonEmpty Pos -> Pos Source #

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

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 Source #

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

toConstr :: Pos -> Constr Source #

dataTypeOf :: Pos -> DataType Source #

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

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

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

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

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

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

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

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

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

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

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.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

to :: Rep Pos x -> Pos Source #

Show Pos Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Pos -> ShowS Source #

show :: Pos -> String Source #

showList :: [Pos] -> ShowS Source #

Eq Pos Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Pos Source #

Instance details

Defined in Djot.AST

Methods

compare :: Pos -> Pos -> Ordering Source #

(<) :: Pos -> Pos -> Bool Source #

(<=) :: Pos -> Pos -> Bool Source #

(>) :: Pos -> Pos -> Bool Source #

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

max :: Pos -> Pos -> Pos Source #

min :: Pos -> Pos -> Pos Source #

Lift Pos Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Pos Source #

Instance details

Defined in Djot.AST

type Rep Pos = D1 ('MetaData "Pos" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" 'False) (C1 ('MetaCons "NoPos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pos" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))))

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

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

data Block Source #

Instances

Instances details

Monoid Blocks Source #

Instance details

Defined in Djot.AST

Methods

mempty :: Blocks Source #

mappend :: Blocks -> Blocks -> Blocks Source #

mconcat :: [Blocks] -> Blocks Source #

Semigroup Blocks Source #

Instance details

Defined in Djot.AST

Methods

(<>) :: Blocks -> Blocks -> Blocks Source #

sconcat :: NonEmpty Blocks -> Blocks Source #

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

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 Source #

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

toConstr :: Block -> Constr Source #

dataTypeOf :: Block -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Generic Block Source #

Instance details

Defined in Djot.AST

Associated Types

type Rep Block

Instance details

Defined in Djot.AST

Methods

from :: Block -> Rep Block x Source #

to :: Rep Block x -> Block Source #

Show Block Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Block -> ShowS Source #

show :: Block -> String Source #

showList :: [Block] -> ShowS Source #

Eq Block Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Block Source #

Instance details

Defined in Djot.AST

Methods

compare :: Block -> Block -> Ordering Source #

(<) :: Block -> Block -> Bool Source #

(<=) :: Block -> Block -> Bool Source #

(>) :: Block -> Block -> Bool Source #

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

max :: Block -> Block -> Block Source #

min :: Block -> Block -> Block Source #

Lift Block Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Block Source #

Instance details

Defined in Djot.AST

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 Source #

mappend :: Doc -> Doc -> Doc Source #

mconcat :: [Doc] -> Doc Source #

Semigroup Doc Source #

Instance details

Defined in Djot.AST

Methods

(<>) :: Doc -> Doc -> Doc Source #

sconcat :: NonEmpty Doc -> Doc Source #

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

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 Source #

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

toConstr :: Doc -> Constr Source #

dataTypeOf :: Doc -> DataType Source #

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

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

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

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

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

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

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

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

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

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

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.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

to :: Rep Doc x -> Doc Source #

Show Doc Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Doc -> ShowS Source #

show :: Doc -> String Source #

showList :: [Doc] -> ShowS Source #

Eq Doc Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Doc Source #

Instance details

Defined in Djot.AST

Methods

compare :: Doc -> Doc -> Ordering Source #

(<) :: Doc -> Doc -> Bool Source #

(<=) :: Doc -> Doc -> Bool Source #

(>) :: Doc -> Doc -> Bool Source #

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

max :: Doc -> Doc -> Doc Source #

min :: Doc -> Doc -> Doc Source #

Lift Doc Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Doc Source #

Instance details

Defined in Djot.AST

type Rep Doc = D1 ('MetaData "Doc" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

mappend :: NoteMap -> NoteMap -> NoteMap Source #

mconcat :: [NoteMap] -> NoteMap Source #

Semigroup NoteMap Source #

Instance details

Defined in Djot.AST

Methods

(<>) :: NoteMap -> NoteMap -> NoteMap Source #

sconcat :: NonEmpty NoteMap -> NoteMap Source #

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

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 Source #

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

toConstr :: NoteMap -> Constr Source #

dataTypeOf :: NoteMap -> DataType Source #

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

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

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

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

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

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

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

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

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

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

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.4-5pfUtx1PXGc1l9r52St5qf" 'True) (C1 ('MetaCons "NoteMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNoteMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString Blocks))))

Methods

from :: NoteMap -> Rep NoteMap x Source #

to :: Rep NoteMap x -> NoteMap Source #

Show NoteMap Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> NoteMap -> ShowS Source #

show :: NoteMap -> String Source #

showList :: [NoteMap] -> ShowS Source #

Eq NoteMap Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord NoteMap Source #

Instance details

Defined in Djot.AST

Methods

compare :: NoteMap -> NoteMap -> Ordering Source #

(<) :: NoteMap -> NoteMap -> Bool Source #

(<=) :: NoteMap -> NoteMap -> Bool Source #

(>) :: NoteMap -> NoteMap -> Bool Source #

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

max :: NoteMap -> NoteMap -> NoteMap Source #

min :: NoteMap -> NoteMap -> NoteMap Source #

Lift NoteMap Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep NoteMap Source #

Instance details

Defined in Djot.AST

type Rep NoteMap = D1 ('MetaData "NoteMap" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

mappend :: ReferenceMap -> ReferenceMap -> ReferenceMap Source #

mconcat :: [ReferenceMap] -> ReferenceMap Source #

Semigroup ReferenceMap Source #

Instance details

Defined in Djot.AST

Methods

(<>) :: ReferenceMap -> ReferenceMap -> ReferenceMap Source #

sconcat :: NonEmpty ReferenceMap -> ReferenceMap Source #

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

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 Source #

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

toConstr :: ReferenceMap -> Constr Source #

dataTypeOf :: ReferenceMap -> DataType Source #

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

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

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

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

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

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

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

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

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

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

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.4-5pfUtx1PXGc1l9r52St5qf" 'True) (C1 ('MetaCons "ReferenceMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unReferenceMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ByteString (ByteString, Attr)))))

Methods

from :: ReferenceMap -> Rep ReferenceMap x Source #

to :: Rep ReferenceMap x -> ReferenceMap Source #

Show ReferenceMap Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> ReferenceMap -> ShowS Source #

show :: ReferenceMap -> String Source #

showList :: [ReferenceMap] -> ShowS Source #

Eq ReferenceMap Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord ReferenceMap Source #

Instance details

Defined in Djot.AST

Methods

compare :: ReferenceMap -> ReferenceMap -> Ordering Source #

(<) :: ReferenceMap -> ReferenceMap -> Bool Source #

(<=) :: ReferenceMap -> ReferenceMap -> Bool Source #

(>) :: ReferenceMap -> ReferenceMap -> Bool Source #

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

max :: ReferenceMap -> ReferenceMap -> ReferenceMap Source #

min :: ReferenceMap -> ReferenceMap -> ReferenceMap Source #

Lift ReferenceMap Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep ReferenceMap Source #

Instance details

Defined in Djot.AST

type Rep ReferenceMap = D1 ('MetaData "ReferenceMap" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

mappend :: Attr -> Attr -> Attr Source #

mconcat :: [Attr] -> Attr Source #

Semigroup Attr Source #

Instance details

Defined in Djot.AST

Methods

(<>) :: Attr -> Attr -> Attr Source #

sconcat :: NonEmpty Attr -> Attr Source #

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

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 Source #

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

toConstr :: Attr -> Constr Source #

dataTypeOf :: Attr -> DataType Source #

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

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

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

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

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

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

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

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

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

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

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.4-5pfUtx1PXGc1l9r52St5qf" 'True) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ByteString, ByteString)])))

Methods

from :: Attr -> Rep Attr x Source #

to :: Rep Attr x -> Attr Source #

Show Attr Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Attr -> ShowS Source #

show :: Attr -> String Source #

showList :: [Attr] -> ShowS Source #

Eq Attr Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Attr Source #

Instance details

Defined in Djot.AST

Methods

compare :: Attr -> Attr -> Ordering Source #

(<) :: Attr -> Attr -> Bool Source #

(<=) :: Attr -> Attr -> Bool Source #

(>) :: Attr -> Attr -> Bool Source #

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

max :: Attr -> Attr -> Attr Source #

min :: Attr -> Attr -> Attr Source #

Lift Attr Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Attr Source #

Instance details

Defined in Djot.AST

type Rep Attr = D1 ('MetaData "Attr" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Target Source #

toConstr :: Target -> Constr Source #

dataTypeOf :: Target -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Target) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Target -> Target Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Target -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Target -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Target -> m Target Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target Source #

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.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

to :: Rep Target x -> Target Source #

Show Target Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Target -> ShowS Source #

show :: Target -> String Source #

showList :: [Target] -> ShowS Source #

Eq Target Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Target Source #

Instance details

Defined in Djot.AST

Methods

compare :: Target -> Target -> Ordering Source #

(<) :: Target -> Target -> Bool Source #

(<=) :: Target -> Target -> Bool Source #

(>) :: Target -> Target -> Bool Source #

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

max :: Target -> Target -> Target Source #

min :: Target -> Target -> Target Source #

Lift Target Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Target Source #

Instance details

Defined in Djot.AST

type Rep Target = D1 ('MetaData "Target" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TaskStatus Source #

toConstr :: TaskStatus -> Constr Source #

dataTypeOf :: TaskStatus -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TaskStatus) Source #

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

gmapT :: (forall b. Data b => b -> b) -> TaskStatus -> TaskStatus Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TaskStatus -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TaskStatus -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> TaskStatus -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TaskStatus -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TaskStatus -> m TaskStatus Source #

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.4-5pfUtx1PXGc1l9r52St5qf" 'False) (C1 ('MetaCons "Complete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incomplete" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: TaskStatus -> Rep TaskStatus x Source #

to :: Rep TaskStatus x -> TaskStatus Source #

Show TaskStatus Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> TaskStatus -> ShowS Source #

show :: TaskStatus -> String Source #

showList :: [TaskStatus] -> ShowS Source #

Eq TaskStatus Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord TaskStatus Source #

Instance details

Defined in Djot.AST

Methods

compare :: TaskStatus -> TaskStatus -> Ordering Source #

(<) :: TaskStatus -> TaskStatus -> Bool Source #

(<=) :: TaskStatus -> TaskStatus -> Bool Source #

(>) :: TaskStatus -> TaskStatus -> Bool Source #

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

max :: TaskStatus -> TaskStatus -> TaskStatus Source #

min :: TaskStatus -> TaskStatus -> TaskStatus Source #

Lift TaskStatus Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep TaskStatus Source #

Instance details

Defined in Djot.AST

type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Align Source #

toConstr :: Align -> Constr Source #

dataTypeOf :: Align -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Align) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Align -> Align Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Align -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Align -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Align -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Align -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Align -> m Align Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Align -> m Align Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Align -> m Align Source #

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.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

to :: Rep Align x -> Align Source #

Show Align Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Align -> ShowS Source #

show :: Align -> String Source #

showList :: [Align] -> ShowS Source #

Eq Align Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Align Source #

Instance details

Defined in Djot.AST

Methods

compare :: Align -> Align -> Ordering Source #

(<) :: Align -> Align -> Bool Source #

(<=) :: Align -> Align -> Bool Source #

(>) :: Align -> Align -> Bool Source #

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

max :: Align -> Align -> Align Source #

min :: Align -> Align -> Align Source #

Lift Align Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Align Source #

Instance details

Defined in Djot.AST

type Rep Align = D1 ('MetaData "Align" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Cell Source #

toConstr :: Cell -> Constr Source #

dataTypeOf :: Cell -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Cell) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Cell -> Cell Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Cell -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Cell -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Cell -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Cell -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Cell -> m Cell Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Cell -> m Cell Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Cell -> m Cell Source #

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.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

to :: Rep Cell x -> Cell Source #

Show Cell Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Cell -> ShowS Source #

show :: Cell -> String Source #

showList :: [Cell] -> ShowS Source #

Eq Cell Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Cell Source #

Instance details

Defined in Djot.AST

Methods

compare :: Cell -> Cell -> Ordering Source #

(<) :: Cell -> Cell -> Bool Source #

(<=) :: Cell -> Cell -> Bool Source #

(>) :: Cell -> Cell -> Bool Source #

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

max :: Cell -> Cell -> Cell Source #

min :: Cell -> Cell -> Cell Source #

Lift Cell Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Cell Source #

Instance details

Defined in Djot.AST

type Rep Cell = D1 ('MetaData "Cell" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CellType Source #

toConstr :: CellType -> Constr Source #

dataTypeOf :: CellType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CellType) Source #

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

gmapT :: (forall b. Data b => b -> b) -> CellType -> CellType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CellType -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CellType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> CellType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CellType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CellType -> m CellType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CellType -> m CellType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CellType -> m CellType Source #

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.4-5pfUtx1PXGc1l9r52St5qf" 'False) (C1 ('MetaCons "HeadCell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BodyCell" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: CellType -> Rep CellType x Source #

to :: Rep CellType x -> CellType Source #

Show CellType Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> CellType -> ShowS Source #

show :: CellType -> String Source #

showList :: [CellType] -> ShowS Source #

Eq CellType Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord CellType Source #

Instance details

Defined in Djot.AST

Methods

compare :: CellType -> CellType -> Ordering Source #

(<) :: CellType -> CellType -> Bool Source #

(<=) :: CellType -> CellType -> Bool Source #

(>) :: CellType -> CellType -> Bool Source #

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

max :: CellType -> CellType -> CellType Source #

min :: CellType -> CellType -> CellType Source #

Lift CellType Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep CellType Source #

Instance details

Defined in Djot.AST

type Rep CellType = D1 ('MetaData "CellType" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Caption Source #

toConstr :: Caption -> Constr Source #

dataTypeOf :: Caption -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Caption) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Caption -> Caption Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Caption -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Caption -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Caption -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Caption -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Caption -> m Caption Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Caption -> m Caption Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Caption -> m Caption Source #

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.4-5pfUtx1PXGc1l9r52St5qf" 'True) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))

Methods

from :: Caption -> Rep Caption x Source #

to :: Rep Caption x -> Caption Source #

Show Caption Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Caption -> ShowS Source #

show :: Caption -> String Source #

showList :: [Caption] -> ShowS Source #

Eq Caption Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Caption Source #

Instance details

Defined in Djot.AST

Methods

compare :: Caption -> Caption -> Ordering Source #

(<) :: Caption -> Caption -> Bool Source #

(<=) :: Caption -> Caption -> Bool Source #

(>) :: Caption -> Caption -> Bool Source #

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

max :: Caption -> Caption -> Caption Source #

min :: Caption -> Caption -> Caption Source #

Lift Caption Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Caption Source #

Instance details

Defined in Djot.AST

type Rep Caption = D1 ('MetaData "Caption" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListSpacing Source #

toConstr :: ListSpacing -> Constr Source #

dataTypeOf :: ListSpacing -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListSpacing) Source #

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

gmapT :: (forall b. Data b => b -> b) -> ListSpacing -> ListSpacing Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListSpacing -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListSpacing -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> ListSpacing -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ListSpacing -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListSpacing -> m ListSpacing Source #

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.4-5pfUtx1PXGc1l9r52St5qf" 'False) (C1 ('MetaCons "Tight" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Loose" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ListSpacing -> Rep ListSpacing x Source #

to :: Rep ListSpacing x -> ListSpacing Source #

Show ListSpacing Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> ListSpacing -> ShowS Source #

show :: ListSpacing -> String Source #

showList :: [ListSpacing] -> ShowS Source #

Eq ListSpacing Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord ListSpacing Source #

Instance details

Defined in Djot.AST

Methods

compare :: ListSpacing -> ListSpacing -> Ordering Source #

(<) :: ListSpacing -> ListSpacing -> Bool Source #

(<=) :: ListSpacing -> ListSpacing -> Bool Source #

(>) :: ListSpacing -> ListSpacing -> Bool Source #

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

max :: ListSpacing -> ListSpacing -> ListSpacing Source #

min :: ListSpacing -> ListSpacing -> ListSpacing Source #

Lift ListSpacing Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep ListSpacing Source #

Instance details

Defined in Djot.AST

type Rep ListSpacing = D1 ('MetaData "ListSpacing" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListAttributes Source #

toConstr :: OrderedListAttributes -> Constr Source #

dataTypeOf :: OrderedListAttributes -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListAttributes) Source #

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

gmapT :: (forall b. Data b => b -> b) -> OrderedListAttributes -> OrderedListAttributes Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListAttributes -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListAttributes -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> OrderedListAttributes -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListAttributes -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListAttributes -> m OrderedListAttributes Source #

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.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

to :: Rep OrderedListAttributes x -> OrderedListAttributes Source #

Show OrderedListAttributes Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListAttributes -> ShowS Source #

show :: OrderedListAttributes -> String Source #

showList :: [OrderedListAttributes] -> ShowS Source #

Eq OrderedListAttributes Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord OrderedListAttributes Source #

Instance details

Defined in Djot.AST

Methods

compare :: OrderedListAttributes -> OrderedListAttributes -> Ordering Source #

(<) :: OrderedListAttributes -> OrderedListAttributes -> Bool Source #

(<=) :: OrderedListAttributes -> OrderedListAttributes -> Bool Source #

(>) :: OrderedListAttributes -> OrderedListAttributes -> Bool Source #

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

max :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes Source #

min :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes Source #

Lift OrderedListAttributes Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep OrderedListAttributes Source #

Instance details

Defined in Djot.AST

type Rep OrderedListAttributes = D1 ('MetaData "OrderedListAttributes" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListDelim Source #

toConstr :: OrderedListDelim -> Constr Source #

dataTypeOf :: OrderedListDelim -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListDelim) Source #

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

gmapT :: (forall b. Data b => b -> b) -> OrderedListDelim -> OrderedListDelim Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListDelim -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListDelim -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> OrderedListDelim -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListDelim -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListDelim -> m OrderedListDelim Source #

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.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

to :: Rep OrderedListDelim x -> OrderedListDelim Source #

Show OrderedListDelim Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListDelim -> ShowS Source #

show :: OrderedListDelim -> String Source #

showList :: [OrderedListDelim] -> ShowS Source #

Eq OrderedListDelim Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord OrderedListDelim Source #

Instance details

Defined in Djot.AST

Methods

compare :: OrderedListDelim -> OrderedListDelim -> Ordering Source #

(<) :: OrderedListDelim -> OrderedListDelim -> Bool Source #

(<=) :: OrderedListDelim -> OrderedListDelim -> Bool Source #

(>) :: OrderedListDelim -> OrderedListDelim -> Bool Source #

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

max :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim Source #

min :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim Source #

Lift OrderedListDelim Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep OrderedListDelim Source #

Instance details

Defined in Djot.AST

type Rep OrderedListDelim = D1 ('MetaData "OrderedListDelim" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderedListStyle Source #

toConstr :: OrderedListStyle -> Constr Source #

dataTypeOf :: OrderedListStyle -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderedListStyle) Source #

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

gmapT :: (forall b. Data b => b -> b) -> OrderedListStyle -> OrderedListStyle Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListStyle -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderedListStyle -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> OrderedListStyle -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderedListStyle -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderedListStyle -> m OrderedListStyle Source #

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.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

to :: Rep OrderedListStyle x -> OrderedListStyle Source #

Show OrderedListStyle Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListStyle -> ShowS Source #

show :: OrderedListStyle -> String Source #

showList :: [OrderedListStyle] -> ShowS Source #

Eq OrderedListStyle Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord OrderedListStyle Source #

Instance details

Defined in Djot.AST

Methods

compare :: OrderedListStyle -> OrderedListStyle -> Ordering Source #

(<) :: OrderedListStyle -> OrderedListStyle -> Bool Source #

(<=) :: OrderedListStyle -> OrderedListStyle -> Bool Source #

(>) :: OrderedListStyle -> OrderedListStyle -> Bool Source #

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

max :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle Source #

min :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle Source #

Lift OrderedListStyle Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep OrderedListStyle Source #

Instance details

Defined in Djot.AST

type Rep OrderedListStyle = D1 ('MetaData "OrderedListStyle" "Djot.AST" "djot-0.1.2.4-5pfUtx1PXGc1l9r52St5qf" '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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QuoteType Source #

toConstr :: QuoteType -> Constr Source #

dataTypeOf :: QuoteType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c QuoteType) Source #

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

gmapT :: (forall b. Data b => b -> b) -> QuoteType -> QuoteType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QuoteType -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QuoteType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> QuoteType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> QuoteType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QuoteType -> m QuoteType Source #

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.4-5pfUtx1PXGc1l9r52St5qf" 'False) (C1 ('MetaCons "SingleQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuotes" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: QuoteType -> Rep QuoteType x Source #

to :: Rep QuoteType x -> QuoteType Source #

Show QuoteType Source #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> QuoteType -> ShowS Source #

show :: QuoteType -> String Source #

showList :: [QuoteType] -> ShowS Source #

Eq QuoteType Source #

Instance details

Defined in Djot.AST

Methods

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

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

Ord QuoteType Source #

Instance details

Defined in Djot.AST

Methods

compare :: QuoteType -> QuoteType -> Ordering Source #

(<) :: QuoteType -> QuoteType -> Bool Source #

(<=) :: QuoteType -> QuoteType -> Bool Source #

(>) :: QuoteType -> QuoteType -> Bool Source #

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

max :: QuoteType -> QuoteType -> QuoteType Source #

min :: QuoteType -> QuoteType -> QuoteType Source #

Lift QuoteType Source #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep QuoteType Source #

Instance details

Defined in Djot.AST

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

delete :: Inlines -> Inlines Source #

displayMath :: ByteString -> Inlines Source #

insert :: Inlines -> Inlines Source #

emailLink :: ByteString -> Inlines Source #

emph :: Inlines -> Inlines Source #

footnoteReference :: ByteString -> Inlines Source #

hardBreak :: Inlines Source #

highlight :: Inlines -> Inlines Source #

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

inlineMath :: ByteString -> Inlines Source #

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

nonBreakingSpace :: Inlines Source #

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

softBreak :: Inlines Source #

span_ :: Inlines -> Inlines Source #

str :: ByteString -> Inlines Source #

strong :: Inlines -> Inlines Source #

subscript :: Inlines -> Inlines Source #

superscript :: Inlines -> Inlines Source #

singleQuoted :: Inlines -> Inlines Source #

doubleQuoted :: Inlines -> Inlines Source #

symbol :: ByteString -> Inlines Source #

verbatim :: ByteString -> Inlines Source #

urlLink :: ByteString -> Inlines Source #

para :: Inlines -> Blocks Source #

section :: Blocks -> Blocks Source #

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

blockQuote :: Blocks -> Blocks Source #

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

div :: Blocks -> Blocks Source #

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

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

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

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

thematicBreak :: Blocks Source #

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

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

inlinesToByteString :: Inlines -> ByteString Source #

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

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