module Math.OEIS.Types where
type SequenceData = [Integer]
data Language = Mathematica | Maple | Other deriving (Int -> Language -> ShowS
[Language] -> ShowS
Language -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Language] -> ShowS
$cshowList :: [Language] -> ShowS
show :: Language -> String
$cshow :: Language -> String
showsPrec :: Int -> Language -> ShowS
$cshowsPrec :: Int -> Language -> ShowS
Show, Language -> Language -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Language -> Language -> Bool
$c/= :: Language -> Language -> Bool
== :: Language -> Language -> Bool
$c== :: Language -> Language -> Bool
Eq)
data Keyword = Base | Bref | Changed | Cofr | Cons | Core | Dead | Dumb | Dupe |
Easy | Eigen | Fini | Frac | Full | Hard | More | Mult |
New | Nice | Nonn | Obsc | Sign | Tabf | Tabl | Uned |
Unkn | Walk | Word
deriving (Keyword -> Keyword -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Keyword -> Keyword -> Bool
$c/= :: Keyword -> Keyword -> Bool
== :: Keyword -> Keyword -> Bool
$c== :: Keyword -> Keyword -> Bool
Eq,Int -> Keyword -> ShowS
[Keyword] -> ShowS
Keyword -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Keyword] -> ShowS
$cshowList :: [Keyword] -> ShowS
show :: Keyword -> String
$cshow :: Keyword -> String
showsPrec :: Int -> Keyword -> ShowS
$cshowsPrec :: Int -> Keyword -> ShowS
Show,ReadPrec [Keyword]
ReadPrec Keyword
Int -> ReadS Keyword
ReadS [Keyword]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [Keyword]
$creadListPrec :: ReadPrec [Keyword]
readPrec :: ReadPrec Keyword
$creadPrec :: ReadPrec Keyword
readList :: ReadS [Keyword]
$creadList :: ReadS [Keyword]
readsPrec :: Int -> ReadS Keyword
$creadsPrec :: Int -> ReadS Keyword
Read)
data OEISSequence =
OEIS { OEISSequence -> [String]
catalogNums :: [String],
OEISSequence -> SequenceData
sequenceData :: SequenceData,
OEISSequence -> SequenceData
signedData :: SequenceData,
OEISSequence -> String
description :: String,
OEISSequence -> [String]
references :: [String],
OEISSequence -> [String]
links :: [String],
OEISSequence -> [String]
formulas :: [String],
OEISSequence -> [String]
xrefs :: [String],
OEISSequence -> String
author :: String,
OEISSequence -> Int
offset :: Int,
OEISSequence -> Int
firstGT1 :: Int,
OEISSequence -> [(Language, String)]
programs :: [(Language,String)],
OEISSequence -> [String]
extensions :: [String],
OEISSequence -> [String]
examples :: [String],
OEISSequence -> [Keyword]
keywords :: [Keyword],
:: [String]
} deriving Int -> OEISSequence -> ShowS
[OEISSequence] -> ShowS
OEISSequence -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [OEISSequence] -> ShowS
$cshowList :: [OEISSequence] -> ShowS
show :: OEISSequence -> String
$cshow :: OEISSequence -> String
showsPrec :: Int -> OEISSequence -> ShowS
$cshowsPrec :: Int -> OEISSequence -> ShowS
Show