HOPS.OEIS

License : BSD-3

Types

type URL = String

A URL is currently just a synonym for String.

newtype ANum

An A-number is the character 'A' followed by a six digit number. Here we represent that by an Int

Constructors

ANum

Fields

• unANum :: Int

Instances

Eq ANum

Methods

(==) :: ANum -> ANum -> Bool

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

Ord ANum

Methods

compare :: ANum -> ANum -> Ordering

(<) :: ANum -> ANum -> Bool

(<=) :: ANum -> ANum -> Bool

(>) :: ANum -> ANum -> Bool

(>=) :: ANum -> ANum -> Bool

max :: ANum -> ANum -> ANum

min :: ANum -> ANum -> ANum

Show ANum

Methods

showsPrec :: Int -> ANum -> ShowS

show :: ANum -> String

showList :: [ANum] -> ShowS

ToJSON ANum

Methods

toJSON :: ANum -> Value

toEncoding :: ANum -> Encoding

toJSONList :: [ANum] -> Value

toEncodingList :: [ANum] -> Encoding

FromJSON ANum

Methods

parseJSON :: Value -> Parser ANum

parseJSONList :: Value -> Parser [ANum]

type Sequence = [Rational]

A sequence of rational numbers.

packANum :: ANum -> ByteString

Parse stripped.gz

parseStripped :: ByteString -> [(ANum, Sequence)]

Parse a list of A-number-sequence pairs. It's purpose is to parse lines of the stripped file. A typical line of that file looks like this:

A000108 ,1,1,2,5,14,42,132,429,1430,4862,16796,58786,208012,742900,

Parse sequences

parseIntegerSeq :: ByteString -> Sequence

Parse a sequence of Integers.

Parse A-numbers and TAGs

aNumInt :: Parser Int

A parser for A-numbers as Ints.

tag :: Parser Int

A parser for tags (B-numbers) as Ints.