module Language.PureScript.Parser.Types (
parseType,
parsePolyType,
noWildcards,
parseTypeAtom
) where
import Control.Applicative
import Control.Monad (when, unless)
import Language.PureScript.Types
import Language.PureScript.Parser.State
import Language.PureScript.Parser.Common
import Language.PureScript.Parser.Kinds
import Language.PureScript.Environment
import qualified Text.Parsec as P
import qualified Text.Parsec.Expr as P
parseArray :: P.Parsec String ParseState Type
parseArray = squares $ return tyArray
parseArrayOf :: P.Parsec String ParseState Type
parseArrayOf = squares $ TypeApp tyArray <$> parseType
parseFunction :: P.Parsec String ParseState Type
parseFunction = parens $ P.try (lexeme (P.string "->")) >> return tyFunction
parseObject :: P.Parsec String ParseState Type
parseObject = braces $ TypeApp tyObject <$> parseRow
parseTypeWildcard :: P.Parsec String ParseState Type
parseTypeWildcard = lexeme (P.char '_') >> return TypeWildcard
parseTypeVariable :: P.Parsec String ParseState Type
parseTypeVariable = do
ident <- identifier
when (ident `elem` reservedTypeNames) $ P.unexpected ident
return $ TypeVar ident
parseTypeConstructor :: P.Parsec String ParseState Type
parseTypeConstructor = TypeConstructor <$> parseQualified properName
parseForAll :: P.Parsec String ParseState Type
parseForAll = mkForAll <$> (P.try (reserved "forall") *> P.many1 (indented *> identifier) <* indented <* dot)
<*> parseConstrainedType
parseTypeAtom :: P.Parsec String ParseState Type
parseTypeAtom = indented *> P.choice (map P.try
[ parseArray
, parseArrayOf
, parseFunction
, parseObject
, parseTypeWildcard
, parseTypeVariable
, parseTypeConstructor
, parseForAll
, parens parseRow
, parens parsePolyType ])
parseConstrainedType :: P.Parsec String ParseState Type
parseConstrainedType = do
constraints <- P.optionMaybe . P.try $ do
constraints <- parens . commaSep1 $ do
className <- parseQualified properName
indented
ty <- P.many parseTypeAtom
return (className, ty)
_ <- lexeme $ P.string "=>"
return constraints
indented
ty <- parseType
return $ maybe ty (flip ConstrainedType ty) constraints
parseAnyType :: P.Parsec String ParseState Type
parseAnyType = P.buildExpressionParser operators (buildPostfixParser postfixTable parseTypeAtom) P.<?> "type"
where
operators = [ [ P.Infix (return TypeApp) P.AssocLeft ]
, [ P.Infix (P.try (lexeme (P.string "->")) >> return function) P.AssocRight ] ]
postfixTable = [ \t -> KindedType t <$> (P.try (lexeme (indented *> P.string "::")) *> parseKind)
]
parseType :: P.Parsec String ParseState Type
parseType = do
ty <- parseAnyType
unless (isMonoType ty) $ P.unexpected "polymorphic type"
return ty
parsePolyType :: P.Parsec String ParseState Type
parsePolyType = parseAnyType
noWildcards :: P.Parsec String ParseState Type -> P.Parsec String ParseState Type
noWildcards p = do
ty <- p
when (containsWildcards ty) $ P.unexpected "type wildcard"
return ty
parseNameAndType :: P.Parsec String ParseState t -> P.Parsec String ParseState (String, t)
parseNameAndType p = (,) <$> (indented *> (identifierName <|> stringLiteral) <* indented <* lexeme (P.string "::")) <*> p
parseRowEnding :: P.Parsec String ParseState Type
parseRowEnding = P.option REmpty (TypeVar <$> (lexeme (indented *> P.char '|') *> indented *> identifier))
parseRow :: P.Parsec String ParseState Type
parseRow = (curry rowFromList <$> commaSep (parseNameAndType parsePolyType) <*> parseRowEnding) P.<?> "row"