Documentation

parseCore :: FilePath -> IO (Either ParseError Module)Source

coreModuleName :: Parser AnMnameSource

coreTcon :: Parser ATyOpSource

coreQualifiedName :: Parser (Mname, Id)Source

upperName :: Parser StringSource

identifier :: Parser StringSource

coreType :: Parser TySource

coreKind :: Parser KindSource

coreTbinds :: Parser [Tbind]Source

parens :: CharParser st a -> CharParser st aSource

braces :: CharParser st a -> CharParser st aSource

topVbind :: Parser (Qual Var, Ty)Source

pt :: Show a => CharParser () a -> String -> IO ()Source