X-Git-Url: http://git.cielonegro.org/gitweb.cgi?a=blobdiff_plain;f=Rakka%2FWiki.hs;h=bdecec7fac00a5da4b3aa5e86865bc6e2fc91955;hb=HEAD;hp=f08aa96b5a8d363434d28738131b8006c36c644d;hpb=8a7556db44cd91ac0bb52279472bcc2abaa3f18e;p=Rakka.git diff --git a/Rakka/Wiki.hs b/Rakka/Wiki.hs index f08aa96..bdecec7 100644 --- a/Rakka/Wiki.hs +++ b/Rakka/Wiki.hs @@ -1,29 +1,117 @@ +{-# LANGUAGE + UnicodeSyntax + #-} module Rakka.Wiki ( WikiPage - , WikiElement(..) + + , Element(..) + , Attribute + , BlockElement(..) , InlineElement(..) + + , Definition(..) + + , ListType(..) + , ListItem + + , CommandType(..) + , BlockCommand(..) + , InlineCommand(..) ) where +import Data.CaseInsensitive (CI) +import Data.Text (Text) +import Network.URI +import Rakka.Page -type WikiPage = [WikiElement] - +type WikiPage = [BlockElement] -data WikiElement - = Block !BlockElement +data Element + = Block !BlockElement | Inline !InlineElement deriving (Eq, Show) +type Attribute = (CI Text, Text) data BlockElement - = Header { - hdLevel :: !Int - , hdText :: !String + = Heading { + headingLevel ∷ !Int + , headingText ∷ !Text + } + | HorizontalLine + | List { + listType ∷ !ListType + , listItems ∷ ![ListItem] } - | EmptyLine + | DefinitionList ![Definition] + | Preformatted ![InlineElement] + | Paragraph ![InlineElement] + | Div ![Attribute] ![Element] + | EmptyBlock + | BlockCmd !BlockCommand deriving (Eq, Show) - data InlineElement - = Text !String + = Text !Text + | Italic ![InlineElement] + | Bold ![InlineElement] + | ObjectLink { + objLinkPage ∷ !PageName + , objLinkText ∷ !(Maybe Text) + } + | PageLink { + linkPage ∷ !(Maybe PageName) + , linkFragment ∷ !(Maybe Text) + , linkText ∷ !(Maybe Text) + } + | ExternalLink { + extLinkURI ∷ !URI + , extLinkText ∷ !(Maybe Text) + } + | LineBreak ![Attribute] + | Span ![Attribute] ![InlineElement] + | Image { + imgSource ∷ !(Either URI PageName) + , imgAlt ∷ !(Maybe Text) + } + | Anchor ![Attribute] ![InlineElement] + | Input ![Attribute] + | EmptyInline + | InlineCmd !InlineCommand + deriving (Eq, Show) + +data ListType + = Bullet + | Numbered + deriving (Eq, Show) + +type ListItem = [Element] + +data Definition + = Definition { + defTerm ∷ ![InlineElement] + , defDesc ∷ ![InlineElement] + } + deriving (Eq, Show) + +data CommandType + = InlineCommandType + | BlockCommandType + deriving (Eq, Show) + +data BlockCommand + = BlockCommand { + bCmdName ∷ !Text + , bCmdAttributes ∷ ![Attribute] + , bCmdContents ∷ ![BlockElement] + } + deriving (Eq, Show) + +data InlineCommand + = InlineCommand { + iCmdName :: !Text + , iCmdAttributes :: ![Attribute] + , iCmdContents :: ![InlineElement] + } deriving (Eq, Show)