Evince.App

Definitions

tryApp : App (err :: Init) a -> IO (Either err a)

  Run an App computation, capturing the typed error as Either.

Visibility: export

mustError : App (err :: Init) a -> TestResultT IO ()

  Passes if the App computation produces an error of the expected type.

Visibility: export

mustErrorWith : (Show err, DecEq err) => App (err :: Init) a -> err -> TestResultT IO ()

  Passes if the App computation produces the specific error value.

Visibility: export