IntelliMonad.Tools.Arxiv

Documentation

data Arxiv

Constructors

Arxiv

Fields

• searchQuery :: Text
• maxResults :: Maybe Int
• start :: Maybe Int

Instances

FromJSON Arxiv

Defined in IntelliMonad.Tools.Arxiv

Methods

parseJSON :: Value -> Parser Arxiv

parseJSONList :: Value -> Parser [Arxiv]

omittedField :: Maybe Arxiv

ToJSON Arxiv

Defined in IntelliMonad.Tools.Arxiv

Methods

toJSON :: Arxiv -> Value

toEncoding :: Arxiv -> Encoding

toJSONList :: [Arxiv] -> Value

toEncodingList :: [Arxiv] -> Encoding

omitField :: Arxiv -> Bool

Generic Arxiv

Defined in IntelliMonad.Tools.Arxiv

Associated Types

type Rep Arxiv :: Type -> Type

Methods

from :: Arxiv -> Rep Arxiv x

to :: Rep Arxiv x -> Arxiv

Show Arxiv

Defined in IntelliMonad.Tools.Arxiv

Methods

showsPrec :: Int -> Arxiv -> ShowS

show :: Arxiv -> String

showList :: [Arxiv] -> ShowS

Eq Arxiv

Defined in IntelliMonad.Tools.Arxiv

Methods

(==) :: Arxiv -> Arxiv -> Bool

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

HasFunctionObject Arxiv

Defined in IntelliMonad.Tools.Arxiv

Methods

getFunctionName :: String

getFunctionDescription :: String

getFieldDescription :: String -> String

JSONSchema Arxiv

Defined in IntelliMonad.Tools.Arxiv

Methods

schema :: Schema

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

FromJSON (Output Arxiv)

Defined in IntelliMonad.Tools.Arxiv

Methods

parseJSON :: Value -> Parser (Output Arxiv)

parseJSONList :: Value -> Parser [Output Arxiv]

omittedField :: Maybe (Output Arxiv)

ToJSON (Output Arxiv)

Defined in IntelliMonad.Tools.Arxiv

Methods

toJSON :: Output Arxiv -> Value

toEncoding :: Output Arxiv -> Encoding

toJSONList :: [Output Arxiv] -> Value

toEncodingList :: [Output Arxiv] -> Encoding

omitField :: Output Arxiv -> Bool

Generic (Output Arxiv)

Defined in IntelliMonad.Tools.Arxiv

Associated Types

type Rep (Output Arxiv) :: Type -> Type

Methods

from :: Output Arxiv -> Rep (Output Arxiv) x

to :: Rep (Output Arxiv) x -> Output Arxiv

Show (Output Arxiv)

Defined in IntelliMonad.Tools.Arxiv

Methods

showsPrec :: Int -> Output Arxiv -> ShowS

show :: Output Arxiv -> String

showList :: [Output Arxiv] -> ShowS

Eq (Output Arxiv)

Defined in IntelliMonad.Tools.Arxiv

Methods

(==) :: Output Arxiv -> Output Arxiv -> Bool

(/=) :: Output Arxiv -> Output Arxiv -> Bool

type Rep Arxiv

Defined in IntelliMonad.Tools.Arxiv

type Rep Arxiv = D1 ('MetaData "Arxiv" "IntelliMonad.Tools.Arxiv" "intelli-monad-0.1.0.2-7aLMpsbCxFoFMlNn6ntog1" 'False) (C1 ('MetaCons "Arxiv" 'PrefixI 'True) (S1 ('MetaSel ('Just "searchQuery") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "maxResults") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "start") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)))))

data Output Arxiv

Defined in IntelliMonad.Tools.Arxiv

data Output Arxiv = ArxivOutput {

• papers :: [ArxivEntry]

}

type Rep (Output Arxiv)

Defined in IntelliMonad.Tools.Arxiv

type Rep (Output Arxiv) = D1 ('MetaData "Output" "IntelliMonad.Tools.Arxiv" "intelli-monad-0.1.0.2-7aLMpsbCxFoFMlNn6ntog1" 'False) (C1 ('MetaCons "ArxivOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "papers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ArxivEntry])))

arxivSearch :: Arxiv -> IO ByteString

element' :: Text -> Axis

queryArxiv :: Arxiv -> IO [ArxivEntry]

data ArxivEntry

Constructors

ArxivEntry

Fields

• arxivId :: Text
• published :: Text
• title :: Text
• summary :: Text

Instances

FromJSON ArxivEntry

Defined in IntelliMonad.Tools.Arxiv

Methods

parseJSON :: Value -> Parser ArxivEntry

parseJSONList :: Value -> Parser [ArxivEntry]

omittedField :: Maybe ArxivEntry

ToJSON ArxivEntry

Defined in IntelliMonad.Tools.Arxiv

Methods

toJSON :: ArxivEntry -> Value

toEncoding :: ArxivEntry -> Encoding

toJSONList :: [ArxivEntry] -> Value

toEncodingList :: [ArxivEntry] -> Encoding

omitField :: ArxivEntry -> Bool

Generic ArxivEntry

Defined in IntelliMonad.Tools.Arxiv

Associated Types

type Rep ArxivEntry :: Type -> Type

Methods

from :: ArxivEntry -> Rep ArxivEntry x

to :: Rep ArxivEntry x -> ArxivEntry

Show ArxivEntry

Defined in IntelliMonad.Tools.Arxiv

Methods

showsPrec :: Int -> ArxivEntry -> ShowS

show :: ArxivEntry -> String

showList :: [ArxivEntry] -> ShowS

Eq ArxivEntry

Defined in IntelliMonad.Tools.Arxiv

Methods

(==) :: ArxivEntry -> ArxivEntry -> Bool

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

type Rep ArxivEntry

Defined in IntelliMonad.Tools.Arxiv

type Rep ArxivEntry = D1 ('MetaData "ArxivEntry" "IntelliMonad.Tools.Arxiv" "intelli-monad-0.1.0.2-7aLMpsbCxFoFMlNn6ntog1" 'False) (C1 ('MetaCons "ArxivEntry" 'PrefixI 'True) ((S1 ('MetaSel ('Just "arxivId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "published") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "summary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

headDef :: a -> [a] -> a

parseEntry :: Cursor -> Maybe ArxivEntry

Parser for an Arxiv Entry in XML

parseArxivResult :: Cursor -> [ArxivEntry]

Parser for an Arxiv Result in XML

parseArxivXML :: ByteString -> [ArxivEntry]