Documentation

unsafeGetRightFrom :: (Var v, Show v) => String -> Either (Err v) a -> a Source #

parse :: (Monad m, Var v) => P v m a -> String -> ParsingEnv m -> m (Either (Err v) a) Source #

parseTerm :: (Monad m, Var v) => String -> ParsingEnv m -> m (Either (Err v) (Term v Ann)) Source #

parseType :: (Monad m, Var v) => String -> ParsingEnv m -> m (Either (Err v) (Type v Ann)) Source #

parseFile :: (Monad m, Var v) => FilePath -> String -> ParsingEnv m -> m (Either (Err v) (UnisonFile v Ann)) Source #

readAndParseFile :: (MonadIO m, Var v) => ParsingEnv m -> FilePath -> m (Either (Err v) (UnisonFile v Ann)) Source #

unsafeParseTerm :: (Monad m, Var v) => String -> ParsingEnv m -> m (Term v Ann) Source #

unsafeReadAndParseFile :: ParsingEnv IO -> FilePath -> IO (UnisonFile Symbol Ann) Source #

unsafeParseFileBuiltinsOnly :: FilePath -> IO (UnisonFile Symbol Ann) Source #

unsafeParseFile :: Monad m => String -> ParsingEnv m -> m (UnisonFile Symbol Ann) Source #