| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
IntelliMonad.Repl
Documentation
data ReplCommand Source #
Constructors
| Quit | |
| Clear | |
| ShowContents | |
| ShowUsage | |
| ShowRequest | |
| ShowContext | |
| ShowSession | |
| ListSessions | |
| CopySession (Text, Text) | |
| DeleteSession Text | |
| SwitchSession Text | |
| ReadImage Text | |
| UserInput Text | |
| Help |
Instances
| Show ReplCommand Source # | |
Defined in IntelliMonad.Repl Methods showsPrec :: Int -> ReplCommand -> ShowS # show :: ReplCommand -> String # showList :: [ReplCommand] -> ShowS # | |
| Eq ReplCommand Source # | |
Defined in IntelliMonad.Repl | |
getTextInputLine :: MonadTrans t => t (InputT IO) (Maybe Text) Source #
getUserCommand :: forall p t. (PersistentBackend p, MonadTrans t) => t (InputT IO) (Either (ParseErrorBundle Text Void) ReplCommand) Source #
runRepl :: forall p. PersistentBackend p => [ToolProxy] -> [CustomInstructionProxy] -> Text -> CreateChatCompletionRequest -> Contents -> IO () Source #