X-Git-Url: http://git.cielonegro.org/gitweb.cgi?a=blobdiff_plain;f=Rakka%2FPage.hs;h=9d84cf28df7f0285c2788842773063998c638a5b;hb=656fdb2772ab4de5cd083cbe9e7c1610cccef73b;hp=2e3ea45cae6250310d6d88191e2c4e4208b957d8;hpb=03585f9c5773f6c0b59497f4f563909576c402b5;p=Rakka.git diff --git a/Rakka/Page.hs b/Rakka/Page.hs index 2e3ea45..9d84cf2 100644 --- a/Rakka/Page.hs +++ b/Rakka/Page.hs @@ -1,55 +1,83 @@ module Rakka.Page ( PageName , Page(..) + , LanguageTag + , LanguageName + , encodePageName , decodePageName + + , pageFileName' + , defaultFileName + , mkPageURI + , mkPageFragmentURI + , mkObjectURI + , mkFragmentURI + , mkAuxiliaryURI + , mkRakkaURI ) where import Data.ByteString.Base (LazyByteString) import qualified Data.ByteString.Char8 as C8 +import Data.Char import Data.Encoding import Data.Encoding.UTF8 +import Data.Map (Map) +import Data.Maybe import Network.HTTP.Lucu import Network.URI import Subversion.Types +import System.FilePath.Posix import System.Time type PageName = String +type LanguageTag = String -- See RFC 3066: http://www.ietf.org/rfc/rfc3066.txt +type LanguageName = String -- i.e. "日本語" + data Page = Redirection { - redirName :: PageName - , redirDest :: PageName - , redirRevision :: Maybe RevNum - , redirLastMod :: CalendarTime + redirName :: !PageName + , redirDest :: !PageName + , redirRevision :: !(Maybe RevNum) + , redirLastMod :: !CalendarTime } | Entity { - pageName :: PageName - , pageType :: MIMEType - , pageIsTheme :: Bool -- text/css 以外では無意味 - , pageIsFeed :: Bool -- text/x-rakka 以外では無意味 - , pageIsLocked :: Bool - , pageIsBoring :: Bool - , pageRevision :: Maybe RevNum - , pageLastMod :: CalendarTime - , pageSummary :: Maybe String - , pageOtherLang :: [(String, PageName)] - , pageContent :: LazyByteString + pageName :: !PageName + , pageType :: !MIMEType + , pageLanguage :: !(Maybe LanguageTag) + , pageFileName :: !(Maybe String) + , pageIsTheme :: !Bool -- text/css 以外では無意味 + , pageIsFeed :: !Bool -- text/x-rakka 以外では無意味 + , pageIsLocked :: !Bool + , pageIsBoring :: !Bool + , pageIsBinary :: !Bool + , pageRevision :: !RevNum + , pageLastMod :: !CalendarTime + , pageSummary :: !(Maybe String) + , pageOtherLang :: !(Map LanguageTag PageName) + , pageContent :: !LazyByteString } -- UTF-8 に encode してから 0x20 - 0x7E の範圍を除いて URI escape する。 encodePageName :: PageName -> FilePath -encodePageName = escapeURIString shouldEscape . C8.unpack . encode UTF8 +encodePageName = escapeURIString isSafeChar . C8.unpack . encode UTF8 . fixPageName where - shouldEscape :: Char -> Bool - shouldEscape c - | c >= ' ' && c <= '~' = False - | otherwise = True + fixPageName :: PageName -> PageName + fixPageName = (\ (x:xs) -> toUpper x : xs) . map (\ c -> if c == ' ' then '_' else c) + + +isSafeChar :: Char -> Bool +isSafeChar c + | c == '/' = True + | isReserved c = False + | c > ' ' && c <= '~' = True + | otherwise = False -- URI unescape して UTF-8 から decode する。 @@ -57,11 +85,64 @@ decodePageName :: FilePath -> PageName decodePageName = decode UTF8 . C8.pack . unEscapeString +encodeFragment :: String -> String +encodeFragment = escapeURIString isSafeChar . C8.unpack . encode UTF8 + + +pageFileName' :: Page -> String +pageFileName' page + = fromMaybe (defaultFileName (pageType page) (pageName page)) (pageFileName page) + + +defaultFileName :: MIMEType -> PageName -> String +defaultFileName pType pName + = let baseName = takeFileName pName + in + case pType of + MIMEType "text" "x-rakka" _ -> baseName <.> "rakka" + MIMEType "text" "css" _ -> baseName <.> "css" + _ -> baseName + + mkPageURI :: URI -> PageName -> URI mkPageURI baseURI name - | uriPath baseURI == "" = baseURI { uriPath = "/" ++ encoded } - | uriPath baseURI == "/" = baseURI { uriPath = "/" ++ encoded } - | last (uriPath baseURI) == '/' = baseURI { uriPath = uriPath baseURI ++ encoded } - | otherwise = baseURI { uriPath = uriPath baseURI ++ "/" ++ encoded } - where - encoded = encodePageName name + = baseURI { + uriPath = foldl () "/" [uriPath baseURI, encodePageName name ++ ".html"] + } + + +mkPageFragmentURI :: URI -> PageName -> String -> URI +mkPageFragmentURI baseURI name fragment + = baseURI { + uriPath = foldl () "/" [uriPath baseURI, encodePageName name ++ ".html"] + , uriFragment = ('#' : encodeFragment fragment) + } + + +mkFragmentURI :: String -> URI +mkFragmentURI fragment + = nullURI { + uriFragment = ('#' : encodeFragment fragment) + } + + +mkObjectURI :: URI -> PageName -> URI +mkObjectURI baseURI name + = mkAuxiliaryURI baseURI ["object"] name + + +mkAuxiliaryURI :: URI -> [String] -> PageName -> URI +mkAuxiliaryURI baseURI basePath name + = baseURI { + uriPath = foldl () "/" ([uriPath baseURI] ++ basePath ++ [encodePageName name]) + } + + +mkRakkaURI :: PageName -> URI +mkRakkaURI name = URI { + uriScheme = "rakka:" + , uriAuthority = Nothing + , uriPath = encodePageName name + , uriQuery = "" + , uriFragment = "" + }