Text.TDoc.Core

Synopsis

• class IsNode node
• class IsAttribute attr
• class (IsNode father, IsNode child) => IsChildOf child father
• class (IsAttribute attr, IsNode node) => IsAttributeOf attr node
• class IsNode a => IsBlockOrInline a
• class IsBlockOrInline a => IsInline a
• class IsBlockOrInline a => IsBlock a
• data AttributeOf t node = attr `IsAttributeOf` node => TAttr (t attr) attr
• type AttributesOf t node = [AttributeOf t node]
• data TDoc t tag = TNode {
  • tTag :: t tag
  • tAttrs :: AttributesOf t tag
  • tChildren :: [ChildOf t tag]
  }
• data ChildOf t father = child `IsChildOf` father => Child (TDoc t child)
• class ToChildren a t father where
• class ToTDoc a t b where
• class AddAttrs a t b where
• class FromTDoc a t tag where
• type PutM a = Writer [a] ()
• type Star t node = forall children. ToChildren children t node => children -> TDoc t node
• type Nullary t node = TDoc t node
• type Unary t node = forall child. child `IsChildOf` node => TDoc t child -> TDoc t node
• type Plus t node = forall children child. (child `IsChildOf` node, ToChildren children t node) => TDoc t child -> children -> TDoc t node
• (+++) :: (ToChildren a t tag, ToChildren b t tag) => a -> b -> [ChildOf t tag]
• (<<) :: a `IsChildOf` b => (c -> TDoc t a) -> c -> PutM (ChildOf t b)
• put :: ToChildren children t father => children -> PutM (ChildOf t father)
• tStar :: t a -> Star t a
• tNullary :: t a -> Nullary t a
• tUnary :: t a -> Unary t a
• tPlus :: t a -> Plus t a

Documentation