module Language.PureScript.Parser.Kinds (
parseKind
) where
import Language.PureScript.Kinds
import Language.PureScript.Parser.State
import Language.PureScript.Parser.Common
import Control.Applicative
import qualified Text.Parsec as P
import qualified Text.Parsec.Expr as P
parseStar :: P.Parsec String ParseState Kind
parseStar = const Star <$> lexeme (P.char '*')
parseRow :: P.Parsec String ParseState Kind
parseRow = const Row <$> lexeme (P.char '#')
parseTypeAtom :: P.Parsec String ParseState Kind
parseTypeAtom = indented *> P.choice (map P.try
[ parseStar
, parseRow
, parens parseKind ])
parseKind :: P.Parsec String ParseState Kind
parseKind = P.buildExpressionParser operators parseTypeAtom P.<?> "kind"
where
operators = [ [ P.Infix (lexeme (P.try (P.string "->")) >> return FunKind) P.AssocRight ] ]