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

Methods

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

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

Show a => Show (Many a) #

Instance details

Defined in Djot.AST

Methods

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

show :: Many a -> String #

showList :: [Many a] -> ShowS #

Eq a => Eq (Many a) #

Instance details

Defined in Djot.AST

Methods

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

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

Ord a => Ord (Many a) #

Instance details

Defined in Djot.AST

Methods

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

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

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

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

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

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

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

type Rep (Many a) #

Instance details

Defined in Djot.AST

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

Instances details

Data MathStyle #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: MathStyle -> Constr #

dataTypeOf :: MathStyle -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic MathStyle #

Instance details

Defined in Djot.AST

Associated Types

type Rep MathStyle
Instance details Defined in Djot.AST type Rep MathStyle = D1 ('MetaData "MathStyle" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) (C1 ('MetaCons "DisplayMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InlineMath" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: MathStyle -> Rep MathStyle x #

to :: Rep MathStyle x -> MathStyle #

Show MathStyle #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> MathStyle -> ShowS #

show :: MathStyle -> String #

showList :: [MathStyle] -> ShowS #

Eq MathStyle #

Instance details

Defined in Djot.AST

Methods

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

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

Ord MathStyle #

Instance details

Defined in Djot.AST

Methods

compare :: MathStyle -> MathStyle -> Ordering #

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

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

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

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

max :: MathStyle -> MathStyle -> MathStyle #

min :: MathStyle -> MathStyle -> MathStyle #

Lift MathStyle #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep MathStyle #

Instance details

Defined in Djot.AST

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

Instances details

Data Format #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: Format -> Constr #

dataTypeOf :: Format -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Format #

Instance details

Defined in Djot.AST

Associated Types

type Rep Format
Instance details Defined in Djot.AST type Rep Format = D1 ('MetaData "Format" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'True) (C1 ('MetaCons "Format" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from :: Format -> Rep Format x #

to :: Rep Format x -> Format #

Show Format #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Format -> ShowS #

show :: Format -> String #

showList :: [Format] -> ShowS #

Eq Format #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Format #

Instance details

Defined in Djot.AST

Methods

compare :: Format -> Format -> Ordering #

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

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

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

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

max :: Format -> Format -> Format #

min :: Format -> Format -> Format #

Lift Format #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Format #

Instance details

Defined in Djot.AST

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

data Node a #

Constructors

Node Pos Attr a

Instances

Instances details

Functor Node #

Instance details

Defined in Djot.AST

Methods

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

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

Monoid Blocks #

Instance details

Defined in Djot.AST

Methods

mempty :: Blocks #

mappend :: Blocks -> Blocks -> Blocks #

mconcat :: [Blocks] -> Blocks #

Monoid Inlines #

Instance details

Defined in Djot.AST

Methods

mempty :: Inlines #

mappend :: Inlines -> Inlines -> Inlines #

mconcat :: [Inlines] -> Inlines #

Semigroup Blocks #

Instance details

Defined in Djot.AST

Methods

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

sconcat :: NonEmpty Blocks -> Blocks #

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

Semigroup Inlines #

Instance details

Defined in Djot.AST

Methods

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

sconcat :: NonEmpty Inlines -> Inlines #

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

Foldable Node #

Instance details

Defined in Djot.AST

Methods

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

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

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

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

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

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

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

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

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

toList :: Node a -> [a] #

null :: Node a -> Bool #

length :: Node a -> Int #

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

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

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

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

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

Traversable Node #

Instance details

Defined in Djot.AST

Methods

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

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

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

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

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

Instance details

Defined in Djot.AST

Methods

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

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

Data a => Data (Node a) #

Instance details

Defined in Djot.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Node a -> c (Node a) #

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

toConstr :: Node a -> Constr #

dataTypeOf :: Node a -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic (Node a) #

Instance details

Defined in Djot.AST

Associated Types

type Rep (Node a)

Instance details

Defined in Djot.AST

type Rep (Node a) = D1 ('MetaData "Node" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) (C1 ('MetaCons "Node" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Pos) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))

Methods

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

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

Show a => Show (Node a) #

Instance details

Defined in Djot.AST

Methods

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

show :: Node a -> String #

showList :: [Node a] -> ShowS #

Eq a => Eq (Node a) #

Instance details

Defined in Djot.AST

Methods

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

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

Ord a => Ord (Node a) #

Instance details

Defined in Djot.AST

Methods

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

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

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

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

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

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

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

type Rep (Node a) #

Instance details

Defined in Djot.AST

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

Instances details

Monoid Pos #

Instance details

Defined in Djot.AST

Methods

mempty :: Pos #

mappend :: Pos -> Pos -> Pos #

mconcat :: [Pos] -> Pos #

Semigroup Pos #

Instance details

Defined in Djot.AST

Methods

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

sconcat :: NonEmpty Pos -> Pos #

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

Data Pos #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: Pos -> Constr #

dataTypeOf :: Pos -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Pos #

Instance details

Defined in Djot.AST

Associated Types

type Rep Pos

Instance details

Defined in Djot.AST

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

Methods

from :: Pos -> Rep Pos x #

to :: Rep Pos x -> Pos #

Show Pos #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Pos -> ShowS #

show :: Pos -> String #

showList :: [Pos] -> ShowS #

Eq Pos #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Pos #

Instance details

Defined in Djot.AST

Methods

compare :: Pos -> Pos -> Ordering #

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

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

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

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

max :: Pos -> Pos -> Pos #

min :: Pos -> Pos -> Pos #

Lift Pos #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Pos #

Instance details

Defined in Djot.AST

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

Instances

Instances details

Monoid Blocks #

Instance details

Defined in Djot.AST

Methods

mempty :: Blocks #

mappend :: Blocks -> Blocks -> Blocks #

mconcat :: [Blocks] -> Blocks #

Semigroup Blocks #

Instance details

Defined in Djot.AST

Methods

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

sconcat :: NonEmpty Blocks -> Blocks #

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

Data Block #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: Block -> Constr #

dataTypeOf :: Block -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Block #

Instance details

Defined in Djot.AST

Associated Types

type Rep Block

Instance details

Defined in Djot.AST

Methods

from :: Block -> Rep Block x #

to :: Rep Block x -> Block #

Show Block #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Block -> ShowS #

show :: Block -> String #

showList :: [Block] -> ShowS #

Eq Block #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Block #

Instance details

Defined in Djot.AST

Methods

compare :: Block -> Block -> Ordering #

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

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

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

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

max :: Block -> Block -> Block #

min :: Block -> Block -> Block #

Lift Block #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Block #

Instance details

Defined in Djot.AST

type Blocks = Many (Node Block) #

data Doc #

Constructors

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

Instances

Instances details

Monoid Doc #

Instance details

Defined in Djot.AST

Methods

mempty :: Doc #

mappend :: Doc -> Doc -> Doc #

mconcat :: [Doc] -> Doc #

Semigroup Doc #

Instance details

Defined in Djot.AST

Methods

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

sconcat :: NonEmpty Doc -> Doc #

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

Data Doc #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: Doc -> Constr #

dataTypeOf :: Doc -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Doc #

Instance details

Defined in Djot.AST

Associated Types

type Rep Doc

Instance details

Defined in Djot.AST

type Rep Doc = D1 ('MetaData "Doc" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) (C1 ('MetaCons "Doc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "docBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Blocks) :*: S1 ('MetaSel ('Just "docFootnotes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NoteMap)) :*: (S1 ('MetaSel ('Just "docReferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ReferenceMap) :*: (S1 ('MetaSel ('Just "docAutoReferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ReferenceMap) :*: S1 ('MetaSel ('Just "docAutoIdentifiers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set ByteString))))))

Methods

from :: Doc -> Rep Doc x #

to :: Rep Doc x -> Doc #

Show Doc #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Doc -> ShowS #

show :: Doc -> String #

showList :: [Doc] -> ShowS #

Eq Doc #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Doc #

Instance details

Defined in Djot.AST

Methods

compare :: Doc -> Doc -> Ordering #

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

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

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

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

max :: Doc -> Doc -> Doc #

min :: Doc -> Doc -> Doc #

Lift Doc #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Doc #

Instance details

Defined in Djot.AST

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

Instances details

Monoid NoteMap #

Instance details

Defined in Djot.AST

Methods

mempty :: NoteMap #

mappend :: NoteMap -> NoteMap -> NoteMap #

mconcat :: [NoteMap] -> NoteMap #

Semigroup NoteMap #

Instance details

Defined in Djot.AST

Methods

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

sconcat :: NonEmpty NoteMap -> NoteMap #

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

Data NoteMap #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: NoteMap -> Constr #

dataTypeOf :: NoteMap -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic NoteMap #

Instance details

Defined in Djot.AST

Associated Types

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

Methods

from :: NoteMap -> Rep NoteMap x #

to :: Rep NoteMap x -> NoteMap #

Show NoteMap #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> NoteMap -> ShowS #

show :: NoteMap -> String #

showList :: [NoteMap] -> ShowS #

Eq NoteMap #

Instance details

Defined in Djot.AST

Methods

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

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

Ord NoteMap #

Instance details

Defined in Djot.AST

Methods

compare :: NoteMap -> NoteMap -> Ordering #

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

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

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

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

max :: NoteMap -> NoteMap -> NoteMap #

min :: NoteMap -> NoteMap -> NoteMap #

Lift NoteMap #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep NoteMap #

Instance details

Defined in Djot.AST

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

Instances details

Monoid ReferenceMap #

Instance details

Defined in Djot.AST

Methods

mempty :: ReferenceMap #

mappend :: ReferenceMap -> ReferenceMap -> ReferenceMap #

mconcat :: [ReferenceMap] -> ReferenceMap #

Semigroup ReferenceMap #

Instance details

Defined in Djot.AST

Methods

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

sconcat :: NonEmpty ReferenceMap -> ReferenceMap #

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

Data ReferenceMap #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: ReferenceMap -> Constr #

dataTypeOf :: ReferenceMap -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic ReferenceMap #

Instance details

Defined in Djot.AST

Associated Types

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

Methods

from :: ReferenceMap -> Rep ReferenceMap x #

to :: Rep ReferenceMap x -> ReferenceMap #

Show ReferenceMap #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> ReferenceMap -> ShowS #

show :: ReferenceMap -> String #

showList :: [ReferenceMap] -> ShowS #

Eq ReferenceMap #

Instance details

Defined in Djot.AST

Methods

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

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

Ord ReferenceMap #

Instance details

Defined in Djot.AST

Methods

compare :: ReferenceMap -> ReferenceMap -> Ordering #

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

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

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

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

max :: ReferenceMap -> ReferenceMap -> ReferenceMap #

min :: ReferenceMap -> ReferenceMap -> ReferenceMap #

Lift ReferenceMap #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep ReferenceMap #

Instance details

Defined in Djot.AST

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

Instances details

Monoid Attr #

Instance details

Defined in Djot.AST

Methods

mempty :: Attr #

mappend :: Attr -> Attr -> Attr #

mconcat :: [Attr] -> Attr #

Semigroup Attr #

Instance details

Defined in Djot.AST

Methods

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

sconcat :: NonEmpty Attr -> Attr #

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

Data Attr #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: Attr -> Constr #

dataTypeOf :: Attr -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Attr #

Instance details

Defined in Djot.AST

Associated Types

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

Methods

from :: Attr -> Rep Attr x #

to :: Rep Attr x -> Attr #

Show Attr #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Attr -> ShowS #

show :: Attr -> String #

showList :: [Attr] -> ShowS #

Eq Attr #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Attr #

Instance details

Defined in Djot.AST

Methods

compare :: Attr -> Attr -> Ordering #

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

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

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

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

max :: Attr -> Attr -> Attr #

min :: Attr -> Attr -> Attr #

Lift Attr #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Attr #

Instance details

Defined in Djot.AST

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

Instances details

Data Target #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: Target -> Constr #

dataTypeOf :: Target -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Target #

Instance details

Defined in Djot.AST

Associated Types

type Rep Target

Instance details

Defined in Djot.AST

type Rep Target = D1 ('MetaData "Target" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) (C1 ('MetaCons "Direct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Reference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))

Methods

from :: Target -> Rep Target x #

to :: Rep Target x -> Target #

Show Target #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Target -> ShowS #

show :: Target -> String #

showList :: [Target] -> ShowS #

Eq Target #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Target #

Instance details

Defined in Djot.AST

Methods

compare :: Target -> Target -> Ordering #

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

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

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

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

max :: Target -> Target -> Target #

min :: Target -> Target -> Target #

Lift Target #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Target #

Instance details

Defined in Djot.AST

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

Instances details

Data TaskStatus #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: TaskStatus -> Constr #

dataTypeOf :: TaskStatus -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic TaskStatus #

Instance details

Defined in Djot.AST

Associated Types

type Rep TaskStatus
Instance details Defined in Djot.AST type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) (C1 ('MetaCons "Complete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incomplete" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: TaskStatus -> Rep TaskStatus x #

to :: Rep TaskStatus x -> TaskStatus #

Show TaskStatus #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> TaskStatus -> ShowS #

show :: TaskStatus -> String #

showList :: [TaskStatus] -> ShowS #

Eq TaskStatus #

Instance details

Defined in Djot.AST

Methods

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

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

Ord TaskStatus #

Instance details

Defined in Djot.AST

Methods

compare :: TaskStatus -> TaskStatus -> Ordering #

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

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

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

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

max :: TaskStatus -> TaskStatus -> TaskStatus #

min :: TaskStatus -> TaskStatus -> TaskStatus #

Lift TaskStatus #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep TaskStatus #

Instance details

Defined in Djot.AST

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

Instances details

Data Align #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: Align -> Constr #

dataTypeOf :: Align -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Align #

Instance details

Defined in Djot.AST

Associated Types

type Rep Align

Instance details

Defined in Djot.AST

type Rep Align = D1 ('MetaData "Align" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) ((C1 ('MetaCons "AlignLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AlignCenter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignDefault" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Align -> Rep Align x #

to :: Rep Align x -> Align #

Show Align #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Align -> ShowS #

show :: Align -> String #

showList :: [Align] -> ShowS #

Eq Align #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Align #

Instance details

Defined in Djot.AST

Methods

compare :: Align -> Align -> Ordering #

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

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

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

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

max :: Align -> Align -> Align #

min :: Align -> Align -> Align #

Lift Align #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Align #

Instance details

Defined in Djot.AST

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

Instances details

Data Cell #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: Cell -> Constr #

dataTypeOf :: Cell -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Cell #

Instance details

Defined in Djot.AST

Associated Types

type Rep Cell

Instance details

Defined in Djot.AST

type Rep Cell = D1 ('MetaData "Cell" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) (C1 ('MetaCons "Cell" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CellType) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Align) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Inlines))))

Methods

from :: Cell -> Rep Cell x #

to :: Rep Cell x -> Cell #

Show Cell #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Cell -> ShowS #

show :: Cell -> String #

showList :: [Cell] -> ShowS #

Eq Cell #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Cell #

Instance details

Defined in Djot.AST

Methods

compare :: Cell -> Cell -> Ordering #

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

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

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

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

max :: Cell -> Cell -> Cell #

min :: Cell -> Cell -> Cell #

Lift Cell #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Cell #

Instance details

Defined in Djot.AST

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

Instances details

Data CellType #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: CellType -> Constr #

dataTypeOf :: CellType -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic CellType #

Instance details

Defined in Djot.AST

Associated Types

type Rep CellType
Instance details Defined in Djot.AST type Rep CellType = D1 ('MetaData "CellType" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) (C1 ('MetaCons "HeadCell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BodyCell" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: CellType -> Rep CellType x #

to :: Rep CellType x -> CellType #

Show CellType #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> CellType -> ShowS #

show :: CellType -> String #

showList :: [CellType] -> ShowS #

Eq CellType #

Instance details

Defined in Djot.AST

Methods

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

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

Ord CellType #

Instance details

Defined in Djot.AST

Methods

compare :: CellType -> CellType -> Ordering #

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

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

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

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

max :: CellType -> CellType -> CellType #

min :: CellType -> CellType -> CellType #

Lift CellType #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep CellType #

Instance details

Defined in Djot.AST

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

newtype Caption #

Constructors

Caption Blocks

Instances

Instances details

Data Caption #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: Caption -> Constr #

dataTypeOf :: Caption -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Caption #

Instance details

Defined in Djot.AST

Associated Types

type Rep Caption
Instance details Defined in Djot.AST type Rep Caption = D1 ('MetaData "Caption" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'True) (C1 ('MetaCons "Caption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))

Methods

from :: Caption -> Rep Caption x #

to :: Rep Caption x -> Caption #

Show Caption #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> Caption -> ShowS #

show :: Caption -> String #

showList :: [Caption] -> ShowS #

Eq Caption #

Instance details

Defined in Djot.AST

Methods

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

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

Ord Caption #

Instance details

Defined in Djot.AST

Methods

compare :: Caption -> Caption -> Ordering #

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

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

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

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

max :: Caption -> Caption -> Caption #

min :: Caption -> Caption -> Caption #

Lift Caption #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep Caption #

Instance details

Defined in Djot.AST

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

data ListSpacing #

Constructors

Tight
Loose

Instances

Instances details

Data ListSpacing #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: ListSpacing -> Constr #

dataTypeOf :: ListSpacing -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic ListSpacing #

Instance details

Defined in Djot.AST

Associated Types

type Rep ListSpacing
Instance details Defined in Djot.AST type Rep ListSpacing = D1 ('MetaData "ListSpacing" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) (C1 ('MetaCons "Tight" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Loose" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ListSpacing -> Rep ListSpacing x #

to :: Rep ListSpacing x -> ListSpacing #

Show ListSpacing #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> ListSpacing -> ShowS #

show :: ListSpacing -> String #

showList :: [ListSpacing] -> ShowS #

Eq ListSpacing #

Instance details

Defined in Djot.AST

Methods

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

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

Ord ListSpacing #

Instance details

Defined in Djot.AST

Methods

compare :: ListSpacing -> ListSpacing -> Ordering #

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

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

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

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

max :: ListSpacing -> ListSpacing -> ListSpacing #

min :: ListSpacing -> ListSpacing -> ListSpacing #

Lift ListSpacing #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep ListSpacing #

Instance details

Defined in Djot.AST

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

Instances details

Data OrderedListAttributes #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: OrderedListAttributes -> Constr #

dataTypeOf :: OrderedListAttributes -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic OrderedListAttributes #

Instance details

Defined in Djot.AST

Associated Types

type Rep OrderedListAttributes

Instance details

Defined in Djot.AST

type Rep OrderedListAttributes = D1 ('MetaData "OrderedListAttributes" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) (C1 ('MetaCons "OrderedListAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "orderedListStyle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListStyle) :*: (S1 ('MetaSel ('Just "orderedListDelim") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderedListDelim) :*: S1 ('MetaSel ('Just "orderedListStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))))

Methods

from :: OrderedListAttributes -> Rep OrderedListAttributes x #

to :: Rep OrderedListAttributes x -> OrderedListAttributes #

Show OrderedListAttributes #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListAttributes -> ShowS #

show :: OrderedListAttributes -> String #

showList :: [OrderedListAttributes] -> ShowS #

Eq OrderedListAttributes #

Instance details

Defined in Djot.AST

Methods

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

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

Ord OrderedListAttributes #

Instance details

Defined in Djot.AST

Methods

compare :: OrderedListAttributes -> OrderedListAttributes -> Ordering #

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

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

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

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

max :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes #

min :: OrderedListAttributes -> OrderedListAttributes -> OrderedListAttributes #

Lift OrderedListAttributes #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep OrderedListAttributes #

Instance details

Defined in Djot.AST

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

Instances details

Data OrderedListDelim #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: OrderedListDelim -> Constr #

dataTypeOf :: OrderedListDelim -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic OrderedListDelim #

Instance details

Defined in Djot.AST

Associated Types

type Rep OrderedListDelim
Instance details Defined in Djot.AST type Rep OrderedListDelim = D1 ('MetaData "OrderedListDelim" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) (C1 ('MetaCons "RightPeriod" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightParen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftRightParen" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: OrderedListDelim -> Rep OrderedListDelim x #

to :: Rep OrderedListDelim x -> OrderedListDelim #

Show OrderedListDelim #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListDelim -> ShowS #

show :: OrderedListDelim -> String #

showList :: [OrderedListDelim] -> ShowS #

Eq OrderedListDelim #

Instance details

Defined in Djot.AST

Methods

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

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

Ord OrderedListDelim #

Instance details

Defined in Djot.AST

Methods

compare :: OrderedListDelim -> OrderedListDelim -> Ordering #

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

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

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

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

max :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim #

min :: OrderedListDelim -> OrderedListDelim -> OrderedListDelim #

Lift OrderedListDelim #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep OrderedListDelim #

Instance details

Defined in Djot.AST

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

Instances details

Data OrderedListStyle #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: OrderedListStyle -> Constr #

dataTypeOf :: OrderedListStyle -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic OrderedListStyle #

Instance details

Defined in Djot.AST

Associated Types

type Rep OrderedListStyle

Instance details

Defined in Djot.AST

type Rep OrderedListStyle = D1 ('MetaData "OrderedListStyle" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) ((C1 ('MetaCons "Decimal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterUpper" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LetterLower" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RomanUpper" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RomanLower" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: OrderedListStyle -> Rep OrderedListStyle x #

to :: Rep OrderedListStyle x -> OrderedListStyle #

Show OrderedListStyle #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> OrderedListStyle -> ShowS #

show :: OrderedListStyle -> String #

showList :: [OrderedListStyle] -> ShowS #

Eq OrderedListStyle #

Instance details

Defined in Djot.AST

Methods

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

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

Ord OrderedListStyle #

Instance details

Defined in Djot.AST

Methods

compare :: OrderedListStyle -> OrderedListStyle -> Ordering #

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

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

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

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

max :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle #

min :: OrderedListStyle -> OrderedListStyle -> OrderedListStyle #

Lift OrderedListStyle #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep OrderedListStyle #

Instance details

Defined in Djot.AST

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

Instances details

Data QuoteType #

Instance details

Defined in Djot.AST

Methods

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

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

toConstr :: QuoteType -> Constr #

dataTypeOf :: QuoteType -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic QuoteType #

Instance details

Defined in Djot.AST

Associated Types

type Rep QuoteType
Instance details Defined in Djot.AST type Rep QuoteType = D1 ('MetaData "QuoteType" "Djot.AST" "djot-0.1.2.2-CcJLKyGeVwa94vBBvAFVOc" 'False) (C1 ('MetaCons "SingleQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoubleQuotes" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: QuoteType -> Rep QuoteType x #

to :: Rep QuoteType x -> QuoteType #

Show QuoteType #

Instance details

Defined in Djot.AST

Methods

showsPrec :: Int -> QuoteType -> ShowS #

show :: QuoteType -> String #

showList :: [QuoteType] -> ShowS #

Eq QuoteType #

Instance details

Defined in Djot.AST

Methods

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

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

Ord QuoteType #

Instance details

Defined in Djot.AST

Methods

compare :: QuoteType -> QuoteType -> Ordering #

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

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

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

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

max :: QuoteType -> QuoteType -> QuoteType #

min :: QuoteType -> QuoteType -> QuoteType #

Lift QuoteType #

Instance details

Defined in Djot.AST

Methods

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

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

type Rep QuoteType #

Instance details

Defined in Djot.AST

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

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