intelli-monad-0.1.0.0: Type level prompt with openai.
Safe HaskellSafe-Inferred
LanguageHaskell2010

IntelliMonad.Types

Documentation

data User Source #

Constructors

User 
System 
Assistant 
Tool 

Instances

Instances details
FromJSON User Source # 
Instance details

Defined in IntelliMonad.Types

Methods

parseJSON :: Value -> Parser User #

parseJSONList :: Value -> Parser [User] #

omittedField :: Maybe User #

ToJSON User Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toJSON :: User -> Value #

toEncoding :: User -> Encoding #

toJSONList :: [User] -> Value #

toEncodingList :: [User] -> Encoding #

omitField :: User -> Bool #

Generic User Source # 
Instance details

Defined in IntelliMonad.Types

Associated Types

type Rep User :: Type -> Type #

Methods

from :: User -> Rep User x #

to :: Rep User x -> User #

Show User Source # 
Instance details

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> User -> ShowS #

show :: User -> String #

showList :: [User] -> ShowS #

Eq User Source # 
Instance details

Defined in IntelliMonad.Types

Methods

(==) :: User -> User -> Bool #

(/=) :: User -> User -> Bool #

Ord User Source # 
Instance details

Defined in IntelliMonad.Types

Methods

compare :: User -> User -> Ordering #

(<) :: User -> User -> Bool #

(<=) :: User -> User -> Bool #

(>) :: User -> User -> Bool #

(>=) :: User -> User -> Bool #

max :: User -> User -> User #

min :: User -> User -> User #

PersistField User Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toPersistValue :: User -> PersistValue #

fromPersistValue :: PersistValue -> Either Text User #

PersistFieldSql User Source # 
Instance details

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy User -> SqlType #

SymbolToField "user" Content User Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content User #

type Rep User Source # 
Instance details

Defined in IntelliMonad.Types

type Rep User = D1 ('MetaData "User" "IntelliMonad.Types" "intelli-monad-0.1.0.0-6BpztJHho7HBDfRb11eSn6" '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 #

data Message Source #

Constructors

Message 

Fields

Image 

Fields

ToolCall 

Fields

ToolReturn 

Fields

Instances

Instances details
FromJSON Message Source # 
Instance details

Defined in IntelliMonad.Types

Methods

parseJSON :: Value -> Parser Message #

parseJSONList :: Value -> Parser [Message] #

omittedField :: Maybe Message #

ToJSON Message Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toJSON :: Message -> Value #

toEncoding :: Message -> Encoding #

toJSONList :: [Message] -> Value #

toEncodingList :: [Message] -> Encoding #

omitField :: Message -> Bool #

Generic Message Source # 
Instance details

Defined in IntelliMonad.Types

Associated Types

type Rep Message :: Type -> Type #

Methods

from :: Message -> Rep Message x #

to :: Rep Message x -> Message #

Show Message Source # 
Instance details

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Message -> ShowS #

show :: Message -> String #

showList :: [Message] -> ShowS #

Eq Message Source # 
Instance details

Defined in IntelliMonad.Types

Methods

(==) :: Message -> Message -> Bool #

(/=) :: Message -> Message -> Bool #

Ord Message Source # 
Instance details

Defined in IntelliMonad.Types

Methods

compare :: Message -> Message -> Ordering #

(<) :: Message -> Message -> Bool #

(<=) :: Message -> Message -> Bool #

(>) :: Message -> Message -> Bool #

(>=) :: Message -> Message -> Bool #

max :: Message -> Message -> Message #

min :: Message -> Message -> Message #

PersistField Message Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toPersistValue :: Message -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Message #

PersistFieldSql Message Source # 
Instance details

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy Message -> SqlType #

SymbolToField "message" Content Message Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content Message #

type Rep Message Source # 
Instance details

Defined in IntelliMonad.Types

type Rep Message = D1 ('MetaData "Message" "IntelliMonad.Types" "intelli-monad-0.1.0.0-6BpztJHho7HBDfRb11eSn6" 'False) ((C1 ('MetaCons "Message" 'PrefixI 'True) (S1 ('MetaSel ('Just "unText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Image" 'PrefixI 'True) (S1 ('MetaSel ('Just "imageType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "imageData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "ToolCall" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "toolName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "toolArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: C1 ('MetaCons "ToolReturn" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "toolName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "toolContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

data FinishReason Source #

Constructors

Stop 
Length 
ToolCalls 
FunctionCall 
ContentFilter 
Null 

Instances

Instances details
Show FinishReason Source # 
Instance details

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> FinishReason -> ShowS #

show :: FinishReason -> String #

showList :: [FinishReason] -> ShowS #

Eq FinishReason Source # 
Instance details

Defined in IntelliMonad.Types

Methods

(==) :: FinishReason -> FinishReason -> Bool #

(/=) :: FinishReason -> FinishReason -> Bool #

finishReasonToText :: FinishReason -> Text Source #

textToFinishReason :: Text -> FinishReason Source #

newtype Model Source #

Constructors

Model Text 

Instances

Instances details
Show Model Source # 
Instance details

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Model -> ShowS #

show :: Model -> String #

showList :: [Model] -> ShowS #

Eq Model Source # 
Instance details

Defined in IntelliMonad.Types

Methods

(==) :: Model -> Model -> Bool #

(/=) :: Model -> Model -> Bool #

class ChatCompletion a where Source #

Methods

toRequest :: CreateChatCompletionRequest -> a -> CreateChatCompletionRequest Source #

fromResponse :: Text -> CreateChatCompletionResponse -> (a, FinishReason) Source #

Instances

Instances details
ChatCompletion Contents Source # 
Instance details

Defined in IntelliMonad.Prompt

Methods

toRequest :: CreateChatCompletionRequest -> Contents -> CreateChatCompletionRequest Source #

fromResponse :: Text -> CreateChatCompletionResponse -> (Contents, FinishReason) Source #

class ChatCompletion a => Validate a b where Source #

Methods

tryConvert :: a -> Either a b Source #

toPV :: ToJSON a => a -> PersistValue Source #

fromPV :: FromJSON a => PersistValue -> Either Text a Source #

data Content Source #

Constructors

Content 

Fields

Instances

Instances details
Show Content Source # 
Instance details

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Content -> ShowS #

show :: Content -> String #

showList :: [Content] -> ShowS #

Eq Content Source # 
Instance details

Defined in IntelliMonad.Types

Methods

(==) :: Content -> Content -> Bool #

(/=) :: Content -> Content -> Bool #

Ord Content Source # 
Instance details

Defined in IntelliMonad.Types

Methods

compare :: Content -> Content -> Ordering #

(<) :: Content -> Content -> Bool #

(<=) :: Content -> Content -> Bool #

(>) :: Content -> Content -> Bool #

(>=) :: Content -> Content -> Bool #

max :: Content -> Content -> Content #

min :: Content -> Content -> Content #

ChatCompletion Contents Source # 
Instance details

Defined in IntelliMonad.Prompt

Methods

toRequest :: CreateChatCompletionRequest -> Contents -> CreateChatCompletionRequest Source #

fromResponse :: Text -> CreateChatCompletionResponse -> (Contents, FinishReason) Source #

PersistEntity Content Source # 
Instance details

Defined in IntelliMonad.Types

Associated Types

type PersistEntityBackend Content #

data Key Content #

data EntityField Content :: Type -> Type #

data Unique Content #

Methods

keyToValues :: Key Content -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key Content) #

persistIdField :: EntityField Content (Key Content) #

entityDef :: proxy Content -> EntityDef #

persistFieldDef :: EntityField Content typ -> FieldDef #

toPersistFields :: Content -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text Content #

tabulateEntityA :: Applicative f => (forall a. EntityField Content a -> f a) -> f (Entity Content) #

persistUniqueKeys :: Content -> [Unique Content] #

persistUniqueToFieldNames :: Unique Content -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique Content -> [PersistValue] #

fieldLens :: EntityField Content field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Content -> f (Entity Content) #

keyFromRecordM :: Maybe (Content -> Key Content) #

SafeToInsert Content Source # 
Instance details

Defined in IntelliMonad.Types

PersistField Content Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toPersistValue :: Content -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Content #

(TypeError (MultipleUniqueKeysError Content) :: Constraint) => AtLeastOneUniqueKey Content Source # 
Instance details

Defined in IntelliMonad.Types

Methods

requireUniquesP :: Content -> NonEmpty (Unique Content) #

(TypeError (NoUniqueKeysError Content) :: Constraint) => OnlyOneUniqueKey Content Source # 
Instance details

Defined in IntelliMonad.Types

Methods

onlyUniqueP :: Content -> Unique Content #

PersistFieldSql Content Source # 
Instance details

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy Content -> SqlType #

ToBackendKey SqlBackend Content Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toBackendKey :: Key Content -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key Content #

SymbolToField "created" Content UTCTime Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content UTCTime #

SymbolToField "message" Content Message Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content Message #

SymbolToField "sessionName" Content Text Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content Text #

SymbolToField "user" Content User Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content User #

SymbolToField "body" Context [Content] Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content] #

SymbolToField "footer" Context [Content] Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content] #

SymbolToField "header" Context [Content] Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content] #

SymbolToField "id" Content (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content (Key Content) #

FromJSON (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

parseJSON :: Value -> Parser (Key Content) #

parseJSONList :: Value -> Parser [Key Content] #

omittedField :: Maybe (Key Content) #

ToJSON (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toJSON :: Key Content -> Value #

toEncoding :: Key Content -> Encoding #

toJSONList :: [Key Content] -> Value #

toEncodingList :: [Key Content] -> Encoding #

omitField :: Key Content -> Bool #

Read (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

readsPrec :: Int -> ReadS (Key Content) #

readList :: ReadS [Key Content] #

readPrec :: ReadPrec (Key Content) #

readListPrec :: ReadPrec [Key Content] #

Show (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Key Content -> ShowS #

show :: Key Content -> String #

showList :: [Key Content] -> ShowS #

Eq (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

(==) :: Key Content -> Key Content -> Bool #

(/=) :: Key Content -> Key Content -> Bool #

Ord (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

compare :: Key Content -> Key Content -> Ordering #

(<) :: Key Content -> Key Content -> Bool #

(<=) :: Key Content -> Key Content -> Bool #

(>) :: Key Content -> Key Content -> Bool #

(>=) :: Key Content -> Key Content -> Bool #

max :: Key Content -> Key Content -> Key Content #

min :: Key Content -> Key Content -> Key Content #

FromHttpApiData (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

parseUrlPiece :: Text -> Either Text (Key Content) #

parseHeader :: ByteString -> Either Text (Key Content) #

parseQueryParam :: Text -> Either Text (Key Content) #

ToHttpApiData (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toUrlPiece :: Key Content -> Text #

toEncodedUrlPiece :: Key Content -> Builder #

toHeader :: Key Content -> ByteString #

toQueryParam :: Key Content -> Text #

toEncodedQueryParam :: Key Content -> Builder #

PathPiece (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

fromPathPiece :: Text -> Maybe (Key Content) #

toPathPiece :: Key Content -> Text #

PersistField (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toPersistValue :: Key Content -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key Content) #

PersistFieldSql (Key Content) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy (Key Content) -> SqlType #

data EntityField Content typ Source # 
Instance details

Defined in IntelliMonad.Types

data EntityField Content typ
newtype Key Content Source # 
Instance details

Defined in IntelliMonad.Types

newtype Key Content = ContentKey {}
type PersistEntityBackend Content Source # 
Instance details

Defined in IntelliMonad.Types

type PersistEntityBackend Content = SqlBackend
data Unique Content Source # 
Instance details

Defined in IntelliMonad.Types

data Unique Content

type ContentId = Key Content Source #

data Context Source #

Constructors

Context 

Fields

Instances

Instances details
Show Context Source # 
Instance details

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Context -> ShowS #

show :: Context -> String #

showList :: [Context] -> ShowS #

Eq Context Source # 
Instance details

Defined in IntelliMonad.Types

Methods

(==) :: Context -> Context -> Bool #

(/=) :: Context -> Context -> Bool #

Ord Context Source # 
Instance details

Defined in IntelliMonad.Types

Methods

compare :: Context -> Context -> Ordering #

(<) :: Context -> Context -> Bool #

(<=) :: Context -> Context -> Bool #

(>) :: Context -> Context -> Bool #

(>=) :: Context -> Context -> Bool #

max :: Context -> Context -> Context #

min :: Context -> Context -> Context #

PersistEntity Context Source # 
Instance details

Defined in IntelliMonad.Types

Associated Types

type PersistEntityBackend Context #

data Key Context #

data EntityField Context :: Type -> Type #

data Unique Context #

Methods

keyToValues :: Key Context -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key Context) #

persistIdField :: EntityField Context (Key Context) #

entityDef :: proxy Context -> EntityDef #

persistFieldDef :: EntityField Context typ -> FieldDef #

toPersistFields :: Context -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text Context #

tabulateEntityA :: Applicative f => (forall a. EntityField Context a -> f a) -> f (Entity Context) #

persistUniqueKeys :: Context -> [Unique Context] #

persistUniqueToFieldNames :: Unique Context -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique Context -> [PersistValue] #

fieldLens :: EntityField Context field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Context -> f (Entity Context) #

keyFromRecordM :: Maybe (Context -> Key Context) #

SafeToInsert Context Source # 
Instance details

Defined in IntelliMonad.Types

PersistField Context Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toPersistValue :: Context -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Context #

(TypeError (MultipleUniqueKeysError Context) :: Constraint) => AtLeastOneUniqueKey Context Source # 
Instance details

Defined in IntelliMonad.Types

Methods

requireUniquesP :: Context -> NonEmpty (Unique Context) #

(TypeError (NoUniqueKeysError Context) :: Constraint) => OnlyOneUniqueKey Context Source # 
Instance details

Defined in IntelliMonad.Types

Methods

onlyUniqueP :: Context -> Unique Context #

PersistFieldSql Context Source # 
Instance details

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy Context -> SqlType #

ToBackendKey SqlBackend Context Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toBackendKey :: Key Context -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key Context #

SymbolToField "created" Context UTCTime Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context UTCTime #

SymbolToField "request" Context CreateChatCompletionRequest Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context CreateChatCompletionRequest #

SymbolToField "sessionName" Context Text Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context Text #

SymbolToField "totalTokens" Context Int Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context Int #

SymbolToField "body" Context [Content] Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content] #

SymbolToField "footer" Context [Content] Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content] #

SymbolToField "header" Context [Content] Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content] #

SymbolToField "id" Context (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context (Key Context) #

SymbolToField "response" Context (Maybe CreateChatCompletionResponse) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context (Maybe CreateChatCompletionResponse) #

FromJSON (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

parseJSON :: Value -> Parser (Key Context) #

parseJSONList :: Value -> Parser [Key Context] #

omittedField :: Maybe (Key Context) #

ToJSON (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toJSON :: Key Context -> Value #

toEncoding :: Key Context -> Encoding #

toJSONList :: [Key Context] -> Value #

toEncodingList :: [Key Context] -> Encoding #

omitField :: Key Context -> Bool #

Read (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

readsPrec :: Int -> ReadS (Key Context) #

readList :: ReadS [Key Context] #

readPrec :: ReadPrec (Key Context) #

readListPrec :: ReadPrec [Key Context] #

Show (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Key Context -> ShowS #

show :: Key Context -> String #

showList :: [Key Context] -> ShowS #

Eq (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

(==) :: Key Context -> Key Context -> Bool #

(/=) :: Key Context -> Key Context -> Bool #

Ord (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

compare :: Key Context -> Key Context -> Ordering #

(<) :: Key Context -> Key Context -> Bool #

(<=) :: Key Context -> Key Context -> Bool #

(>) :: Key Context -> Key Context -> Bool #

(>=) :: Key Context -> Key Context -> Bool #

max :: Key Context -> Key Context -> Key Context #

min :: Key Context -> Key Context -> Key Context #

FromHttpApiData (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

parseUrlPiece :: Text -> Either Text (Key Context) #

parseHeader :: ByteString -> Either Text (Key Context) #

parseQueryParam :: Text -> Either Text (Key Context) #

ToHttpApiData (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toUrlPiece :: Key Context -> Text #

toEncodedUrlPiece :: Key Context -> Builder #

toHeader :: Key Context -> ByteString #

toQueryParam :: Key Context -> Text #

toEncodedQueryParam :: Key Context -> Builder #

PathPiece (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

fromPathPiece :: Text -> Maybe (Key Context) #

toPathPiece :: Key Context -> Text #

PersistField (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

toPersistValue :: Key Context -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key Context) #

PersistFieldSql (Key Context) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy (Key Context) -> SqlType #

data EntityField Context typ Source # 
Instance details

Defined in IntelliMonad.Types

data EntityField Context typ
newtype Key Context Source # 
Instance details

Defined in IntelliMonad.Types

newtype Key Context = ContextKey {}
type PersistEntityBackend Context Source # 
Instance details

Defined in IntelliMonad.Types

type PersistEntityBackend Context = SqlBackend
data Unique Context Source # 
Instance details

Defined in IntelliMonad.Types

data Unique Context

type ContextId = Key Context Source #

migrateAll :: Migration Source #

entityDefListFormigrateAll :: [EntityDef] Source #

data ToolProxy Source #

Constructors

forall t.(Tool t, FromJSON t, ToJSON t, FromJSON (Output t), ToJSON (Output t)) => ToolProxy (Proxy t) 

class CustomInstruction a where Source #

Methods

customHeader :: Contents Source #

customFooter :: Contents Source #

Instances

Instances details
CustomInstruction Math Source # 
Instance details

Defined in IntelliMonad.CustomInstructions

Methods

customHeader :: Contents Source #

customFooter :: Contents Source #

data CustomInstructionProxy Source #

Constructors

forall t.CustomInstruction t => CustomInstructionProxy (Proxy t) 

data PromptEnv Source #

Constructors

PromptEnv 

Fields

type Contents = [Content] Source #

type Prompt = StateT PromptEnv Source #

type SessionName = Text Source #

defaultRequest :: CreateChatCompletionRequest Source #

class Tool a where Source #

Minimal complete definition

toolExec

Associated Types

data Output a :: Type Source #

Methods

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 #

toolExec :: a -> IO (Output a) Source #

Instances

Instances details
Tool ValidateNumber Source # 
Instance details

Defined in IntelliMonad.CustomInstructions

Associated Types

data Output ValidateNumber Source #

Methods

toolFunctionName :: Text Source #

toolSchema :: ChatCompletionTool Source #

toolExec :: ValidateNumber -> IO (Output ValidateNumber) Source #

Tool Bash Source # 
Instance details

Defined in IntelliMonad.Tools.Bash

Associated Types

data Output Bash Source #

Methods

toolFunctionName :: Text Source #

toolSchema :: ChatCompletionTool Source #

toolExec :: Bash -> IO (Output Bash) Source #

Tool DallE3 Source # 
Instance details

Defined in IntelliMonad.Tools.DallE3

Associated Types

data Output DallE3 Source #

Methods

toolFunctionName :: Text Source #

toolSchema :: ChatCompletionTool Source #

toolExec :: DallE3 -> IO (Output DallE3) Source #

Tool TextToSpeech Source # 
Instance details

Defined in IntelliMonad.Tools.TextToSpeech

Associated Types

data Output TextToSpeech Source #

Methods

toolFunctionName :: Text Source #

toolSchema :: ChatCompletionTool Source #

toolExec :: TextToSpeech -> IO (Output TextToSpeech) Source #

toChatCompletionTool :: forall a. (HasFunctionObject a, JSONSchema a) => ChatCompletionTool Source #

class HasFunctionObject r where Source #

Methods

getFunctionName :: String Source #

getFunctionDescription :: String Source #

getFieldDescription :: String -> String Source #

Instances

Instances details
HasFunctionObject ValidateNumber Source # 
Instance details

Defined in IntelliMonad.CustomInstructions

Methods

getFunctionName :: String Source #

getFunctionDescription :: String Source #

getFieldDescription :: String -> String Source #

HasFunctionObject Bash Source # 
Instance details

Defined in IntelliMonad.Tools.Bash

Methods

getFunctionName :: String Source #

getFunctionDescription :: String Source #

getFieldDescription :: String -> String Source #

HasFunctionObject DallE3 Source # 
Instance details

Defined in IntelliMonad.Tools.DallE3

Methods

getFunctionName :: String Source #

getFunctionDescription :: String Source #

getFieldDescription :: String -> String Source #

HasFunctionObject TextToSpeech Source # 
Instance details

Defined in IntelliMonad.Tools.TextToSpeech

Methods

getFunctionName :: String Source #

getFunctionDescription :: String Source #

getFieldDescription :: String -> String Source #

class JSONSchema r where Source #

Minimal complete definition

Nothing

Methods

schema :: Schema Source #

default schema :: (HasFunctionObject r, Generic r, GSchema r (Rep r)) => Schema Source #

Instances

Instances details
JSONSchema ValidateNumber Source # 
Instance details

Defined in IntelliMonad.CustomInstructions

Methods

schema :: Schema Source #

JSONSchema Bash Source # 
Instance details

Defined in IntelliMonad.Tools.Bash

Methods

schema :: Schema Source #

JSONSchema DallE3 Source # 
Instance details

Defined in IntelliMonad.Tools.DallE3

Methods

schema :: Schema Source #

JSONSchema TextToSpeech Source # 
Instance details

Defined in IntelliMonad.Tools.TextToSpeech

Methods

schema :: Schema Source #

JSONSchema Text Source # 
Instance details

Defined in IntelliMonad.Types

Methods

schema :: Schema Source #

JSONSchema String Source # 
Instance details

Defined in IntelliMonad.Types

Methods

schema :: Schema Source #

JSONSchema Integer Source # 
Instance details

Defined in IntelliMonad.Types

Methods

schema :: Schema Source #

JSONSchema () Source # 
Instance details

Defined in IntelliMonad.Types

Methods

schema :: Schema Source #

JSONSchema Bool Source # 
Instance details

Defined in IntelliMonad.Types

Methods

schema :: Schema Source #

JSONSchema Double Source # 
Instance details

Defined in IntelliMonad.Types

Methods

schema :: Schema Source #

JSONSchema a => JSONSchema (Maybe a) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

schema :: Schema Source #

JSONSchema a => JSONSchema [a] Source # 
Instance details

Defined in IntelliMonad.Types

Methods

schema :: Schema Source #

class GSchema s f where Source #

Methods

gschema :: forall a. f a -> Schema Source #

Instances

Instances details
(HasFunctionObject s, JSONSchema c) => GSchema s (U1 :: Type -> Type) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

gschema :: U1 a -> Schema Source #

(HasFunctionObject s, GSchema s a, GSchema s b) => GSchema s (a :*: b) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

gschema :: (a :*: b) a0 -> Schema Source #

(HasFunctionObject s, GSchema s a, GSchema s b) => GSchema s (a :+: b) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

gschema :: (a :+: b) a0 -> Schema Source #

(HasFunctionObject s, JSONSchema c) => GSchema s (K1 i c :: Type -> Type) Source # 
Instance details

Defined in IntelliMonad.Types

Methods

gschema :: K1 i c a -> Schema Source #

(HasFunctionObject s, GSchema s f, Constructor c) => GSchema s (M1 C c f) Source #

Constructor Metadata

Instance details

Defined in IntelliMonad.Types

Methods

gschema :: M1 C c f a -> Schema Source #

(HasFunctionObject s, GSchema s f) => GSchema s (M1 D c f) Source #

Datatype

Instance details

Defined in IntelliMonad.Types

Methods

gschema :: M1 D c f a -> Schema Source #

(HasFunctionObject s, GSchema s f, Selector c) => GSchema s (M1 S c f) Source #

Selector Metadata

Instance details

Defined in IntelliMonad.Types

Methods

gschema :: M1 S c f a -> Schema Source #

data Schema Source #

Constructors

Maybe' Schema 
String' 
Number' 
Integer' 
Object' [(String, String, Schema)] 
Array' Schema 
Boolean' 
Null' 

Instances

Instances details
Semigroup Schema Source # 
Instance details

Defined in IntelliMonad.Types

Methods

(<>) :: Schema -> Schema -> Schema #

sconcat :: NonEmpty Schema -> Schema #

stimes :: Integral b => b -> Schema -> Schema #

toAeson :: Schema -> Value Source #

append :: Value -> Value -> Value Source #

toolAdd :: forall a. Tool a => CreateChatCompletionRequest -> CreateChatCompletionRequest Source #

defaultUTCTime :: UTCTime Source #

Orphan instances