Proof.Assistant.Helpers

Documentation

toInt :: forall a b. (Num b, Integral b, Coercible a b) => a -> Int

Cast something to Int.

t2s :: Coercible a Text => a -> String

Cast something to String.

asyncWait :: Time -> IO ()

Wait N seconds.

dropCommand :: ByteString -> ByteString

If input starts with / drop the whole command with a space and return the remaining part.

dropSubCommand :: ByteString -> ByteString

Drop not only command but sub-command too.

toBS :: String -> ByteString

Cast UTF-8 String to ByteString.

fromBS :: ByteString -> String

Cast UTF-8 ByteString to String.

bsToText :: ByteString -> Text

Cast UTF-8 ByteString to Text.

textToBS :: Text -> ByteString

Cast UTF-8 ByteString to Text.

processError :: SomeException -> IO ByteString

Cast some exception to ByteString.

handleErrorMaybe :: IO ByteString -> IO ByteString

Wrap IO action with processError and return error message as ByteString.