Documentation

intKeys :: [Text] Source #

textKeys :: [Text] Source #

textsKeys :: [Text] Source #

keys :: Texts Source #

(+.+) :: Text -> Text -> Text Source #

(.+) :: Char -> Text -> Text Source #

(+.) :: Text -> Char -> Text Source #

showSeqData :: SeqData -> Text Source #

readSeqData :: String -> SeqData Source #

baseSearchURI :: Text Source #

addPrefix :: SearchStatus -> Text Source #

searchURI :: SearchStatus -> Text Source #

openURL :: Text -> IO Text Source #

getJSON :: SearchStatus -> Int -> IO Text Source #

getResults :: SearchStatus -> Int -> Int -> Vector Value -> IO (Vector Value) Source #

getResult :: SearchStatus -> Int -> IO (Maybe Value) Source #

getData :: Value -> Text -> (Text, Maybe OEISData) Source #

getIntData :: Value -> Text -> (Text, Maybe OEISData) Source #

getTextData :: Value -> Text -> (Text, Maybe OEISData) Source #

getTextsData :: Value -> Text -> (Text, Maybe OEISData) Source #

resultLen :: SearchStatus -> IO (Maybe Int) Source #

emptyOEIS :: OEISSeq Source #

addElement :: OEISSeq -> (Text, Maybe OEISData) -> OEISSeq Source #

parseOEIS :: Value -> OEISSeq Source #

readKeyword :: Text -> Keyword Source #

capitalize :: Text -> Text Source #

emptyProgram :: Program Source #

parsePrograms :: Program -> [Program] -> [Text] -> [Program] Source #