Safe Haskell	None
Language	Haskell2010

Language.Lsd.AST.Type.Document

Documentation

newtype DocumentFormat Source #

Constructors

DocumentFormat	()
Fields (Maybe TocFormat) `Just fmt` iff a TOC is desired.

Instances

Instances details

Show DocumentFormat Source #
Instance details Defined in Language.Lsd.AST.Type.Document Methods showsPrec :: Int -> DocumentFormat -> ShowS # show :: DocumentFormat -> String # showList :: [DocumentFormat] -> ShowS #

newtype TocFormat Source #

Constructors

TocFormat TocHeading

Instances

Instances details

Show TocFormat Source #
Instance details Defined in Language.Lsd.AST.Type.Document Methods showsPrec :: Int -> TocFormat -> ShowS # show :: TocFormat -> String # showList :: [TocFormat] -> ShowS #

newtype TocHeading Source #

Constructors

TocHeading Text

Instances

Instances details

Show TocHeading Source #
Instance details Defined in Language.Lsd.AST.Type.Document Methods showsPrec :: Int -> TocHeading -> ShowS # show :: TocHeading -> String # showList :: [TocHeading] -> ShowS #

data DocumentType Source #

Constructors

DocumentType Keyword DocumentFormat DocumentHeadingType DocumentBodyType (Disjunction (NamedType FootnoteType))

Instances

Instances details

RawProperNodeKind DocumentType Source #
Instance details Defined in Language.Lsd.AST.Type.Document Methods kindNameOfRaw :: Proxy DocumentType -> KindName Source # treeSyntaxMapRaw :: (forall t'. ProperNodeKind t' => t' -> a) -> DocumentType -> TreeSyntax a Source #

newtype DocumentHeadingType Source #

Constructors

DocumentHeadingType (TextType Void)

data DocumentBodyType Source #

Constructors

DocumentBodyType (Maybe DocumentIntroType) (Disjunction (NamedType DocumentMainBodyType)) (Maybe DocumentExtroType)

data DocumentMainBodyType Source #

Constructors

DocumentMainBodyType NavTocHeading SectionBodyType

Instances

Instances details

RawProperNodeKind DocumentMainBodyType Source #
Instance details Defined in Language.Lsd.AST.Type.Document Methods kindNameOfRaw :: Proxy DocumentMainBodyType -> KindName Source # treeSyntaxMapRaw :: (forall t'. ProperNodeKind t' => t' -> a) -> DocumentMainBodyType -> TreeSyntax a Source #

data DocumentIntroType Source #

Constructors

DocumentIntroType NavTocHeading (Sequence (NamedType SimpleSectionType))

Instances

Instances details

ProperNodeKind DocumentIntroType Source #
Instance details Defined in Language.Lsd.AST.Type.Document Methods kindNameOf :: Proxy DocumentIntroType -> KindName Source # typeNameOf :: DocumentIntroType -> TypeName Source # displayTypeNameOf :: DocumentIntroType -> DisplayTypeName Source # treeSyntaxMap :: (forall t'. ProperNodeKind t' => t' -> a) -> DocumentIntroType -> TreeSyntax a Source #

data DocumentExtroType Source #

Constructors

DocumentExtroType NavTocHeading (Sequence (NamedType SimpleSectionType))

Instances

Instances details

ProperNodeKind DocumentExtroType Source #
Instance details Defined in Language.Lsd.AST.Type.Document Methods kindNameOf :: Proxy DocumentExtroType -> KindName Source # typeNameOf :: DocumentExtroType -> TypeName Source # displayTypeNameOf :: DocumentExtroType -> DisplayTypeName Source # treeSyntaxMap :: (forall t'. ProperNodeKind t' => t' -> a) -> DocumentExtroType -> TreeSyntax a Source #