IntelliMonad.Tools.KeyValue
data GetKey Source #
Constructors
Fields
Defined in IntelliMonad.Tools.KeyValue
Methods
parseJSON :: Value -> Parser GetKey #
parseJSONList :: Value -> Parser [GetKey] #
omittedField :: Maybe GetKey #
toJSON :: GetKey -> Value #
toEncoding :: GetKey -> Encoding #
toJSONList :: [GetKey] -> Value #
toEncodingList :: [GetKey] -> Encoding #
omitField :: GetKey -> Bool #
Associated Types
type Rep GetKey :: Type -> Type #
from :: GetKey -> Rep GetKey x #
to :: Rep GetKey x -> GetKey #
showsPrec :: Int -> GetKey -> ShowS #
show :: GetKey -> String #
showList :: [GetKey] -> ShowS #
(==) :: GetKey -> GetKey -> Bool #
(/=) :: GetKey -> GetKey -> Bool #
getFunctionName :: String Source #
getFunctionDescription :: String Source #
getFieldDescription :: String -> String Source #
schema :: Schema Source #
data Output GetKey Source #
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 #
parseJSON :: Value -> Parser (Output GetKey) #
parseJSONList :: Value -> Parser [Output GetKey] #
omittedField :: Maybe (Output GetKey) #
toJSON :: Output GetKey -> Value #
toEncoding :: Output GetKey -> Encoding #
toJSONList :: [Output GetKey] -> Value #
toEncodingList :: [Output GetKey] -> Encoding #
omitField :: Output GetKey -> Bool #
type Rep (Output GetKey) :: Type -> Type #
from :: Output GetKey -> Rep (Output GetKey) x #
to :: Rep (Output GetKey) x -> Output GetKey #
showsPrec :: Int -> Output GetKey -> ShowS #
show :: Output GetKey -> String #
showList :: [Output GetKey] -> ShowS #
(==) :: Output GetKey -> Output GetKey -> Bool #
(/=) :: Output GetKey -> Output GetKey -> Bool #
data SetKey Source #
parseJSON :: Value -> Parser SetKey #
parseJSONList :: Value -> Parser [SetKey] #
omittedField :: Maybe SetKey #
toJSON :: SetKey -> Value #
toEncoding :: SetKey -> Encoding #
toJSONList :: [SetKey] -> Value #
toEncodingList :: [SetKey] -> Encoding #
omitField :: SetKey -> Bool #
type Rep SetKey :: Type -> Type #
from :: SetKey -> Rep SetKey x #
to :: Rep SetKey x -> SetKey #
showsPrec :: Int -> SetKey -> ShowS #
show :: SetKey -> String #
showList :: [SetKey] -> ShowS #
(==) :: SetKey -> SetKey -> Bool #
(/=) :: SetKey -> SetKey -> Bool #
data Output SetKey Source #
toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => SetKey -> Prompt m (Output SetKey) Source #
parseJSON :: Value -> Parser (Output SetKey) #
parseJSONList :: Value -> Parser [Output SetKey] #
omittedField :: Maybe (Output SetKey) #
toJSON :: Output SetKey -> Value #
toEncoding :: Output SetKey -> Encoding #
toJSONList :: [Output SetKey] -> Value #
toEncodingList :: [Output SetKey] -> Encoding #
omitField :: Output SetKey -> Bool #
type Rep (Output SetKey) :: Type -> Type #
from :: Output SetKey -> Rep (Output SetKey) x #
to :: Rep (Output SetKey) x -> Output SetKey #
showsPrec :: Int -> Output SetKey -> ShowS #
show :: Output SetKey -> String #
showList :: [Output SetKey] -> ShowS #
(==) :: Output SetKey -> Output SetKey -> Bool #
(/=) :: Output SetKey -> Output SetKey -> Bool #
data DeleteKey Source #
parseJSON :: Value -> Parser DeleteKey #
parseJSONList :: Value -> Parser [DeleteKey] #
omittedField :: Maybe DeleteKey #
toJSON :: DeleteKey -> Value #
toEncoding :: DeleteKey -> Encoding #
toJSONList :: [DeleteKey] -> Value #
toEncodingList :: [DeleteKey] -> Encoding #
omitField :: DeleteKey -> Bool #
type Rep DeleteKey :: Type -> Type #
from :: DeleteKey -> Rep DeleteKey x #
to :: Rep DeleteKey x -> DeleteKey #
showsPrec :: Int -> DeleteKey -> ShowS #
show :: DeleteKey -> String #
showList :: [DeleteKey] -> ShowS #
(==) :: DeleteKey -> DeleteKey -> Bool #
(/=) :: DeleteKey -> DeleteKey -> Bool #
data Output DeleteKey Source #
toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => DeleteKey -> Prompt m (Output DeleteKey) Source #
parseJSON :: Value -> Parser (Output DeleteKey) #
parseJSONList :: Value -> Parser [Output DeleteKey] #
omittedField :: Maybe (Output DeleteKey) #
toJSON :: Output DeleteKey -> Value #
toEncoding :: Output DeleteKey -> Encoding #
toJSONList :: [Output DeleteKey] -> Value #
toEncodingList :: [Output DeleteKey] -> Encoding #
omitField :: Output DeleteKey -> Bool #
type Rep (Output DeleteKey) :: Type -> Type #
from :: Output DeleteKey -> Rep (Output DeleteKey) x #
to :: Rep (Output DeleteKey) x -> Output DeleteKey #
showsPrec :: Int -> Output DeleteKey -> ShowS #
show :: Output DeleteKey -> String #
showList :: [Output DeleteKey] -> ShowS #
(==) :: Output DeleteKey -> Output DeleteKey -> Bool #
(/=) :: Output DeleteKey -> Output DeleteKey -> Bool #
data ListKeys Source #
parseJSON :: Value -> Parser ListKeys #
parseJSONList :: Value -> Parser [ListKeys] #
omittedField :: Maybe ListKeys #
toJSON :: ListKeys -> Value #
toEncoding :: ListKeys -> Encoding #
toJSONList :: [ListKeys] -> Value #
toEncodingList :: [ListKeys] -> Encoding #
omitField :: ListKeys -> Bool #
type Rep ListKeys :: Type -> Type #
from :: ListKeys -> Rep ListKeys x #
to :: Rep ListKeys x -> ListKeys #
showsPrec :: Int -> ListKeys -> ShowS #
show :: ListKeys -> String #
showList :: [ListKeys] -> ShowS #
(==) :: ListKeys -> ListKeys -> Bool #
(/=) :: ListKeys -> ListKeys -> Bool #
data Output ListKeys Source #
toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => ListKeys -> Prompt m (Output ListKeys) Source #
parseJSON :: Value -> Parser (Output ListKeys) #
parseJSONList :: Value -> Parser [Output ListKeys] #
omittedField :: Maybe (Output ListKeys) #
toJSON :: Output ListKeys -> Value #
toEncoding :: Output ListKeys -> Encoding #
toJSONList :: [Output ListKeys] -> Value #
toEncodingList :: [Output ListKeys] -> Encoding #
omitField :: Output ListKeys -> Bool #
type Rep (Output ListKeys) :: Type -> Type #
from :: Output ListKeys -> Rep (Output ListKeys) x #
to :: Rep (Output ListKeys) x -> Output ListKeys #
showsPrec :: Int -> Output ListKeys -> ShowS #
show :: Output ListKeys -> String #
showList :: [Output ListKeys] -> ShowS #
(==) :: Output ListKeys -> Output ListKeys -> Bool #
(/=) :: Output ListKeys -> Output ListKeys -> Bool #