git.iko.soy/elk
on 6ed1665 help sign in
elk/compiler/SourceSyntax/Module.hs
88 lines 2.6 kB history raw
1{-# LANGUAGE DeriveDataTypeable #-}
2module SourceSyntax.Module where
4import Data.Data
5import Data.Binary
6import Data.List (intercalate)
7import qualified Data.Map as Map
8import Control.Applicative ((<$>), (<*>))
9import Control.Arrow (second)
11import SourceSyntax.Expression (LExpr)
12import SourceSyntax.Declaration
13import SourceSyntax.Type
14import System.FilePath (joinPath)
15import Control.Monad (liftM)
17import Paths_Elm (version)
18import Data.Version (showVersion)
20data Module tipe var =
21 Module [String] Exports Imports [Declaration tipe var]
22 deriving (Show)
24type Exports = [String]
26type Imports = [(String, ImportMethod)]
27data ImportMethod = As String | Importing [String] | Hiding [String]
28 deriving (Eq, Ord, Show, Data, Typeable)
30instance Binary ImportMethod where
31 put (As s) = do put (0 :: Word8)
32 put s
34 put (Importing ss) = do put (1 :: Word8)
35 put ss
37 put (Hiding ss) = do put (2 :: Word8)
38 put ss
40 get = do tag <- getWord8
41 case tag of
42 0 -> liftM As get
43 1 -> liftM Importing get
44 2 -> liftM Hiding get
46data MetadataModule t v = MetadataModule {
47 names :: [String],
48 path :: FilePath,
49 exports :: [String],
50 imports :: [(String, ImportMethod)],
51 program :: LExpr t v,
52 types :: Map.Map String Type,
53 fixities :: [(Assoc, Int, String)],
54 aliases :: [(String, [String], Type)],
55 datatypes :: [ (String, [String], [(String,[Type])]) ],
56 foreignImports :: [(String, LExpr t v, String, Type)],
57 foreignExports :: [(String, String, Type)]
58} deriving Show
60type Interfaces = Map.Map String ModuleInterface
61type ADT = (String, [String], [(String,[Type])])
63data ModuleInterface = ModuleInterface {
64 iVersion :: String,
65 iTypes :: Map.Map String Type,
66 iImports :: [(String, ImportMethod)],
67 iAdts :: [ADT],
68 iAliases :: [(String, [String], Type)],
69 iFixities :: [(Assoc, Int, String)]
70} deriving Show
73instance Binary ModuleInterface where
74 get = ModuleInterface <$> get <*> get <*> get <*> get <*> get <*> get
75 put modul = do
76 put (iVersion modul)
77 put (iTypes modul)
78 put (iImports modul)
79 put (iAdts modul)
80 put (iAliases modul)
81 put (iFixities modul)
84instance Binary Assoc where
85 get = do n <- getWord8
86 return $ case n of { 0 -> L ; 1 -> N ; 2 -> R }
88 put assoc = putWord8 $ case assoc of { L -> 0 ; N -> 1 ; R -> 2 }