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