IntelliMonad.Types

Documentation

data User

Constructors

User

System

Assistant

Tool

Instances

FromJSON User

Defined in IntelliMonad.Types

Methods

parseJSON :: Value -> Parser User

parseJSONList :: Value -> Parser [User]

omittedField :: Maybe User

ToJSON User

Defined in IntelliMonad.Types

Methods

toJSON :: User -> Value

toEncoding :: User -> Encoding

toJSONList :: [User] -> Value

toEncodingList :: [User] -> Encoding

omitField :: User -> Bool

Generic User

Defined in IntelliMonad.Types

Associated Types

type Rep User :: Type -> Type

Methods

from :: User -> Rep User x

to :: Rep User x -> User

Show User

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> User -> ShowS

show :: User -> String

showList :: [User] -> ShowS

Eq User

Defined in IntelliMonad.Types

Methods

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

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

Ord User

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

Defined in IntelliMonad.Types

Methods

toPersistValue :: User -> PersistValue

fromPersistValue :: PersistValue -> Either Text User

PersistFieldSql User

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy User -> SqlType

SymbolToField "user" Content User

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content User

type Rep User

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

textToUser :: Text -> User

data Message

Constructors

Message

Fields

• unText :: Text

Image

Fields

• imageType :: Text
• imageData :: Text

ToolCall

Fields

• toolId :: Text
• toolName :: Text
• toolArguments :: Text

ToolReturn

Fields

• toolId :: Text
• toolName :: Text
• toolContent :: Text

Instances

FromJSON Message

Defined in IntelliMonad.Types

Methods

parseJSON :: Value -> Parser Message

parseJSONList :: Value -> Parser [Message]

omittedField :: Maybe Message

ToJSON Message

Defined in IntelliMonad.Types

Methods

toJSON :: Message -> Value

toEncoding :: Message -> Encoding

toJSONList :: [Message] -> Value

toEncodingList :: [Message] -> Encoding

omitField :: Message -> Bool

Generic Message

Defined in IntelliMonad.Types

Associated Types

type Rep Message :: Type -> Type

Methods

from :: Message -> Rep Message x

to :: Rep Message x -> Message

Show Message

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Message -> ShowS

show :: Message -> String

showList :: [Message] -> ShowS

Eq Message

Defined in IntelliMonad.Types

Methods

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

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

Ord Message

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

Defined in IntelliMonad.Types

Methods

toPersistValue :: Message -> PersistValue

fromPersistValue :: PersistValue -> Either Text Message

PersistFieldSql Message

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy Message -> SqlType

SymbolToField "message" Content Message

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content Message

type Rep Message

Defined in IntelliMonad.Types

type Rep Message = D1 ('MetaData "Message" "IntelliMonad.Types" "intelli-monad-0.1.0.1-K0OGLBwruMMGEWbNfYizTs" '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

Constructors

Stop

Length

ToolCalls

FunctionCall

ContentFilter

Null

Instances

Show FinishReason

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> FinishReason -> ShowS

show :: FinishReason -> String

showList :: [FinishReason] -> ShowS

Eq FinishReason

Defined in IntelliMonad.Types

Methods

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

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

finishReasonToText :: FinishReason -> Text

textToFinishReason :: Text -> FinishReason

newtype Model

Constructors

Model Text

Instances

Show Model

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Model -> ShowS

show :: Model -> String

showList :: [Model] -> ShowS

Eq Model

Defined in IntelliMonad.Types

Methods

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

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

class ChatCompletion a where

Methods

toRequest :: CreateChatCompletionRequest -> a -> CreateChatCompletionRequest

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

Instances

ChatCompletion Contents

Defined in IntelliMonad.Prompt

Methods

toRequest :: CreateChatCompletionRequest -> Contents -> CreateChatCompletionRequest

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

class ChatCompletion a => Validate a b where

Methods

tryConvert :: a -> Either a b

toPV :: ToJSON a => a -> PersistValue

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

data Content

Constructors

Content

Fields

• contentUser :: !User
• contentMessage :: !Message
• contentSessionName :: !Text
• contentCreated :: !UTCTime

Instances

FromJSON Content

Defined in IntelliMonad.Types

Methods

parseJSON :: Value -> Parser Content

parseJSONList :: Value -> Parser [Content]

omittedField :: Maybe Content

ToJSON Content

Defined in IntelliMonad.Types

Methods

toJSON :: Content -> Value

toEncoding :: Content -> Encoding

toJSONList :: [Content] -> Value

toEncodingList :: [Content] -> Encoding

omitField :: Content -> Bool

Generic Content

Defined in IntelliMonad.Types

Associated Types

type Rep Content :: Type -> Type

Methods

from :: Content -> Rep Content x

to :: Rep Content x -> Content

Show Content

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Content -> ShowS

show :: Content -> String

showList :: [Content] -> ShowS

Eq Content

Defined in IntelliMonad.Types

Methods

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

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

Ord Content

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

Defined in IntelliMonad.Prompt

Methods

toRequest :: CreateChatCompletionRequest -> Contents -> CreateChatCompletionRequest

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

PersistEntity Content

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

Defined in IntelliMonad.Types

PersistField Content

Defined in IntelliMonad.Types

Methods

toPersistValue :: Content -> PersistValue

fromPersistValue :: PersistValue -> Either Text Content

(TypeError (MultipleUniqueKeysError Content) :: Constraint) => AtLeastOneUniqueKey Content

Defined in IntelliMonad.Types

Methods

requireUniquesP :: Content -> NonEmpty (Unique Content)

(TypeError (NoUniqueKeysError Content) :: Constraint) => OnlyOneUniqueKey Content

Defined in IntelliMonad.Types

Methods

onlyUniqueP :: Content -> Unique Content

PersistFieldSql Content

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy Content -> SqlType

ToBackendKey SqlBackend Content

Defined in IntelliMonad.Types

Methods

toBackendKey :: Key Content -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Content

SymbolToField "created" Content UTCTime

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content UTCTime

SymbolToField "message" Content Message

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content Message

SymbolToField "sessionName" Content Text

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content Text

SymbolToField "user" Content User

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content User

SymbolToField "body" Context [Content]

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content]

SymbolToField "footer" Context [Content]

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content]

SymbolToField "header" Context [Content]

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content]

SymbolToField "id" Content (Key Content)

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Content (Key Content)

FromJSON (Key Content)

Defined in IntelliMonad.Types

Methods

parseJSON :: Value -> Parser (Key Content)

parseJSONList :: Value -> Parser [Key Content]

omittedField :: Maybe (Key Content)

ToJSON (Key Content)

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)

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)

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Key Content -> ShowS

show :: Key Content -> String

showList :: [Key Content] -> ShowS

Eq (Key Content)

Defined in IntelliMonad.Types

Methods

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

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

Ord (Key Content)

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)

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)

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)

Defined in IntelliMonad.Types

Methods

fromPathPiece :: Text -> Maybe (Key Content)

toPathPiece :: Key Content -> Text

PersistField (Key Content)

Defined in IntelliMonad.Types

Methods

toPersistValue :: Key Content -> PersistValue

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

PersistFieldSql (Key Content)

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy (Key Content) -> SqlType

type Rep Content

Defined in IntelliMonad.Types

type Rep Content = D1 ('MetaData "Content" "IntelliMonad.Types" "intelli-monad-0.1.0.1-K0OGLBwruMMGEWbNfYizTs" 'False) (C1 ('MetaCons "Content" 'PrefixI 'True) ((S1 ('MetaSel ('Just "contentUser") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 User) :*: S1 ('MetaSel ('Just "contentMessage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Message)) :*: (S1 ('MetaSel ('Just "contentSessionName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "contentCreated") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime))))

data EntityField Content typ

Defined in IntelliMonad.Types

data EntityField Content typ

• = typ ~ ContentId => ContentId
• | typ ~ User => ContentUser
• | typ ~ Message => ContentMessage
• | typ ~ Text => ContentSessionName
• | typ ~ UTCTime => ContentCreated

newtype Key Content

Defined in IntelliMonad.Types

newtype Key Content = ContentKey {

• unContentKey :: BackendKey SqlBackend

}

type PersistEntityBackend Content

Defined in IntelliMonad.Types

type PersistEntityBackend Content = SqlBackend

data Unique Content

Defined in IntelliMonad.Types

data Unique Content

type ContentId = Key Content

data Context

Constructors

Context

Fields

• contextRequest :: !CreateChatCompletionRequest
• contextResponse :: !(Maybe CreateChatCompletionResponse)
• contextHeader :: ![Content]
• contextBody :: ![Content]
• contextFooter :: ![Content]
• contextTotalTokens :: !Int
• contextSessionName :: !Text
• contextCreated :: !UTCTime

Instances

Show Context

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

Eq Context

Defined in IntelliMonad.Types

Methods

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

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

Ord Context

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

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

Defined in IntelliMonad.Types

PersistField Context

Defined in IntelliMonad.Types

Methods

toPersistValue :: Context -> PersistValue

fromPersistValue :: PersistValue -> Either Text Context

(TypeError (MultipleUniqueKeysError Context) :: Constraint) => AtLeastOneUniqueKey Context

Defined in IntelliMonad.Types

Methods

requireUniquesP :: Context -> NonEmpty (Unique Context)

(TypeError (NoUniqueKeysError Context) :: Constraint) => OnlyOneUniqueKey Context

Defined in IntelliMonad.Types

Methods

onlyUniqueP :: Context -> Unique Context

PersistFieldSql Context

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy Context -> SqlType

ToBackendKey SqlBackend Context

Defined in IntelliMonad.Types

Methods

toBackendKey :: Key Context -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Context

SymbolToField "created" Context UTCTime

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context UTCTime

SymbolToField "request" Context CreateChatCompletionRequest

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context CreateChatCompletionRequest

SymbolToField "sessionName" Context Text

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context Text

SymbolToField "totalTokens" Context Int

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context Int

SymbolToField "body" Context [Content]

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content]

SymbolToField "footer" Context [Content]

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content]

SymbolToField "header" Context [Content]

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context [Content]

SymbolToField "id" Context (Key Context)

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context (Key Context)

SymbolToField "response" Context (Maybe CreateChatCompletionResponse)

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField Context (Maybe CreateChatCompletionResponse)

FromJSON (Key Context)

Defined in IntelliMonad.Types

Methods

parseJSON :: Value -> Parser (Key Context)

parseJSONList :: Value -> Parser [Key Context]

omittedField :: Maybe (Key Context)

ToJSON (Key Context)

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)

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)

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Key Context -> ShowS

show :: Key Context -> String

showList :: [Key Context] -> ShowS

Eq (Key Context)

Defined in IntelliMonad.Types

Methods

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

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

Ord (Key Context)

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)

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)

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)

Defined in IntelliMonad.Types

Methods

fromPathPiece :: Text -> Maybe (Key Context)

toPathPiece :: Key Context -> Text

PersistField (Key Context)

Defined in IntelliMonad.Types

Methods

toPersistValue :: Key Context -> PersistValue

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

PersistFieldSql (Key Context)

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy (Key Context) -> SqlType

data EntityField Context typ

Defined in IntelliMonad.Types

data EntityField Context typ

• = typ ~ ContextId => ContextId
• | typ ~ CreateChatCompletionRequest => ContextRequest
• | typ ~ Maybe CreateChatCompletionResponse => ContextResponse
• | typ ~ [Content] => ContextHeader
• | typ ~ [Content] => ContextBody
• | typ ~ [Content] => ContextFooter
• | typ ~ Int => ContextTotalTokens
• | typ ~ Text => ContextSessionName
• | typ ~ UTCTime => ContextCreated

newtype Key Context

Defined in IntelliMonad.Types

newtype Key Context = ContextKey {

• unContextKey :: BackendKey SqlBackend

}

type PersistEntityBackend Context

Defined in IntelliMonad.Types

type PersistEntityBackend Context = SqlBackend

data Unique Context

Defined in IntelliMonad.Types

data Unique Context

type ContextId = Key Context

migrateAll :: Migration

entityDefListFormigrateAll :: [EntityDef]

data ToolProxy

Constructors

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

class CustomInstruction a where

Methods

customHeader :: Contents

customFooter :: Contents

Instances

CustomInstruction Math

Defined in IntelliMonad.CustomInstructions

Methods

customHeader :: Contents

customFooter :: Contents

data CustomInstructionProxy

Constructors

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

data PromptEnv

Constructors

PromptEnv

Fields

• tools :: [ToolProxy]
• customInstructions :: [CustomInstructionProxy]
• context :: Context

type Contents = [Content]

type Prompt = StateT PromptEnv

type SessionName = Text

defaultRequest :: CreateChatCompletionRequest

class Tool a where

Minimal complete definition

toolExec

Associated Types

data Output a :: Type

Methods

toolFunctionName :: Text

default toolFunctionName :: HasFunctionObject a => Text

toolSchema :: ChatCompletionTool

default toolSchema :: (HasFunctionObject a, JSONSchema a, Generic a, GSchema a (Rep a)) => ChatCompletionTool

toolExec :: a -> IO (Output a)

Instances

Tool ValidateNumber

Defined in IntelliMonad.CustomInstructions

Associated Types

data Output ValidateNumber

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: ValidateNumber -> IO (Output ValidateNumber)

Tool Arxiv

Defined in IntelliMonad.Tools.Arxiv

Associated Types

data Output Arxiv

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: Arxiv -> IO (Output Arxiv)

Tool Bash

Defined in IntelliMonad.Tools.Bash

Associated Types

data Output Bash

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: Bash -> IO (Output Bash)

Tool DallE3

Defined in IntelliMonad.Tools.DallE3

Associated Types

data Output DallE3

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: DallE3 -> IO (Output DallE3)

Tool TextToSpeech

Defined in IntelliMonad.Tools.TextToSpeech

Associated Types

data Output TextToSpeech

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: TextToSpeech -> IO (Output TextToSpeech)

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

class HasFunctionObject r where

Methods

getFunctionName :: String

getFunctionDescription :: String

getFieldDescription :: String -> String

Instances

HasFunctionObject ValidateNumber

Defined in IntelliMonad.CustomInstructions

Methods

getFunctionName :: String

getFunctionDescription :: String

getFieldDescription :: String -> String

HasFunctionObject Arxiv

Defined in IntelliMonad.Tools.Arxiv

Methods

getFunctionName :: String

getFunctionDescription :: String

getFieldDescription :: String -> String

HasFunctionObject Bash

Defined in IntelliMonad.Tools.Bash

Methods

getFunctionName :: String

getFunctionDescription :: String

getFieldDescription :: String -> String

HasFunctionObject DallE3

Defined in IntelliMonad.Tools.DallE3

Methods

getFunctionName :: String

getFunctionDescription :: String

getFieldDescription :: String -> String

HasFunctionObject TextToSpeech

Defined in IntelliMonad.Tools.TextToSpeech

Methods

getFunctionName :: String

getFunctionDescription :: String

getFieldDescription :: String -> String

class JSONSchema r where

Minimal complete definition

Nothing

Methods

schema :: Schema

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

Instances

JSONSchema ValidateNumber

Defined in IntelliMonad.CustomInstructions

Methods

schema :: Schema

JSONSchema Arxiv

Defined in IntelliMonad.Tools.Arxiv

Methods

schema :: Schema

JSONSchema Bash

Defined in IntelliMonad.Tools.Bash

Methods

schema :: Schema

JSONSchema DallE3

Defined in IntelliMonad.Tools.DallE3

Methods

schema :: Schema

JSONSchema TextToSpeech

Defined in IntelliMonad.Tools.TextToSpeech

Methods

schema :: Schema

JSONSchema Text

Defined in IntelliMonad.Types

Methods

schema :: Schema

JSONSchema String

Defined in IntelliMonad.Types

Methods

schema :: Schema

JSONSchema Integer

Defined in IntelliMonad.Types

Methods

schema :: Schema

JSONSchema ()

Defined in IntelliMonad.Types

Methods

schema :: Schema

JSONSchema Bool

Defined in IntelliMonad.Types

Methods

schema :: Schema

JSONSchema Double

Defined in IntelliMonad.Types

Methods

schema :: Schema

JSONSchema Int

Defined in IntelliMonad.Types

Methods

schema :: Schema

JSONSchema a => JSONSchema (Maybe a)

Defined in IntelliMonad.Types

Methods

schema :: Schema

JSONSchema a => JSONSchema [a]

Defined in IntelliMonad.Types

Methods

schema :: Schema

class GSchema s f where

Methods

gschema :: forall a. f a -> Schema

Instances

(HasFunctionObject s, JSONSchema c) => GSchema s (U1 :: Type -> Type)

Defined in IntelliMonad.Types

Methods

gschema :: U1 a -> Schema

(HasFunctionObject s, GSchema s a, GSchema s b) => GSchema s (a :*: b)

Defined in IntelliMonad.Types

Methods

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

(HasFunctionObject s, GSchema s a, GSchema s b) => GSchema s (a :+: b)

Defined in IntelliMonad.Types

Methods

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

(HasFunctionObject s, JSONSchema c) => GSchema s (K1 i c :: Type -> Type)

Defined in IntelliMonad.Types

Methods

gschema :: K1 i c a -> Schema

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

Constructor Metadata

Defined in IntelliMonad.Types

Methods

gschema :: M1 C c f a -> Schema

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

Datatype

Defined in IntelliMonad.Types

Methods

gschema :: M1 D c f a -> Schema

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

Selector Metadata

Defined in IntelliMonad.Types

Methods

gschema :: M1 S c f a -> Schema

data Schema

Constructors

Maybe' Schema

String'

Number'

Integer'

Object' [(String, String, Schema)]

Array' Schema

Boolean'

Null'

Instances

Semigroup Schema

Defined in IntelliMonad.Types

Methods

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

sconcat :: NonEmpty Schema -> Schema

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

toAeson :: Schema -> Value

append :: Value -> Value -> Value

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

defaultUTCTime :: UTCTime

data ReplCommand

Constructors

Quit

Clear

ShowContents

ShowUsage

ShowRequest

ShowContext

ShowSession

Edit

EditRequest

EditContents

EditHeader

EditFooter

ListSessions

CopySession

Fields

• sessionNameFrom :: Text
• sessionNameTo :: Text

DeleteSession

Fields

• sessionName :: Text

SwitchSession

Fields

• sessionName :: Text

ReadImage Text

UserInput Text

Help

Repl

Fields

• sessionName :: Text

Instances

Show ReplCommand

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> ReplCommand -> ShowS

show :: ReplCommand -> String

showList :: [ReplCommand] -> ShowS

Eq ReplCommand

Defined in IntelliMonad.Types

Methods

(==) :: ReplCommand -> ReplCommand -> Bool

(/=) :: ReplCommand -> ReplCommand -> Bool

Orphan instances

PersistField CreateChatCompletionRequest

Methods

toPersistValue :: CreateChatCompletionRequest -> PersistValue

fromPersistValue :: PersistValue -> Either Text CreateChatCompletionRequest

PersistField CreateChatCompletionResponse

Methods

toPersistValue :: CreateChatCompletionResponse -> PersistValue

fromPersistValue :: PersistValue -> Either Text CreateChatCompletionResponse

PersistFieldSql CreateChatCompletionRequest

Methods

sqlType :: Proxy CreateChatCompletionRequest -> SqlType

PersistFieldSql CreateChatCompletionResponse

Methods

sqlType :: Proxy CreateChatCompletionResponse -> SqlType

Show (Image PixelRGB8)

Methods

showsPrec :: Int -> Image PixelRGB8 -> ShowS

show :: Image PixelRGB8 -> String

showList :: [Image PixelRGB8] -> ShowS