Documentation

type Term a = TrivialABT Term '[] a Source #

parseAndInfer :: Text -> Either Text (TypedAST (TrivialABT Term)) Source #

parseAndInferWithMode :: ABT Term abt => Text -> TypeCheckMode -> Either Text (TypedAST abt) Source #

data Source Source #

sourceInput :: Source -> Maybe (Vector Text) Source #

noFileSource :: Text -> Source Source #

fileSource :: FilePath -> Text -> Source Source #

parseAndInfer' :: Source -> IO (Either Text (TypedAST (TrivialABT Term))) Source #

parseAndInferWithMode' :: ABT Term abt => Source -> TypeCheckMode -> IO (Either Text (TypedAST abt)) Source #

parseAndInferWithDebug :: Bool -> Text -> IO (Either Text (TypedAST (TrivialABT Term))) Source #

splitLines :: Text -> Maybe (Vector Text) Source #

readFromFile :: String -> IO Text Source #

readFromFile' :: String -> IO Source Source #

simpleCommand :: (Text -> IO ()) -> Text -> IO () Source #

writeToFile :: String -> Text -> IO () Source #