~alcinnz/rhapsode

ref: 5eb05d745a7f77a4f9dc4ec39ed4c3fdaebd5dc5 rhapsode/src/Types.hs -rw-r--r-- 2.3 KiB
5eb05d74 — Adrian Cochrane Release Rhapsode 5! 3 years ago
                                                                                
943ea735 Adrian Cochrane
49f50591 Adrian Cochrane
943ea735 Adrian Cochrane
ee018b49 Adrian Cochrane
943ea735 Adrian Cochrane
ee018b49 Adrian Cochrane
943ea735 Adrian Cochrane
a9c0bfc0 Adrian Cochrane
8bf7b85d Adrian Cochrane
481a1088 Adrian Cochrane
8bf7b85d Adrian Cochrane
943ea735 Adrian Cochrane
989a5032 Adrian Cochrane
943ea735 Adrian Cochrane
48419960 Adrian Cochrane
a9c0bfc0 Adrian Cochrane
48419960 Adrian Cochrane
8bf7b85d Adrian Cochrane
481a1088 Adrian Cochrane
48419960 Adrian Cochrane
943ea735 Adrian Cochrane
481a1088 Adrian Cochrane
8bf7b85d Adrian Cochrane
49f50591 Adrian Cochrane
481a1088 Adrian Cochrane
8bf7b85d Adrian Cochrane
49f50591 Adrian Cochrane
943ea735 Adrian Cochrane
8bf7b85d Adrian Cochrane
943ea735 Adrian Cochrane
48419960 Adrian Cochrane
a9c0bfc0 Adrian Cochrane
8bf7b85d Adrian Cochrane
943ea735 Adrian Cochrane
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
{-# LANGUAGE OverloadedStrings #-}
module Types(CArray, Page(..), Application(..), buildDirFile, readStrict) where

import System.Directory (getCurrentDirectory) -- default referer URI
import SpeechStyle (SpeechStyle)
import Data.CSS.Preprocessor.Conditions (ConditionalStyles, conditionalStyles)
import Data.CSS.Preprocessor.Text (TextStyle)
import Text.XML
import qualified Data.Map.Strict as M
import Network.URI
import Network.URI.Fetch (Application(..))

-- For the in-memory history log
import qualified Data.Set as Set
import Data.Set (Set)
import Data.Text (Text(..))
import qualified Data.Text as Txt
import System.Directory
import System.FilePath ((</>))
import Control.Parallel (par)

import Foreign.Ptr
import Foreign.StablePtr

buildDir = "."
buildDirFile = (buildDir </>)

type CArray a = Ptr a

data Page = Page {
    url :: URI,
    css :: ConditionalStyles (TextStyle SpeechStyle),
    html :: Document,
    pageTitle :: String,
    pageMIME :: String,
    apps :: [Application],
    backStack :: [(String, URI)],
    forwardStack :: [(String, URI)],
    -- Probably don't need an MVar here, but let's be safe!
    visitedURLs :: Set Text
}

foreign export ccall c_initialReferer :: IO (StablePtr Page)

loadVisited :: IO (Set Text)
loadVisited = do
    dir <- getXdgDirectory XdgData "rhapsode"
    let path = dir </> "history.gmni"
    exists <- doesFileExist path

    if exists then do
        file <- readStrict path
        let hist = Set.fromList [Txt.pack uri | _:uri:_ <- map words $ lines file]
        return hist
    else return Set.empty

readStrict path = do s <- Prelude.readFile path; length s `seq` return s

c_initialReferer = do
    cwd <- getCurrentDirectory
    hist <- loadVisited
    newStablePtr $ Page {
        -- Default to URIs being relative to CWD.
        url = URI {uriScheme = "file:", uriPath = cwd,
            uriAuthority = Nothing, uriQuery = "", uriFragment = ""},
        -- Blank values:
        css = conditionalStyles nullURI "temp",
        html = Document {
            documentPrologue = Prologue [] Nothing [],
            documentRoot = Element "temp" M.empty [],
            documentEpilogue = []
        },
        pageTitle = "", pageMIME = "", apps = [],
        backStack = [], forwardStack = [], visitedURLs = hist
    }

foreign export ccall c_freePage :: StablePtr Page -> IO ()

c_freePage = freeStablePtr