| Safe Haskell | None |
|---|
LF.MorphParser
Synopsis
- readMorphism :: FilePath -> Morphism
- readMorph :: FilePath -> IO (Maybe Morphism)
- parseMorphism :: CharParser st Morphism
- pkeyword :: String -> CharParser st ()
- keywordNotFollowedBy :: String -> CharParser st Char -> CharParser st String
- skips :: CharParser st a -> CharParser st a
- qString :: CharParser st String
- parensP :: CharParser st a -> CharParser st a
- bracesP :: CharParser st a -> CharParser st a
- bracketsP :: CharParser st a -> CharParser st a
- endsWithQuot :: CharParser st String
- commaP :: CharParser st ()
- sepByComma :: CharParser st a -> CharParser st [a]
- skipChar :: Char -> CharParser st ()
- parseWithEq :: String -> CharParser st String
- parseSym :: CharParser st Symbol
- parse1Context :: CharParser st CONTEXT
- parseExp :: CharParser st EXP
- parseDef :: CharParser st DEF
- parseSignature :: CharParser st Sign
- parseMorphType :: CharParser st MorphType
- parse1Map :: CharParser st (Symbol, EXP)
- parseMap :: CharParser st (Map Symbol EXP)
Documentation
readMorphism :: FilePath -> Morphism Source #
parseMorphism :: CharParser st Morphism Source #
keywordNotFollowedBy :: String -> CharParser st Char -> CharParser st String Source #
endsWithQuot :: CharParser st String Source #
sepByComma :: CharParser st a -> CharParser st [a] Source #
parseWithEq :: String -> CharParser st String Source #
parse1Context :: CharParser st CONTEXT Source #
parseSignature :: CharParser st Sign Source #
parseMorphType :: CharParser st MorphType Source #