IntelliMonad.Repl

Documentation

type Parser = Parsec Void Text

parseRepl :: Parser ReplCommand

getTextInputLine :: MonadTrans t => t (InputT IO) (Maybe Text)

getUserCommand :: forall p t. (PersistentBackend p, MonadTrans t) => t (InputT IO) (Either (ParseErrorBundle Text Void) ReplCommand)

editWithEditor :: forall m. (MonadIO m, MonadFail m) => m (Maybe Text)

editRequestWithEditor :: forall m. (MonadIO m, MonadFail m) => CreateChatCompletionRequest -> m (Maybe CreateChatCompletionRequest)

editContentsWithEditor :: forall m. (MonadIO m, MonadFail m) => Contents -> m (Maybe Contents)

runCmd' :: forall p. PersistentBackend p => Either (ParseErrorBundle Text Void) ReplCommand -> Maybe (Prompt (InputT IO) ()) -> Prompt (InputT IO) ()

runRepl' :: forall p. PersistentBackend p => Prompt (InputT IO) ()

runRepl :: forall p. PersistentBackend p => [ToolProxy] -> [CustomInstructionProxy] -> Text -> CreateChatCompletionRequest -> Contents -> IO ()