| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Lsd.AST.Type.Document
Documentation
newtype DocumentFormat Source #
Constructors
| DocumentFormat | () |
Instances
| Show DocumentFormat Source # | |
Defined in Language.Lsd.AST.Type.Document Methods showsPrec :: Int -> DocumentFormat -> ShowS # show :: DocumentFormat -> String # showList :: [DocumentFormat] -> ShowS # | |
Constructors
| TocFormat TocHeading |
newtype TocHeading Source #
Constructors
| TocHeading Text |
Instances
| Show TocHeading Source # | |
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
| RawProperNodeKind DocumentType Source # | |
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
| RawProperNodeKind DocumentMainBodyType Source # | |
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
| ProperNodeKind DocumentIntroType Source # | |
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
| ProperNodeKind DocumentExtroType Source # | |
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 # | |