Hets - the Heterogeneous Tool Set

Safe HaskellNone

LF.MorphParser

Synopsis

Documentation

readMorphism :: FilePath -> Morphism Source #

readMorph :: FilePath -> IO (Maybe Morphism) Source #

parseMorphism :: CharParser st Morphism Source #

pkeyword :: String -> CharParser st () Source #

plain string parser with skip

keywordNotFollowedBy :: String -> CharParser st Char -> CharParser st String Source #

skips :: CharParser st a -> CharParser st a Source #

qString :: CharParser st String Source #

parensP :: CharParser st a -> CharParser st a Source #

bracesP :: CharParser st a -> CharParser st a Source #

bracketsP :: CharParser st a -> CharParser st a Source #

endsWithQuot :: CharParser st String Source #

commaP :: CharParser st () Source #

sepByComma :: CharParser st a -> CharParser st [a] Source #

skipChar :: Char -> CharParser st () Source #

parseWithEq :: String -> CharParser st String Source #

parseSym :: CharParser st Symbol Source #

parse1Context :: CharParser st CONTEXT Source #

parseExp :: CharParser st EXP Source #

parseDef :: CharParser st DEF Source #

parseSignature :: CharParser st Sign Source #

parseMorphType :: CharParser st MorphType Source #

parse1Map :: CharParser st (Symbol, EXP) Source #

parseMap :: CharParser st (Map Symbol EXP) Source #