Language.Hakaru.Command

Documentation

type Term a = TrivialABT Term '[] a

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

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

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

splitLines :: Text -> Maybe (Vector Text)

readFromFile :: String -> IO Text

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

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