| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Agda
Synopsis
- start :: ServerM IO ()
- runAgda :: MonadIO m => ServerM TCM a -> ServerM m (Either String a)
- sendCommand :: MonadIO m => Value -> ServerM m Value
- getCommandLineOptions :: (HasOptions m, MonadIO m) => ServerM m CommandLineOptions
Documentation
runAgda :: MonadIO m => ServerM TCM a -> ServerM m (Either String a) Source #
Run a TCM action in IO and throw away all of the errors TODO: handle the caught errors
sendCommand :: MonadIO m => Value -> ServerM m Value Source #
Convert CommandReq to CommandRes
getCommandLineOptions :: (HasOptions m, MonadIO m) => ServerM m CommandLineOptions Source #