Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
FromJSON User Source # | |
Defined in IntelliMonad.Types | |
ToJSON User Source # | |
Generic User Source # | |
Show User Source # | |
Eq User Source # | |
Ord User Source # | |
PersistField User Source # | |
Defined in IntelliMonad.Types toPersistValue :: User -> PersistValue # fromPersistValue :: PersistValue -> Either Text User # | |
PersistFieldSql User Source # | |
SymbolToField "user" Content User Source # | |
Defined in IntelliMonad.Types | |
type Rep User Source # | |
Defined in IntelliMonad.Types type Rep User = D1 ('MetaData "User" "IntelliMonad.Types" "intelli-monad-0.1.0.1-K0OGLBwruMMGEWbNfYizTs" 'False) ((C1 ('MetaCons "User" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "System" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Assistant" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Tool" 'PrefixI 'False) (U1 :: Type -> Type))) |
userToText :: User -> Text Source #
textToUser :: Text -> User Source #
Instances
data FinishReason Source #
Instances
Show FinishReason Source # | |
Defined in IntelliMonad.Types showsPrec :: Int -> FinishReason -> ShowS # show :: FinishReason -> String # showList :: [FinishReason] -> ShowS # | |
Eq FinishReason Source # | |
Defined in IntelliMonad.Types (==) :: FinishReason -> FinishReason -> Bool # (/=) :: FinishReason -> FinishReason -> Bool # |
class ChatCompletion a where Source #
toRequest :: CreateChatCompletionRequest -> a -> CreateChatCompletionRequest Source #
fromResponse :: Text -> CreateChatCompletionResponse -> (a, FinishReason) Source #
Instances
class ChatCompletion a => Validate a b where Source #
tryConvert :: a -> Either a b Source #
toPV :: ToJSON a => a -> PersistValue Source #
Content | |
|
Instances
Context | |
|
Instances
class CustomInstruction a where Source #
Instances
data CustomInstructionProxy Source #
forall t.CustomInstruction t => CustomInstructionProxy (Proxy t) |
type SessionName = Text Source #
toolFunctionName :: Text Source #
default toolFunctionName :: HasFunctionObject a => Text Source #
toolSchema :: ChatCompletionTool Source #
default toolSchema :: (HasFunctionObject a, JSONSchema a, Generic a, GSchema a (Rep a)) => ChatCompletionTool Source #
Instances
Tool ValidateNumber Source # | |
Defined in IntelliMonad.CustomInstructions data Output ValidateNumber Source # | |
Tool Arxiv Source # | |
Defined in IntelliMonad.Tools.Arxiv | |
Tool Bash Source # | |
Defined in IntelliMonad.Tools.Bash | |
Tool DallE3 Source # | |
Defined in IntelliMonad.Tools.DallE3 | |
Tool TextToSpeech Source # | |
Defined in IntelliMonad.Tools.TextToSpeech data Output TextToSpeech Source # |
toChatCompletionTool :: forall a. (HasFunctionObject a, JSONSchema a) => ChatCompletionTool Source #
class HasFunctionObject r where Source #
getFunctionName :: String Source #
getFunctionDescription :: String Source #
getFieldDescription :: String -> String Source #
Instances
HasFunctionObject ValidateNumber Source # | |
Defined in IntelliMonad.CustomInstructions | |
HasFunctionObject Arxiv Source # | |
Defined in IntelliMonad.Tools.Arxiv | |
HasFunctionObject Bash Source # | |
Defined in IntelliMonad.Tools.Bash | |
HasFunctionObject DallE3 Source # | |
Defined in IntelliMonad.Tools.DallE3 | |
HasFunctionObject TextToSpeech Source # | |
Defined in IntelliMonad.Tools.TextToSpeech |
class JSONSchema r where Source #
Nothing
Instances
JSONSchema ValidateNumber Source # | |
Defined in IntelliMonad.CustomInstructions | |
JSONSchema Arxiv Source # | |
Defined in IntelliMonad.Tools.Arxiv | |
JSONSchema Bash Source # | |
Defined in IntelliMonad.Tools.Bash | |
JSONSchema DallE3 Source # | |
Defined in IntelliMonad.Tools.DallE3 | |
JSONSchema TextToSpeech Source # | |
Defined in IntelliMonad.Tools.TextToSpeech | |
JSONSchema Text Source # | |
Defined in IntelliMonad.Types | |
JSONSchema String Source # | |
Defined in IntelliMonad.Types | |
JSONSchema Integer Source # | |
Defined in IntelliMonad.Types | |
JSONSchema () Source # | |
Defined in IntelliMonad.Types | |
JSONSchema Bool Source # | |
Defined in IntelliMonad.Types | |
JSONSchema Double Source # | |
Defined in IntelliMonad.Types | |
JSONSchema Int Source # | |
Defined in IntelliMonad.Types | |
JSONSchema a => JSONSchema (Maybe a) Source # | |
Defined in IntelliMonad.Types | |
JSONSchema a => JSONSchema [a] Source # | |
Defined in IntelliMonad.Types |
class GSchema s f where Source #
Instances
(HasFunctionObject s, JSONSchema c) => GSchema s (U1 :: Type -> Type) Source # | |
(HasFunctionObject s, GSchema s a, GSchema s b) => GSchema s (a :*: b) Source # | |
(HasFunctionObject s, GSchema s a, GSchema s b) => GSchema s (a :+: b) Source # | |
(HasFunctionObject s, JSONSchema c) => GSchema s (K1 i c :: Type -> Type) Source # | |
(HasFunctionObject s, GSchema s f, Constructor c) => GSchema s (M1 C c f) Source # | Constructor Metadata |
(HasFunctionObject s, GSchema s f) => GSchema s (M1 D c f) Source # | Datatype |
(HasFunctionObject s, GSchema s f, Selector c) => GSchema s (M1 S c f) Source # | Selector Metadata |
toolAdd :: forall a. Tool a => CreateChatCompletionRequest -> CreateChatCompletionRequest Source #
data ReplCommand Source #
Instances
Show ReplCommand Source # | |
Defined in IntelliMonad.Types showsPrec :: Int -> ReplCommand -> ShowS # show :: ReplCommand -> String # showList :: [ReplCommand] -> ShowS # | |
Eq ReplCommand Source # | |
Defined in IntelliMonad.Types (==) :: ReplCommand -> ReplCommand -> Bool # (/=) :: ReplCommand -> ReplCommand -> Bool # |