Documentation

intKeys :: [Text] #

textKeys :: [Text] #

textsKeys :: [Text] #

keys :: Texts #

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

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

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

showSeqData :: SeqData -> Text #

readSeqData :: String -> SeqData #

baseSearchURI :: Text #

addPrefix :: SearchStatus -> Text #

searchURI :: SearchStatus -> Text #

openURL :: Text -> IO Text #

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

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

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

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

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

emptyOEIS :: OEISSeq #

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

parseOEIS :: Value -> OEISSeq #

readKeyword :: Text -> Keyword #

capitalize :: Text -> Text #

emptyProgram :: Program #

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