Safe Haskell	Safe-Inferred
Language	Haskell2010

IntelliMonad.Types

Contents

Orphan instances

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.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 Source #

textToUser :: Text -> User Source #

data Message Source #

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

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.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 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 contentUser :: !User contentMessage :: !Message contentSessionName :: !Text contentCreated :: !UTCTime

Instances

Instances details

FromJSON Content Source #
Instance details Defined in IntelliMonad.Types Methods parseJSON :: Value -> Parser Content # parseJSONList :: Value -> Parser [Content] # omittedField :: Maybe Content #
ToJSON Content Source #
Instance details Defined in IntelliMonad.Types Methods toJSON :: Content -> Value # toEncoding :: Content -> Encoding # toJSONList :: [Content] -> Value # toEncodingList :: [Content] -> Encoding # omitField :: Content -> Bool #
Generic Content Source #
Instance details Defined in IntelliMonad.Types Associated Types type Rep Content :: Type -> Type # Methods from :: Content -> Rep Content x # to :: Rep Content x -> Content #
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 #
type Rep Content Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in IntelliMonad.Types newtype Key Content = ContentKey { unContentKey :: BackendKey SqlBackend }
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 contextRequest :: !CreateChatCompletionRequest contextResponse :: !(Maybe CreateChatCompletionResponse) contextHeader :: ![Content] contextBody :: ![Content] contextFooter :: ![Content] contextTotalTokens :: !Int contextSessionName :: !Text contextCreated :: !UTCTime

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 = 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 Source #
Instance details Defined in IntelliMonad.Types newtype Key Context = ContextKey { unContextKey :: BackendKey SqlBackend }
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 #

data KeyValue Source #

Constructors

KeyValue
Fields keyValueNamespace :: !Text keyValueKey :: !Text keyValueValue :: !Text

Instances

Instances details

Show KeyValue Source #
Instance details Defined in IntelliMonad.Types Methods showsPrec :: Int -> KeyValue -> ShowS # show :: KeyValue -> String # showList :: [KeyValue] -> ShowS #
Eq KeyValue Source #
Instance details Defined in IntelliMonad.Types Methods (==) :: KeyValue -> KeyValue -> Bool # (/=) :: KeyValue -> KeyValue -> Bool #
Ord KeyValue Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in IntelliMonad.Types
PersistField KeyValue Source #
Instance details Defined in IntelliMonad.Types Methods toPersistValue :: KeyValue -> PersistValue # fromPersistValue :: PersistValue -> Either Text KeyValue #
AtLeastOneUniqueKey KeyValue Source #
Instance details Defined in IntelliMonad.Types Methods requireUniquesP :: KeyValue -> NonEmpty (Unique KeyValue) #
OnlyOneUniqueKey KeyValue Source #
Instance details Defined in IntelliMonad.Types Methods onlyUniqueP :: KeyValue -> Unique KeyValue #
PersistFieldSql KeyValue Source #
Instance details Defined in IntelliMonad.Types Methods sqlType :: Proxy KeyValue -> SqlType #
ToBackendKey SqlBackend KeyValue Source #
Instance details Defined in IntelliMonad.Types Methods toBackendKey :: Key KeyValue -> BackendKey SqlBackend # fromBackendKey :: BackendKey SqlBackend -> Key KeyValue #
SymbolToField "key" KeyValue Text Source #
Instance details Defined in IntelliMonad.Types Methods symbolToField :: EntityField KeyValue Text #
SymbolToField "namespace" KeyValue Text Source #
Instance details Defined in IntelliMonad.Types Methods symbolToField :: EntityField KeyValue Text #
SymbolToField "value" KeyValue Text Source #
Instance details Defined in IntelliMonad.Types Methods symbolToField :: EntityField KeyValue Text #
SymbolToField "id" KeyValue (Key KeyValue) Source #
Instance details Defined in IntelliMonad.Types Methods symbolToField :: EntityField KeyValue (Key KeyValue) #
FromJSON (Key KeyValue) Source #
Instance details Defined in IntelliMonad.Types Methods parseJSON :: Value -> Parser (Key KeyValue) # parseJSONList :: Value -> Parser [Key KeyValue] # omittedField :: Maybe (Key KeyValue) #
ToJSON (Key KeyValue) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in IntelliMonad.Types Methods showsPrec :: Int -> Key KeyValue -> ShowS # show :: Key KeyValue -> String # showList :: [Key KeyValue] -> ShowS #
Eq (Key KeyValue) Source #
Instance details Defined in IntelliMonad.Types Methods (==) :: Key KeyValue -> Key KeyValue -> Bool # (/=) :: Key KeyValue -> Key KeyValue -> Bool #
Ord (Key KeyValue) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in IntelliMonad.Types Methods fromPathPiece :: Text -> Maybe (Key KeyValue) # toPathPiece :: Key KeyValue -> Text #
PersistField (Key KeyValue) Source #
Instance details Defined in IntelliMonad.Types Methods toPersistValue :: Key KeyValue -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key KeyValue) #
PersistFieldSql (Key KeyValue) Source #
Instance details Defined in IntelliMonad.Types Methods sqlType :: Proxy (Key KeyValue) -> SqlType #
data EntityField KeyValue typ Source #
Instance details Defined in IntelliMonad.Types data EntityField KeyValue typ = typ ~ KeyValueId => KeyValueId \| typ ~ Text => KeyValueNamespace \| typ ~ Text => KeyValueKey \| typ ~ Text => KeyValueValue
newtype Key KeyValue Source #
Instance details Defined in IntelliMonad.Types newtype Key KeyValue = KeyValueKey' { unKeyValueKey :: BackendKey SqlBackend }
type PersistEntityBackend KeyValue Source #
Instance details Defined in IntelliMonad.Types type PersistEntityBackend KeyValue = SqlBackend
data Unique KeyValue Source #
Instance details Defined in IntelliMonad.Types data Unique KeyValue = KeyName Text Text

type KeyValueId = Key KeyValue 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 :: a -> Contents Source #

customFooter :: a -> Contents Source #

Instances

Instances details

CustomInstruction Math Source #
Instance details Defined in IntelliMonad.CustomInstructions Methods customHeader :: Math -> Contents Source # customFooter :: Math -> Contents Source #

data CustomInstructionProxy Source #

Constructors

forall t.CustomInstruction t => CustomInstructionProxy t

class Hook a where Source #

Methods

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

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

data HookProxy Source #

Constructors

forall t.Hook t => HookProxy t

data PersistProxy Source #

Constructors

forall t.PersistentBackend t => PersistProxy t

data PromptEnv Source #

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

toolHeader :: Contents Source #

toolFooter :: Contents 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 :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => ValidateNumber -> Prompt m (Output ValidateNumber) Source # toolHeader :: Contents Source # toolFooter :: Contents Source #
Tool Arxiv Source #
Instance details Defined in IntelliMonad.Tools.Arxiv Associated Types data Output Arxiv Source # Methods toolFunctionName :: Text Source # toolSchema :: ChatCompletionTool Source # toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => Arxiv -> Prompt m (Output Arxiv) Source # toolHeader :: Contents Source # toolFooter :: Contents 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 :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => Bash -> Prompt m (Output Bash) Source # toolHeader :: Contents Source # toolFooter :: Contents 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 :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => DallE3 -> Prompt m (Output DallE3) Source # toolHeader :: Contents Source # toolFooter :: Contents Source #
Tool DeleteKey Source #
Instance details Defined in IntelliMonad.Tools.KeyValue Associated Types data Output DeleteKey Source # Methods toolFunctionName :: Text Source # toolSchema :: ChatCompletionTool Source # toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => DeleteKey -> Prompt m (Output DeleteKey) Source # toolHeader :: Contents Source # toolFooter :: Contents Source #
Tool GetKey Source #
Instance details Defined in IntelliMonad.Tools.KeyValue Associated Types data Output GetKey Source # Methods toolFunctionName :: Text Source # toolSchema :: ChatCompletionTool Source # toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => GetKey -> Prompt m (Output GetKey) Source # toolHeader :: Contents Source # toolFooter :: Contents Source #
Tool ListKeys Source #
Instance details Defined in IntelliMonad.Tools.KeyValue Associated Types data Output ListKeys Source # Methods toolFunctionName :: Text Source # toolSchema :: ChatCompletionTool Source # toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => ListKeys -> Prompt m (Output ListKeys) Source # toolHeader :: Contents Source # toolFooter :: Contents Source #
Tool SetKey Source #
Instance details Defined in IntelliMonad.Tools.KeyValue Associated Types data Output SetKey Source # Methods toolFunctionName :: Text Source # toolSchema :: ChatCompletionTool Source # toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => SetKey -> Prompt m (Output SetKey) Source # toolHeader :: Contents Source # toolFooter :: Contents 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 :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => TextToSpeech -> Prompt m (Output TextToSpeech) Source # toolHeader :: Contents Source # toolFooter :: Contents 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 Arxiv Source #
Instance details Defined in IntelliMonad.Tools.Arxiv 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 DeleteKey Source #
Instance details Defined in IntelliMonad.Tools.KeyValue Methods getFunctionName :: String Source # getFunctionDescription :: String Source # getFieldDescription :: String -> String Source #
HasFunctionObject GetKey Source #
Instance details Defined in IntelliMonad.Tools.KeyValue Methods getFunctionName :: String Source # getFunctionDescription :: String Source # getFieldDescription :: String -> String Source #
HasFunctionObject ListKeys Source #
Instance details Defined in IntelliMonad.Tools.KeyValue Methods getFunctionName :: String Source # getFunctionDescription :: String Source # getFieldDescription :: String -> String Source #
HasFunctionObject SetKey Source #
Instance details Defined in IntelliMonad.Tools.KeyValue 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 Arxiv Source #
Instance details Defined in IntelliMonad.Tools.Arxiv 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 DeleteKey Source #
Instance details Defined in IntelliMonad.Tools.KeyValue Methods schema :: Schema Source #
JSONSchema GetKey Source #
Instance details Defined in IntelliMonad.Tools.KeyValue Methods schema :: Schema Source #
JSONSchema ListKeys Source #
Instance details Defined in IntelliMonad.Tools.KeyValue Methods schema :: Schema Source #
JSONSchema SetKey Source #
Instance details Defined in IntelliMonad.Tools.KeyValue 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 Int 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 #

data ReplCommand Source #

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

Instances details

Show ReplCommand Source #
Instance details Defined in IntelliMonad.Types Methods showsPrec :: Int -> ReplCommand -> ShowS # show :: ReplCommand -> String # showList :: [ReplCommand] -> ShowS #
Eq ReplCommand Source #
Instance details Defined in IntelliMonad.Types Methods (==) :: ReplCommand -> ReplCommand -> Bool # (/=) :: ReplCommand -> ReplCommand -> Bool #

class PersistentBackend p where Source #

Associated Types

type Conn p Source #

Methods

config :: p Source #

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

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

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

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

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

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

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

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

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

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

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

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

Instances

Instances details

PersistentBackend StatelessConf Source #
Instance details Defined in IntelliMonad.Persist Associated Types type Conn StatelessConf Source # Methods config :: StatelessConf Source # setup :: (MonadIO m, MonadFail m) => StatelessConf -> m (Maybe (Conn StatelessConf)) Source # initialize :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Context -> m () Source # load :: (MonadIO m, MonadFail m) => Conn StatelessConf -> SessionName -> m (Maybe Context) Source # loadByKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Key Context -> m (Maybe Context) Source # save :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Context -> m (Maybe (Key Context)) Source # saveContents :: (MonadIO m, MonadFail m) => Conn StatelessConf -> [Content] -> m () Source # listSessions :: (MonadIO m, MonadFail m) => Conn StatelessConf -> m [Text] Source # deleteSession :: (MonadIO m, MonadFail m) => Conn StatelessConf -> SessionName -> m () Source # listKeys :: (MonadIO m, MonadFail m) => Conn StatelessConf -> m [Unique KeyValue] Source # getKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Unique KeyValue -> m (Maybe Text) Source # setKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Unique KeyValue -> Text -> m () Source # deleteKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Unique KeyValue -> m () Source #
PersistentBackend SqliteConf Source #
Instance details Defined in IntelliMonad.Persist Associated Types type Conn SqliteConf Source # Methods config :: SqliteConf Source # setup :: (MonadIO m, MonadFail m) => SqliteConf -> m (Maybe (Conn SqliteConf)) Source # initialize :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Context -> m () Source # load :: (MonadIO m, MonadFail m) => Conn SqliteConf -> SessionName -> m (Maybe Context) Source # loadByKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Key Context -> m (Maybe Context) Source # save :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Context -> m (Maybe (Key Context)) Source # saveContents :: (MonadIO m, MonadFail m) => Conn SqliteConf -> [Content] -> m () Source # listSessions :: (MonadIO m, MonadFail m) => Conn SqliteConf -> m [Text] Source # deleteSession :: (MonadIO m, MonadFail m) => Conn SqliteConf -> SessionName -> m () Source # listKeys :: (MonadIO m, MonadFail m) => Conn SqliteConf -> m [Unique KeyValue] Source # getKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Unique KeyValue -> m (Maybe Text) Source # setKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Unique KeyValue -> Text -> m () Source # deleteKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Unique KeyValue -> m () Source #

Orphan instances

PersistField CreateChatCompletionRequest Source #
Instance details Methods toPersistValue :: CreateChatCompletionRequest -> PersistValue # fromPersistValue :: PersistValue -> Either Text CreateChatCompletionRequest #
PersistField CreateChatCompletionResponse Source #
Instance details Methods toPersistValue :: CreateChatCompletionResponse -> PersistValue # fromPersistValue :: PersistValue -> Either Text CreateChatCompletionResponse #
PersistFieldSql CreateChatCompletionRequest Source #
Instance details Methods sqlType :: Proxy CreateChatCompletionRequest -> SqlType #
PersistFieldSql CreateChatCompletionResponse Source #
Instance details Methods sqlType :: Proxy CreateChatCompletionResponse -> SqlType #
Show (Image PixelRGB8) Source #
Instance details Methods showsPrec :: Int -> Image PixelRGB8 -> ShowS # show :: Image PixelRGB8 -> String # showList :: [Image PixelRGB8] -> ShowS #