| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HERMIT.Shell.Completion
Documentation
shellComplete :: (MonadCatch m, MonadIO m, MonadState CommandLineState m) => String -> String -> m [Completion] Source
hermit-0.6.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HERMIT.Shell.Completion
shellComplete :: (MonadCatch m, MonadIO m, MonadState CommandLineState m) => String -> String -> m [Completion] Source