Numeric.YHSeq.V0201

YH数列システム 2.0.1 の定義。

ここでは Data.IntSet と Data.Vector を活用している。

英語では YH sequence system 2.0.1 と呼ぶことにする。短く呼ぶときは YHSS 2.0.1 と呼ぶことにする。

Documentation

genVec :: (Ord i, Integral i) => i -> (i -> a) -> Vector a

1 から n までの配列に関数を適用する。

0 が与えられた場合は空の配列を返す。

newtype Sequence

数列、または列。

Constructors

Sequence

Fields

• unSequence :: Vector Int

Instances

Eq Sequence

Defined in Numeric.YHSeq.V0201

Methods

(==) :: Sequence -> Sequence -> Bool

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

Ord Sequence

Defined in Numeric.YHSeq.V0201

Methods

compare :: Sequence -> Sequence -> Ordering

(<) :: Sequence -> Sequence -> Bool

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

(>) :: Sequence -> Sequence -> Bool

(>=) :: Sequence -> Sequence -> Bool

max :: Sequence -> Sequence -> Sequence

min :: Sequence -> Sequence -> Sequence

Read Sequence

Defined in Numeric.YHSeq.V0201

Methods

readsPrec :: Int -> ReadS Sequence

readList :: ReadS [Sequence]

readPrec :: ReadPrec Sequence

readListPrec :: ReadPrec [Sequence]

Show Sequence

Defined in Numeric.YHSeq.V0201

Methods

showsPrec :: Int -> Sequence -> ShowS

show :: Sequence -> String

showList :: [Sequence] -> ShowS

Semigroup Sequence

Defined in Numeric.YHSeq.V0201

Methods

(<>) :: Sequence -> Sequence -> Sequence

sconcat :: NonEmpty Sequence -> Sequence

stimes :: Integral b => b -> Sequence -> Sequence

Monoid Sequence

Defined in Numeric.YHSeq.V0201

Methods

mempty :: Sequence

mappend :: Sequence -> Sequence -> Sequence

mconcat :: [Sequence] -> Sequence

ixSeq :: Sequence -> Int -> Int

Sequence のための添字演算。

makeSeqFromList :: [Int] -> Sequence

リストから数列を作る。

newtype Difference

階差。

数列の階差を取った列を階差列と呼ぶことにする。たとえば (1,2,4,8,16,...) の階差列は (0,1,2,4,8,...) だ。

Constructors

Difference

Fields

• unDifference :: Int

Instances

Bounded Difference

Defined in Numeric.YHSeq.V0201

Methods

minBound :: Difference

maxBound :: Difference

Enum Difference

Defined in Numeric.YHSeq.V0201

Methods

succ :: Difference -> Difference

pred :: Difference -> Difference

toEnum :: Int -> Difference

fromEnum :: Difference -> Int

enumFrom :: Difference -> [Difference]

enumFromThen :: Difference -> Difference -> [Difference]

enumFromTo :: Difference -> Difference -> [Difference]

enumFromThenTo :: Difference -> Difference -> Difference -> [Difference]

Eq Difference

Defined in Numeric.YHSeq.V0201

Methods

(==) :: Difference -> Difference -> Bool

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

Integral Difference

Defined in Numeric.YHSeq.V0201

Methods

quot :: Difference -> Difference -> Difference

rem :: Difference -> Difference -> Difference

div :: Difference -> Difference -> Difference

mod :: Difference -> Difference -> Difference

quotRem :: Difference -> Difference -> (Difference, Difference)

divMod :: Difference -> Difference -> (Difference, Difference)

toInteger :: Difference -> Integer

Num Difference

Defined in Numeric.YHSeq.V0201

Methods

(+) :: Difference -> Difference -> Difference

(-) :: Difference -> Difference -> Difference

(*) :: Difference -> Difference -> Difference

negate :: Difference -> Difference

abs :: Difference -> Difference

signum :: Difference -> Difference

fromInteger :: Integer -> Difference

Ord Difference

Defined in Numeric.YHSeq.V0201

Methods

compare :: Difference -> Difference -> Ordering

(<) :: Difference -> Difference -> Bool

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

(>) :: Difference -> Difference -> Bool

(>=) :: Difference -> Difference -> Bool

max :: Difference -> Difference -> Difference

min :: Difference -> Difference -> Difference

Read Difference

Defined in Numeric.YHSeq.V0201

Methods

readsPrec :: Int -> ReadS Difference

readList :: ReadS [Difference]

readPrec :: ReadPrec Difference

readListPrec :: ReadPrec [Difference]

Real Difference

Defined in Numeric.YHSeq.V0201

Methods

toRational :: Difference -> Rational

Show Difference

Defined in Numeric.YHSeq.V0201

Methods

showsPrec :: Int -> Difference -> ShowS

show :: Difference -> String

showList :: [Difference] -> ShowS

Semigroup Difference

Defined in Numeric.YHSeq.V0201

Methods

(<>) :: Difference -> Difference -> Difference

sconcat :: NonEmpty Difference -> Difference

stimes :: Integral b => b -> Difference -> Difference

Monoid Difference

Defined in Numeric.YHSeq.V0201

Methods

mempty :: Difference

mappend :: Difference -> Difference -> Difference

mconcat :: [Difference] -> Difference

newtype Index

添字。

添字といっても Sequence の添字ではなく親を参照したりするときに使う添字だ。 ixSeq を見てもらえば分かるように、 Sequence の添字は普通の Int だ。

Constructors

Index

Fields

• unIndex :: Int

Instances

Bounded Index

Defined in Numeric.YHSeq.V0201

Methods

minBound :: Index

maxBound :: Index

Enum Index

Defined in Numeric.YHSeq.V0201

Methods

succ :: Index -> Index

pred :: Index -> Index

toEnum :: Int -> Index

fromEnum :: Index -> Int

enumFrom :: Index -> [Index]

enumFromThen :: Index -> Index -> [Index]

enumFromTo :: Index -> Index -> [Index]

enumFromThenTo :: Index -> Index -> Index -> [Index]

Eq Index

Defined in Numeric.YHSeq.V0201

Methods

(==) :: Index -> Index -> Bool

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

Integral Index

Defined in Numeric.YHSeq.V0201

Methods

quot :: Index -> Index -> Index

rem :: Index -> Index -> Index

div :: Index -> Index -> Index

mod :: Index -> Index -> Index

quotRem :: Index -> Index -> (Index, Index)

divMod :: Index -> Index -> (Index, Index)

toInteger :: Index -> Integer

Num Index

Defined in Numeric.YHSeq.V0201

Methods

(+) :: Index -> Index -> Index

(-) :: Index -> Index -> Index

(*) :: Index -> Index -> Index

negate :: Index -> Index

abs :: Index -> Index

signum :: Index -> Index

fromInteger :: Integer -> Index

Ord Index

Defined in Numeric.YHSeq.V0201

Methods

compare :: Index -> Index -> Ordering

(<) :: Index -> Index -> Bool

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

(>) :: Index -> Index -> Bool

(>=) :: Index -> Index -> Bool

max :: Index -> Index -> Index

min :: Index -> Index -> Index

Read Index

Defined in Numeric.YHSeq.V0201

Methods

readsPrec :: Int -> ReadS Index

readList :: ReadS [Index]

readPrec :: ReadPrec Index

readListPrec :: ReadPrec [Index]

Real Index

Defined in Numeric.YHSeq.V0201

Methods

toRational :: Index -> Rational

Show Index

Defined in Numeric.YHSeq.V0201

Methods

showsPrec :: Int -> Index -> ShowS

show :: Index -> String

showList :: [Index] -> ShowS

Semigroup Index

Defined in Numeric.YHSeq.V0201

Methods

(<>) :: Index -> Index -> Index

sconcat :: NonEmpty Index -> Index

stimes :: Integral b => b -> Index -> Index

Monoid Index

Defined in Numeric.YHSeq.V0201

Methods

mempty :: Index

mappend :: Index -> Index -> Index

mconcat :: [Index] -> Index

newtype IndexSet

添字の集合。

添字の集合と言っても、たぶん先祖の集合を表すのにしか使わないと思う。

Constructors

IndexSet

Fields

• unIndexSet :: IntSet

Instances

Eq IndexSet

Defined in Numeric.YHSeq.V0201

Methods

(==) :: IndexSet -> IndexSet -> Bool

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

Ord IndexSet

Defined in Numeric.YHSeq.V0201

Methods

compare :: IndexSet -> IndexSet -> Ordering

(<) :: IndexSet -> IndexSet -> Bool

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

(>) :: IndexSet -> IndexSet -> Bool

(>=) :: IndexSet -> IndexSet -> Bool

max :: IndexSet -> IndexSet -> IndexSet

min :: IndexSet -> IndexSet -> IndexSet

Read IndexSet

Defined in Numeric.YHSeq.V0201

Methods

readsPrec :: Int -> ReadS IndexSet

readList :: ReadS [IndexSet]

readPrec :: ReadPrec IndexSet

readListPrec :: ReadPrec [IndexSet]

Show IndexSet

Defined in Numeric.YHSeq.V0201

Methods

showsPrec :: Int -> IndexSet -> ShowS

show :: IndexSet -> String

showList :: [IndexSet] -> ShowS

Semigroup IndexSet

Defined in Numeric.YHSeq.V0201

Methods

(<>) :: IndexSet -> IndexSet -> IndexSet

sconcat :: NonEmpty IndexSet -> IndexSet

stimes :: Integral b => b -> IndexSet -> IndexSet

Monoid IndexSet

Defined in Numeric.YHSeq.V0201

Methods

mempty :: IndexSet

mappend :: IndexSet -> IndexSet -> IndexSet

mconcat :: [IndexSet] -> IndexSet

newtype Depth

深さ。

YHSS 2.0.1 では、深さは 0 にならない。

Constructors

Depth

Fields

• unDepth :: Int

Instances

Bounded Depth

Defined in Numeric.YHSeq.V0201

Methods

minBound :: Depth

maxBound :: Depth

Enum Depth

Defined in Numeric.YHSeq.V0201

Methods

succ :: Depth -> Depth

pred :: Depth -> Depth

toEnum :: Int -> Depth

fromEnum :: Depth -> Int

enumFrom :: Depth -> [Depth]

enumFromThen :: Depth -> Depth -> [Depth]

enumFromTo :: Depth -> Depth -> [Depth]

enumFromThenTo :: Depth -> Depth -> Depth -> [Depth]

Eq Depth

Defined in Numeric.YHSeq.V0201

Methods

(==) :: Depth -> Depth -> Bool

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

Integral Depth

Defined in Numeric.YHSeq.V0201

Methods

quot :: Depth -> Depth -> Depth

rem :: Depth -> Depth -> Depth

div :: Depth -> Depth -> Depth

mod :: Depth -> Depth -> Depth

quotRem :: Depth -> Depth -> (Depth, Depth)

divMod :: Depth -> Depth -> (Depth, Depth)

toInteger :: Depth -> Integer

Num Depth

Defined in Numeric.YHSeq.V0201

Methods

(+) :: Depth -> Depth -> Depth

(-) :: Depth -> Depth -> Depth

(*) :: Depth -> Depth -> Depth

negate :: Depth -> Depth

abs :: Depth -> Depth

signum :: Depth -> Depth

fromInteger :: Integer -> Depth

Ord Depth

Defined in Numeric.YHSeq.V0201

Methods

compare :: Depth -> Depth -> Ordering

(<) :: Depth -> Depth -> Bool

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

(>) :: Depth -> Depth -> Bool

(>=) :: Depth -> Depth -> Bool

max :: Depth -> Depth -> Depth

min :: Depth -> Depth -> Depth

Read Depth

Defined in Numeric.YHSeq.V0201

Methods

readsPrec :: Int -> ReadS Depth

readList :: ReadS [Depth]

readPrec :: ReadPrec Depth

readListPrec :: ReadPrec [Depth]

Real Depth

Defined in Numeric.YHSeq.V0201

Methods

toRational :: Depth -> Rational

Show Depth

Defined in Numeric.YHSeq.V0201

Methods

showsPrec :: Int -> Depth -> ShowS

show :: Depth -> String

showList :: [Depth] -> ShowS

Semigroup Depth

Defined in Numeric.YHSeq.V0201

Methods

(<>) :: Depth -> Depth -> Depth

sconcat :: NonEmpty Depth -> Depth

stimes :: Integral b => b -> Depth -> Depth

Monoid Depth

Defined in Numeric.YHSeq.V0201

Methods

mempty :: Depth

mappend :: Depth -> Depth -> Depth

mconcat :: [Depth] -> Depth

data Mountain

山。

条件として dMt と pMt と aMt の長さはそれぞれ sMt に等しい。

Constructors

Mountain

Fields

• sMt :: Int

  山のサイズ。

• dMt :: Vector (Vector Difference)

  階差。

• pMt :: Vector (Vector Index)

  親の添字。

• aMt :: Vector (Vector IndexSet)

  先祖の集合。

Instances

Eq Mountain

Defined in Numeric.YHSeq.V0201

Methods

(==) :: Mountain -> Mountain -> Bool

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

Ord Mountain

Defined in Numeric.YHSeq.V0201

Methods

compare :: Mountain -> Mountain -> Ordering

(<) :: Mountain -> Mountain -> Bool

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

(>) :: Mountain -> Mountain -> Bool

(>=) :: Mountain -> Mountain -> Bool

max :: Mountain -> Mountain -> Mountain

min :: Mountain -> Mountain -> Mountain

Read Mountain

Defined in Numeric.YHSeq.V0201

Methods

readsPrec :: Int -> ReadS Mountain

readList :: ReadS [Mountain]

readPrec :: ReadPrec Mountain

readListPrec :: ReadPrec [Mountain]

Show Mountain

Defined in Numeric.YHSeq.V0201

Methods

showsPrec :: Int -> Mountain -> ShowS

show :: Mountain -> String

showList :: [Mountain] -> ShowS

ixMtToDiff :: Mountain -> Index -> Depth -> Difference

山から階差を添字で取得する。

ixMtToPaet :: Mountain -> Index -> Depth -> Index

山から親の添字を添字で取得する。

ixMtToAnce :: Mountain -> Index -> Depth -> IndexSet

山から先祖の集合を添字で取得する。

calcDiffOnMtFromSeqWiM :: Mountain -> Sequence -> Index -> Depth -> Difference

メモを参照しながら数列から山の階差の部分を計算する。

calcPaetOnMtFromSeqWiM :: Mountain -> Index -> Depth -> Index

メモを参照しながら数列から山の親の添字の部分を計算する。

calcAnceOnMtFromSeqWiM :: Mountain -> Index -> Depth -> IndexSet

メモを参照しながら数列から山の先祖の集合の部分を計算する。

isAnceAtSh :: Mountain -> Index -> Depth -> Index -> Bool

一つ浅い深さで先祖であるか。

名前は at shallow の略である。

calcMtFromSeq :: Sequence -> Mountain

数列から山を計算する。

newtype Class

クラス。

Constructors

Class

Fields

• unClass :: Int

Instances

Bounded Class

Defined in Numeric.YHSeq.V0201

Methods

minBound :: Class

maxBound :: Class

Enum Class

Defined in Numeric.YHSeq.V0201

Methods

succ :: Class -> Class

pred :: Class -> Class

toEnum :: Int -> Class

fromEnum :: Class -> Int

enumFrom :: Class -> [Class]

enumFromThen :: Class -> Class -> [Class]

enumFromTo :: Class -> Class -> [Class]

enumFromThenTo :: Class -> Class -> Class -> [Class]

Eq Class

Defined in Numeric.YHSeq.V0201

Methods

(==) :: Class -> Class -> Bool

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

Integral Class

Defined in Numeric.YHSeq.V0201

Methods

quot :: Class -> Class -> Class

rem :: Class -> Class -> Class

div :: Class -> Class -> Class

mod :: Class -> Class -> Class

quotRem :: Class -> Class -> (Class, Class)

divMod :: Class -> Class -> (Class, Class)

toInteger :: Class -> Integer

Num Class

Defined in Numeric.YHSeq.V0201

Methods

(+) :: Class -> Class -> Class

(-) :: Class -> Class -> Class

(*) :: Class -> Class -> Class

negate :: Class -> Class

abs :: Class -> Class

signum :: Class -> Class

fromInteger :: Integer -> Class

Ord Class

Defined in Numeric.YHSeq.V0201

Methods

compare :: Class -> Class -> Ordering

(<) :: Class -> Class -> Bool

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

(>) :: Class -> Class -> Bool

(>=) :: Class -> Class -> Bool

max :: Class -> Class -> Class

min :: Class -> Class -> Class

Read Class

Defined in Numeric.YHSeq.V0201

Methods

readsPrec :: Int -> ReadS Class

readList :: ReadS [Class]

readPrec :: ReadPrec Class

readListPrec :: ReadPrec [Class]

Real Class

Defined in Numeric.YHSeq.V0201

Methods

toRational :: Class -> Rational

Show Class

Defined in Numeric.YHSeq.V0201

Methods

showsPrec :: Int -> Class -> ShowS

show :: Class -> String

showList :: [Class] -> ShowS

Semigroup Class

Defined in Numeric.YHSeq.V0201

Methods

(<>) :: Class -> Class -> Class

sconcat :: NonEmpty Class -> Class

stimes :: Integral b => b -> Class -> Class

Monoid Class

Defined in Numeric.YHSeq.V0201

Methods

mempty :: Class

mappend :: Class -> Class -> Class

mconcat :: [Class] -> Class

data CofType

共終タイプ。

順序数に対して定義される数学的な共終数ではない。

Constructors

IsZero

IsSucc

IsLim Class

Instances

Bounded CofType

Defined in Numeric.YHSeq.V0201

Methods

minBound :: CofType

maxBound :: CofType

Eq CofType

Defined in Numeric.YHSeq.V0201

Methods

(==) :: CofType -> CofType -> Bool

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

Ord CofType

Defined in Numeric.YHSeq.V0201

Methods

compare :: CofType -> CofType -> Ordering

(<) :: CofType -> CofType -> Bool

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

(>) :: CofType -> CofType -> Bool

(>=) :: CofType -> CofType -> Bool

max :: CofType -> CofType -> CofType

min :: CofType -> CofType -> CofType

Read CofType

Defined in Numeric.YHSeq.V0201

Methods

readsPrec :: Int -> ReadS CofType

readList :: ReadS [CofType]

readPrec :: ReadPrec CofType

readListPrec :: ReadPrec [CofType]

Show CofType

Defined in Numeric.YHSeq.V0201

Methods

showsPrec :: Int -> CofType -> ShowS

show :: CofType -> String

showList :: [CofType] -> ShowS

calcBottom :: Mountain -> Index -> Depth

階差が存在する最も大きい深さを、それぞれの添字について計算する。

ここで 0 の深さが現れているが、深さ 1 での階差が 0 でない限り、最終的な計算結果の深さは 0 にならない。

calcCofType :: Mountain -> CofType

共終タイプを計算する。

data DPN

DPN 形式。

条件として dDPN と pDPN と nDPN の長さはそれぞれ sDPN に等しい。

Constructors

DPN

Fields

• sDPN :: Int
• dDPN :: Vector Difference
• pDPN :: Vector (Vector Index)
• nDPN :: Vector Depth

Instances

Eq DPN

Defined in Numeric.YHSeq.V0201

Methods

(==) :: DPN -> DPN -> Bool

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

Ord DPN

Defined in Numeric.YHSeq.V0201

Methods

compare :: DPN -> DPN -> Ordering

(<) :: DPN -> DPN -> Bool

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

(>) :: DPN -> DPN -> Bool

(>=) :: DPN -> DPN -> Bool

max :: DPN -> DPN -> DPN

min :: DPN -> DPN -> DPN

Read DPN

Defined in Numeric.YHSeq.V0201

Methods

readsPrec :: Int -> ReadS DPN

readList :: ReadS [DPN]

readPrec :: ReadPrec DPN

readListPrec :: ReadPrec [DPN]

Show DPN

Defined in Numeric.YHSeq.V0201

Methods

showsPrec :: Int -> DPN -> ShowS

show :: DPN -> String

showList :: [DPN] -> ShowS

ixDpnToDiff :: DPN -> Index -> Difference

DPN 形式から階差を添字で取得する。

ixDpnToPaet :: DPN -> Index -> Vector Index

DPN 形式から親の添字の列を添字で取得する。

ixDpnToNpth :: DPN -> Index -> Depth

DPN 形式から深さを添字で取得する。

calcLimitDepth :: Mountain -> Depth

展開に関わる最も大きい深さを計算する。

calcMaxDepth :: Mountain -> Index -> Depth

展開に関わる最も大きい深さを、それぞれの添字について計算する。

calcDiffOnDpn :: Mountain -> Index -> Difference

DPN 形式での階差の部分を計算する。

calcPaetOnDpn :: Mountain -> Index -> Vector Index

DPN 形式での親の添字の部分を計算する。

calcNpthOnDpn :: Mountain -> Index -> Depth

DPN 形式での深さの部分を計算する。

calcDpn :: Mountain -> DPN

DPN 形式を計算する。

calcBadRoot :: Mountain -> Index

悪部根を計算する。

calcDiffAtExp :: Mountain -> Index -> Difference

展開する際の階差の部分を計算する。

calcPaetAtExp :: Mountain -> Index -> Vector Index

展開する際の親の添字の部分を計算する。

calcNpthAtExp :: Mountain -> Index -> Depth

展開する際の深さの部分を計算する。

expandMtAtLim1 :: Mountain -> Int -> DPN

共終タイプが IsLim 1 である場合において山を展開する。

calcDiffOnMtFromDpnWiM :: Mountain -> DPN -> Index -> Depth -> Difference

メモを参照しながら DPN 形式から山の階差の部分を計算する。

calcPaetOnMtFromDpnWiM :: DPN -> Index -> Depth -> Index

メモを参照しながら DPN 形式から山の親の添字の部分を計算する。

calcAnceOnMtFromDpnWiM :: Mountain -> Index -> Depth -> IndexSet

メモを参照しながら DPN 形式から山の先祖の集合の部分を計算する。

calcMtFromDpn :: DPN -> Mountain

DPN 形式から山を計算する。

calcSeqFromMt :: Mountain -> Sequence

山から数列を計算する。

expandSeqAtLim1 :: Sequence -> Int -> Sequence

共終タイプが IsLim 1 である場合において数列を展開する。

data ExpandingError

expandSeq および expandList におけるエラーを表現する型。

Constructors

OutOfIndexOnFunSeq

基本列において範囲から外れている時。

OutOfClass

クラスが範囲から外れている時。

Instances

Bounded ExpandingError

Defined in Numeric.YHSeq.V0201

Methods

minBound :: ExpandingError

maxBound :: ExpandingError

Enum ExpandingError

Defined in Numeric.YHSeq.V0201

Methods

succ :: ExpandingError -> ExpandingError

pred :: ExpandingError -> ExpandingError

toEnum :: Int -> ExpandingError

fromEnum :: ExpandingError -> Int

enumFrom :: ExpandingError -> [ExpandingError]

enumFromThen :: ExpandingError -> ExpandingError -> [ExpandingError]

enumFromTo :: ExpandingError -> ExpandingError -> [ExpandingError]

enumFromThenTo :: ExpandingError -> ExpandingError -> ExpandingError -> [ExpandingError]

Eq ExpandingError

Defined in Numeric.YHSeq.V0201

Methods

(==) :: ExpandingError -> ExpandingError -> Bool

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

Ord ExpandingError

Defined in Numeric.YHSeq.V0201

Methods

compare :: ExpandingError -> ExpandingError -> Ordering

(<) :: ExpandingError -> ExpandingError -> Bool

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

(>) :: ExpandingError -> ExpandingError -> Bool

(>=) :: ExpandingError -> ExpandingError -> Bool

max :: ExpandingError -> ExpandingError -> ExpandingError

min :: ExpandingError -> ExpandingError -> ExpandingError

Read ExpandingError

Defined in Numeric.YHSeq.V0201

Methods

readsPrec :: Int -> ReadS ExpandingError

readList :: ReadS [ExpandingError]

readPrec :: ReadPrec ExpandingError

readListPrec :: ReadPrec [ExpandingError]

Show ExpandingError

Defined in Numeric.YHSeq.V0201

Methods

showsPrec :: Int -> ExpandingError -> ShowS

show :: ExpandingError -> String

showList :: [ExpandingError] -> ShowS

expandSeq :: Sequence -> Int -> Either ExpandingError Sequence

数列を展開する。

makeListFromSeq :: Sequence -> [Int]

数列からリストを作る。

expandList :: [Int] -> Int -> Either ExpandingError [Int]

リストを展開する。