Documentation

metaParseExpr :: InteractionId -> ByteString -> TCM Expr Source #

actOnMeta :: [ByteString] -> (InteractionId -> Expr -> TCM a) -> TCM a Source #

parseExpr :: String -> TCM Expr Source #

readM :: Read a => String -> TCM a Source #