X-Git-Url: http://git.cielonegro.org/gitweb.cgi?a=blobdiff_plain;f=Rakka%2FWiki.hs;h=a519d34a227da9b8a40ec6db7b66108907185fc2;hb=b33b02e8fdc8e24c0a5062e122212122e8031523;hp=3b1802f0e4cc42928fc4341e03f2eb36116eb1a1;hpb=16b140fe235a43f9dfb9b57e69ebc302beeaea27;p=Rakka.git diff --git a/Rakka/Wiki.hs b/Rakka/Wiki.hs index 3b1802f..a519d34 100644 --- a/Rakka/Wiki.hs +++ b/Rakka/Wiki.hs @@ -1,47 +1,85 @@ module Rakka.Wiki ( WikiPage + + , Element(..) + , Attribute + , BlockElement(..) , InlineElement(..) - , ListElement(..) + , Definition(..) + , ListType(..) , ListItem + + , CommandType(..) + , BlockCommand(..) + , InlineCommand(..) ) where +import Network.URI import Rakka.Page type WikiPage = [BlockElement] +data Element + = Block !BlockElement + | Inline !InlineElement + deriving (Eq, Show) + + +type Attribute = (String, String) + + data BlockElement = Heading { headingLevel :: !Int , headingText :: !String } | HorizontalLine - | List !ListElement - | LeadingSpaced ![InlineElement] + | List { + listType :: !ListType + , listItems :: ![ListItem] + } + | DefinitionList ![Definition] + | Preformatted ![InlineElement] | Paragraph ![InlineElement] + | Div ![Attribute] ![Element] + | EmptyBlock + | BlockCmd !BlockCommand deriving (Eq, Show) data InlineElement = Text !String + | Italic ![InlineElement] + | Bold ![InlineElement] + | ObjectLink { + objLinkPage :: !PageName + , objLinkText :: !(Maybe String) + } | PageLink { linkPage :: !(Maybe PageName) , linkFragment :: !(Maybe String) , linkText :: !(Maybe String) } - deriving (Eq, Show) - - -data ListElement - = ListElement { - listType :: !ListType - , listItems :: ![ListItem] + | ExternalLink { + extLinkURI :: !URI + , extLinkText :: !(Maybe String) + } + | LineBreak ![Attribute] + | Span ![Attribute] ![InlineElement] + | Image { + imgSource :: !(Either URI PageName) + , imgAlt :: !(Maybe String) } + | Anchor ![Attribute] ![InlineElement] + | Input ![Attribute] + | EmptyInline + | InlineCmd !InlineCommand deriving (Eq, Show) @@ -51,4 +89,36 @@ data ListType deriving (Eq, Show) -type ListItem = [Either ListElement InlineElement] +type ListItem = [Element] + + +data Definition + = Definition { + defTerm :: ![InlineElement] + , defDesc :: ![InlineElement] + } + deriving (Eq, Show) + + +data CommandType + = InlineCommandType + | BlockCommandType + deriving (Eq, Show) + + +data BlockCommand + = BlockCommand { + bCmdName :: !String + , bCmdAttributes :: ![Attribute] + , bCmdContents :: ![BlockElement] + } + deriving (Eq, Show) + + +data InlineCommand + = InlineCommand { + iCmdName :: !String + , iCmdAttributes :: ![Attribute] + , iCmdContents :: ![InlineElement] + } + deriving (Eq, Show)