git.iko.soy/rowtype-yoga/purescript-native
on a10616f help sign in
rowtype-yoga/purescript-native/src/PureScript/Parser/Declarations.hs
54 lines 1.8 kB history raw
1-----------------------------------------------------------------------------
2--
3-- Module : PureScript.Parser.Declarations
4-- Copyright : (c) Phil Freeman 2013
5-- License : MIT
6--
7-- Maintainer : Phil Freeman <paf31@cantab.net>
8-- Stability : experimental
9-- Portability :
10--
11-- |
12--
13-----------------------------------------------------------------------------
15module PureScript.Parser.Declarations (
16 parseDeclaration,
17 parseDeclarations
18) where
20import Data.Char
21import Data.List
22import Data.Function
23import Control.Applicative
24import qualified Text.Parsec as P
25import Control.Arrow (Arrow(..))
27import PureScript.Values
28import PureScript.Types
29import PureScript.Parser.Common
30import PureScript.Declarations
31import PureScript.Parser.Values
32import PureScript.Parser.Types
34parseDataDeclaration :: P.Parsec String () Declaration
35parseDataDeclaration = do
36 reserved "data"
37 name <- properName
38 tyArgs <- many identifier
39 lexeme $ P.char '='
40 ctors <- P.sepBy1 ((,) <$> properName <*> P.optionMaybe parseType) (lexeme $ P.char '|')
41 return $ DataDeclaration $ DataConstructors name tyArgs ctors
43parseValueDeclaration :: P.Parsec String () Declaration
44parseValueDeclaration = ValueDeclaration <$> identifier <*> (lexeme (P.char '=') *> parseValue)
46parseDeclaration :: P.Parsec String () Declaration
47parseDeclaration = parseDataDeclaration
48 P.<|> parseValueDeclaration
50parseDeclarations :: String -> Either P.ParseError [Declaration]
51parseDeclarations = mapM (P.parse (parseDeclaration <* whiteSpace <* P.eof) "Declaration") . splitFileIntoDeclarations
53splitFileIntoDeclarations :: String -> [String]
54splitFileIntoDeclarations = map unlines . filter (not . all isSpace . head) . groupBy ((==) `on` (all isSpace)) . lines