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.2-7aLMpsbCxFoFMlNn6ntog1" '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.2-7aLMpsbCxFoFMlNn6ntog1" '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.2-7aLMpsbCxFoFMlNn6ntog1" '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

data KeyValue

Constructors

KeyValue

Fields

• keyValueNamespace :: !Text
• keyValueKey :: !Text
• keyValueValue :: !Text

Instances

Show KeyValue

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> KeyValue -> ShowS

show :: KeyValue -> String

showList :: [KeyValue] -> ShowS

Eq KeyValue

Defined in IntelliMonad.Types

Methods

(==) :: KeyValue -> KeyValue -> Bool

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

Ord KeyValue

Defined in IntelliMonad.Types

Methods

compare :: KeyValue -> KeyValue -> Ordering

(<) :: KeyValue -> KeyValue -> Bool

(<=) :: KeyValue -> KeyValue -> Bool

(>) :: KeyValue -> KeyValue -> Bool

(>=) :: KeyValue -> KeyValue -> Bool

max :: KeyValue -> KeyValue -> KeyValue

min :: KeyValue -> KeyValue -> KeyValue

PersistEntity KeyValue

Defined in IntelliMonad.Types

Associated Types

type PersistEntityBackend KeyValue

data Key KeyValue

data EntityField KeyValue :: Type -> Type

data Unique KeyValue

Methods

keyToValues :: Key KeyValue -> [PersistValue]

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

persistIdField :: EntityField KeyValue (Key KeyValue)

entityDef :: proxy KeyValue -> EntityDef

persistFieldDef :: EntityField KeyValue typ -> FieldDef

toPersistFields :: KeyValue -> [PersistValue]

fromPersistValues :: [PersistValue] -> Either Text KeyValue

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

persistUniqueKeys :: KeyValue -> [Unique KeyValue]

persistUniqueToFieldNames :: Unique KeyValue -> NonEmpty (FieldNameHS, FieldNameDB)

persistUniqueToValues :: Unique KeyValue -> [PersistValue]

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

keyFromRecordM :: Maybe (KeyValue -> Key KeyValue)

SafeToInsert KeyValue

Defined in IntelliMonad.Types

PersistField KeyValue

Defined in IntelliMonad.Types

Methods

toPersistValue :: KeyValue -> PersistValue

fromPersistValue :: PersistValue -> Either Text KeyValue

AtLeastOneUniqueKey KeyValue

Defined in IntelliMonad.Types

Methods

requireUniquesP :: KeyValue -> NonEmpty (Unique KeyValue)

OnlyOneUniqueKey KeyValue

Defined in IntelliMonad.Types

Methods

onlyUniqueP :: KeyValue -> Unique KeyValue

PersistFieldSql KeyValue

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy KeyValue -> SqlType

ToBackendKey SqlBackend KeyValue

Defined in IntelliMonad.Types

Methods

toBackendKey :: Key KeyValue -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key KeyValue

SymbolToField "key" KeyValue Text

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField KeyValue Text

SymbolToField "namespace" KeyValue Text

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField KeyValue Text

SymbolToField "value" KeyValue Text

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField KeyValue Text

SymbolToField "id" KeyValue (Key KeyValue)

Defined in IntelliMonad.Types

Methods

symbolToField :: EntityField KeyValue (Key KeyValue)

FromJSON (Key KeyValue)

Defined in IntelliMonad.Types

Methods

parseJSON :: Value -> Parser (Key KeyValue)

parseJSONList :: Value -> Parser [Key KeyValue]

omittedField :: Maybe (Key KeyValue)

ToJSON (Key KeyValue)

Defined in IntelliMonad.Types

Methods

toJSON :: Key KeyValue -> Value

toEncoding :: Key KeyValue -> Encoding

toJSONList :: [Key KeyValue] -> Value

toEncodingList :: [Key KeyValue] -> Encoding

omitField :: Key KeyValue -> Bool

Read (Key KeyValue)

Defined in IntelliMonad.Types

Methods

readsPrec :: Int -> ReadS (Key KeyValue)

readList :: ReadS [Key KeyValue]

readPrec :: ReadPrec (Key KeyValue)

readListPrec :: ReadPrec [Key KeyValue]

Show (Key KeyValue)

Defined in IntelliMonad.Types

Methods

showsPrec :: Int -> Key KeyValue -> ShowS

show :: Key KeyValue -> String

showList :: [Key KeyValue] -> ShowS

Eq (Key KeyValue)

Defined in IntelliMonad.Types

Methods

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

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

Ord (Key KeyValue)

Defined in IntelliMonad.Types

Methods

compare :: Key KeyValue -> Key KeyValue -> Ordering

(<) :: Key KeyValue -> Key KeyValue -> Bool

(<=) :: Key KeyValue -> Key KeyValue -> Bool

(>) :: Key KeyValue -> Key KeyValue -> Bool

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

max :: Key KeyValue -> Key KeyValue -> Key KeyValue

min :: Key KeyValue -> Key KeyValue -> Key KeyValue

FromHttpApiData (Key KeyValue)

Defined in IntelliMonad.Types

Methods

parseUrlPiece :: Text -> Either Text (Key KeyValue)

parseHeader :: ByteString -> Either Text (Key KeyValue)

parseQueryParam :: Text -> Either Text (Key KeyValue)

ToHttpApiData (Key KeyValue)

Defined in IntelliMonad.Types

Methods

toUrlPiece :: Key KeyValue -> Text

toEncodedUrlPiece :: Key KeyValue -> Builder

toHeader :: Key KeyValue -> ByteString

toQueryParam :: Key KeyValue -> Text

toEncodedQueryParam :: Key KeyValue -> Builder

PathPiece (Key KeyValue)

Defined in IntelliMonad.Types

Methods

fromPathPiece :: Text -> Maybe (Key KeyValue)

toPathPiece :: Key KeyValue -> Text

PersistField (Key KeyValue)

Defined in IntelliMonad.Types

Methods

toPersistValue :: Key KeyValue -> PersistValue

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

PersistFieldSql (Key KeyValue)

Defined in IntelliMonad.Types

Methods

sqlType :: Proxy (Key KeyValue) -> SqlType

data EntityField KeyValue typ

Defined in IntelliMonad.Types

data EntityField KeyValue typ

• = typ ~ KeyValueId => KeyValueId
• | typ ~ Text => KeyValueNamespace
• | typ ~ Text => KeyValueKey
• | typ ~ Text => KeyValueValue

newtype Key KeyValue

Defined in IntelliMonad.Types

newtype Key KeyValue = KeyValueKey' {

• unKeyValueKey :: BackendKey SqlBackend

}

type PersistEntityBackend KeyValue

Defined in IntelliMonad.Types

type PersistEntityBackend KeyValue = SqlBackend

data Unique KeyValue

Defined in IntelliMonad.Types

data Unique KeyValue = KeyName Text Text

type KeyValueId = Key KeyValue

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 :: a -> Contents

customFooter :: a -> Contents

Instances

CustomInstruction Math

Defined in IntelliMonad.CustomInstructions

Methods

customHeader :: Math -> Contents

customFooter :: Math -> Contents

data CustomInstructionProxy

Constructors

forall t.CustomInstruction t => CustomInstructionProxy t

class Hook a where

Methods

preHook :: forall p m. (MonadIO m, MonadFail m, PersistentBackend p) => a -> Prompt m ()

postHook :: forall p m. (MonadIO m, MonadFail m, PersistentBackend p) => a -> Prompt m ()

data HookProxy

Constructors

forall t.Hook t => HookProxy t

data PersistProxy

Constructors

forall t.PersistentBackend t => PersistProxy t

data PromptEnv

Constructors

PromptEnv

Fields

• tools :: [ToolProxy]

  The list of function calling

• customInstructions :: [CustomInstructionProxy]

  This system sends a prompt that includes headers, bodies and footers. Then the message that LLM outputs is added to bodies. customInstructions generates headers and footers.

• context :: Context

  The request settings like model and prompt logs

• backend :: PersistProxy

  The backend for prompt logging

• hooks :: [HookProxy]

  The hook functions before or after calling LLM

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 :: forall p m. (MonadIO m, MonadFail m, PersistentBackend p) => a -> Prompt m (Output a)

toolHeader :: Contents

toolFooter :: Contents

Instances

Tool ValidateNumber

Defined in IntelliMonad.CustomInstructions

Associated Types

data Output ValidateNumber

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => ValidateNumber -> Prompt m (Output ValidateNumber)

toolHeader :: Contents

toolFooter :: Contents

Tool Arxiv

Defined in IntelliMonad.Tools.Arxiv

Associated Types

data Output Arxiv

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => Arxiv -> Prompt m (Output Arxiv)

toolHeader :: Contents

toolFooter :: Contents

Tool Bash

Defined in IntelliMonad.Tools.Bash

Associated Types

data Output Bash

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => Bash -> Prompt m (Output Bash)

toolHeader :: Contents

toolFooter :: Contents

Tool DallE3

Defined in IntelliMonad.Tools.DallE3

Associated Types

data Output DallE3

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => DallE3 -> Prompt m (Output DallE3)

toolHeader :: Contents

toolFooter :: Contents

Tool DeleteKey

Defined in IntelliMonad.Tools.KeyValue

Associated Types

data Output DeleteKey

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => DeleteKey -> Prompt m (Output DeleteKey)

toolHeader :: Contents

toolFooter :: Contents

Tool GetKey

Defined in IntelliMonad.Tools.KeyValue

Associated Types

data Output GetKey

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => GetKey -> Prompt m (Output GetKey)

toolHeader :: Contents

toolFooter :: Contents

Tool ListKeys

Defined in IntelliMonad.Tools.KeyValue

Associated Types

data Output ListKeys

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => ListKeys -> Prompt m (Output ListKeys)

toolHeader :: Contents

toolFooter :: Contents

Tool SetKey

Defined in IntelliMonad.Tools.KeyValue

Associated Types

data Output SetKey

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => SetKey -> Prompt m (Output SetKey)

toolHeader :: Contents

toolFooter :: Contents

Tool TextToSpeech

Defined in IntelliMonad.Tools.TextToSpeech

Associated Types

data Output TextToSpeech

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => TextToSpeech -> Prompt m (Output TextToSpeech)

toolHeader :: Contents

toolFooter :: Contents

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 DeleteKey

Defined in IntelliMonad.Tools.KeyValue

Methods

getFunctionName :: String

getFunctionDescription :: String

getFieldDescription :: String -> String

HasFunctionObject GetKey

Defined in IntelliMonad.Tools.KeyValue

Methods

getFunctionName :: String

getFunctionDescription :: String

getFieldDescription :: String -> String

HasFunctionObject ListKeys

Defined in IntelliMonad.Tools.KeyValue

Methods

getFunctionName :: String

getFunctionDescription :: String

getFieldDescription :: String -> String

HasFunctionObject SetKey

Defined in IntelliMonad.Tools.KeyValue

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 DeleteKey

Defined in IntelliMonad.Tools.KeyValue

Methods

schema :: Schema

JSONSchema GetKey

Defined in IntelliMonad.Tools.KeyValue

Methods

schema :: Schema

JSONSchema ListKeys

Defined in IntelliMonad.Tools.KeyValue

Methods

schema :: Schema

JSONSchema SetKey

Defined in IntelliMonad.Tools.KeyValue

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

ListKeys

GetKey

Fields

• nameSpace :: Maybe Text
• keyName :: Text

SetKey

Fields

• nameSpace :: Maybe Text
• keyName :: Text
• value :: Text

DeleteKey

Fields

• nameSpace :: Maybe Text
• keyName :: 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

class PersistentBackend p where

Associated Types

type Conn p

Methods

config :: p

setup :: (MonadIO m, MonadFail m) => p -> m (Maybe (Conn p))

initialize :: (MonadIO m, MonadFail m) => Conn p -> Context -> m ()

load :: (MonadIO m, MonadFail m) => Conn p -> SessionName -> m (Maybe Context)

loadByKey :: (MonadIO m, MonadFail m) => Conn p -> Key Context -> m (Maybe Context)

save :: (MonadIO m, MonadFail m) => Conn p -> Context -> m (Maybe (Key Context))

saveContents :: (MonadIO m, MonadFail m) => Conn p -> [Content] -> m ()

listSessions :: (MonadIO m, MonadFail m) => Conn p -> m [Text]

deleteSession :: (MonadIO m, MonadFail m) => Conn p -> SessionName -> m ()

listKeys :: (MonadIO m, MonadFail m) => Conn p -> m [Unique KeyValue]

getKey :: (MonadIO m, MonadFail m) => Conn p -> Unique KeyValue -> m (Maybe Text)

setKey :: (MonadIO m, MonadFail m) => Conn p -> Unique KeyValue -> Text -> m ()

deleteKey :: (MonadIO m, MonadFail m) => Conn p -> Unique KeyValue -> m ()

Instances

PersistentBackend StatelessConf

Defined in IntelliMonad.Persist

Associated Types

type Conn StatelessConf

Methods

config :: StatelessConf

setup :: (MonadIO m, MonadFail m) => StatelessConf -> m (Maybe (Conn StatelessConf))

initialize :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Context -> m ()

load :: (MonadIO m, MonadFail m) => Conn StatelessConf -> SessionName -> m (Maybe Context)

loadByKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Key Context -> m (Maybe Context)

save :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Context -> m (Maybe (Key Context))

saveContents :: (MonadIO m, MonadFail m) => Conn StatelessConf -> [Content] -> m ()

listSessions :: (MonadIO m, MonadFail m) => Conn StatelessConf -> m [Text]

deleteSession :: (MonadIO m, MonadFail m) => Conn StatelessConf -> SessionName -> m ()

listKeys :: (MonadIO m, MonadFail m) => Conn StatelessConf -> m [Unique KeyValue]

getKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Unique KeyValue -> m (Maybe Text)

setKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Unique KeyValue -> Text -> m ()

deleteKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Unique KeyValue -> m ()

PersistentBackend SqliteConf

Defined in IntelliMonad.Persist

Associated Types

type Conn SqliteConf

Methods

config :: SqliteConf

setup :: (MonadIO m, MonadFail m) => SqliteConf -> m (Maybe (Conn SqliteConf))

initialize :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Context -> m ()

load :: (MonadIO m, MonadFail m) => Conn SqliteConf -> SessionName -> m (Maybe Context)

loadByKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Key Context -> m (Maybe Context)

save :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Context -> m (Maybe (Key Context))

saveContents :: (MonadIO m, MonadFail m) => Conn SqliteConf -> [Content] -> m ()

listSessions :: (MonadIO m, MonadFail m) => Conn SqliteConf -> m [Text]

deleteSession :: (MonadIO m, MonadFail m) => Conn SqliteConf -> SessionName -> m ()

listKeys :: (MonadIO m, MonadFail m) => Conn SqliteConf -> m [Unique KeyValue]

getKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Unique KeyValue -> m (Maybe Text)

setKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Unique KeyValue -> Text -> m ()

deleteKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Unique KeyValue -> m ()

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