| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HERMIT.Shell.Completion
Documentation
completer :: (MonadCatch m, CLMonad m) => String -> String -> m [Completion] Source
hermit-0.7.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HERMIT.Shell.Completion
completer :: (MonadCatch m, CLMonad m) => String -> String -> m [Completion] Source