| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Glam.Utils
Synopsis
- type IndentRef = Maybe SourcePos
- type Parser = ReaderT IndentRef (Parsec Void String)
- parse :: Parser a -> String -> String -> Either String a
- whitespace :: Parser ()
- alpha :: Parser Char
- isRest :: Char -> Bool
- lexeme :: Parser a -> Parser a
- symbol :: String -> Parser String
- keyword :: String -> Parser String
- colon :: Parser String
- semicolon :: Parser String
- comma :: Parser String
- equal :: Parser String
- dot :: Parser String
- lambda :: Parser String
- parens :: Parser a -> Parser a
- braces :: Parser a -> Parser a
- lineFolded :: Parser a -> Parser a
- word :: Parser String
- number :: Parser Integer
- mkIdentifier :: [String] -> Parser String
- (|-) :: MonadReader r m => (r -> r) -> m a -> m a
- lookupLevel :: Eq a => a -> [(a, b)] -> Maybe (b, Int)
Parsing
whitespace :: Parser () Source #
lineFolded :: Parser a -> Parser a Source #
Type checking
(|-) :: MonadReader r m => (r -> r) -> m a -> m a infix 1 Source #
lookupLevel :: Eq a => a -> [(a, b)] -> Maybe (b, Int) Source #
Like lookup, but also returns the de Bruijn level of the variable.