Documentation

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

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

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

readFromFile :: String -> IO Text Source #

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