-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Calculation of Y-sequence Hexirp edition -- -- Please see the README on GitHub at -- https://github.com/Hexirp/yhseq#readme @package yhseq @version 0.2.1.2 module Numeric.YHSeq.V0110.Type type Seq = [Integer] type Index = Integer type Diff = Integer type ParentIndex = Index type ParentList = [ParentIndex] type Depth = Integer type DPNTuple = (Diff, ParentList, Depth) type DPN = [DPNTuple] type Class = Integer length :: [a] -> Integer lengthSeq :: Seq -> Integer lengthDPN :: DPN -> Integer index :: [a] -> Integer -> a index1 :: [a] -> Integer -> a idx :: [a] -> Integer -> a indexSeq :: Seq -> Index -> Integer indexDPN :: DPN -> Index -> DPNTuple indexD :: DPN -> Index -> Diff indexP :: DPN -> Index -> ParentList indexN :: DPN -> Index -> Depth indexPList :: ParentList -> Index -> ParentIndex slice :: Integer -> Integer -> [a] -> [a] slice1 :: Integer -> Integer -> [a] -> [a] sliceSeq :: Integer -> Integer -> Seq -> Seq sliceDPN :: Integer -> Integer -> DPN -> DPN dropLast :: [a] -> [a] module Numeric.YHSeq.V0110.Expansion badRoot :: DPN -> Index goodPart :: DPN -> DPN badPart :: DPN -> DPN cuttedPart :: DPN -> DPN pnt :: DPN -> Index -> Depth -> ParentIndex anc :: DPN -> Index -> Depth -> [ParentIndex] badRootL :: DPN -> Index delta :: DPN -> Integer amt :: DPN -> Index -> Integer bas :: DPN -> Index -> ParentList rising :: DPN -> Integer -> Index -> ParentIndex -> ParentIndex ris :: DPN -> Integer -> Index -> ParentList -> ParentList newD :: DPN -> Integer -> Index -> Diff newP :: DPN -> Integer -> Index -> ParentList newN :: DPN -> Integer -> Index -> Depth copiedBadPart :: DPN -> Integer -> DPN expand :: DPN -> Class -> Integer -> DPN module Numeric.YHSeq.V0110.Decompression reD :: DPN -> Index -> Depth -> Diff reP :: DPN -> Index -> Depth -> Diff decompress :: DPN -> Seq module Numeric.YHSeq.V0110.Compression mtD :: Seq -> Index -> Depth -> Diff mtP :: Seq -> Index -> Depth -> ParentIndex searchParent :: Seq -> Index -> ParentIndex searchParentAnc :: Seq -> Index -> Depth -> ParentIndex anc :: Seq -> Index -> Depth -> [ParentIndex] nonEmptyDepth :: Seq -> Depth cl :: Seq -> Class compressionDepth :: Seq -> Depth btm :: Seq -> Index -> Depth cN :: Seq -> Index -> Depth cU :: Seq -> Index -> Depth cM :: Seq -> Index -> Depth cD :: Seq -> Index -> Diff cP :: Seq -> Index -> ParentList seqClass :: Seq -> Class compress :: Seq -> DPN module Numeric.YHSeq.V0110 data Cofinal isZero :: Seq -> Bool isSucc :: Seq -> Bool isLimit :: Seq -> Bool scof :: Seq -> Cofinal fseq :: Seq -> Integer -> Seq pseq :: Seq -> Seq -- | It's a very very large function. yhseq :: Seq -> Integer -> Integer module Numeric.YHSeq.V0111.Type type Seq = [Integer] type Index = Integer type Diff = Integer type ParentIndex = Index type ParentList = [ParentIndex] type Depth = Integer type DPNTuple = (Diff, ParentList, Depth) type DPN = [DPNTuple] type Class = Integer length :: [a] -> Integer lengthSeq :: Seq -> Integer lengthDPN :: DPN -> Integer index :: [a] -> Integer -> a index1 :: [a] -> Integer -> a idx :: [a] -> Integer -> a indexSeq :: Seq -> Index -> Integer indexDPN :: DPN -> Index -> DPNTuple indexD :: DPN -> Index -> Diff indexP :: DPN -> Index -> ParentList indexN :: DPN -> Index -> Depth indexPList :: ParentList -> Index -> ParentIndex slice :: Integer -> Integer -> [a] -> [a] slice1 :: Integer -> Integer -> [a] -> [a] sliceDPN :: Integer -> Integer -> DPN -> DPN dropLast :: [a] -> [a] module Numeric.YHSeq.V0111.Expansion badRoot :: DPN -> Index goodPart :: DPN -> DPN badPart :: DPN -> DPN cuttedPart :: DPN -> DPN pnt :: DPN -> Index -> Depth -> ParentIndex anc :: DPN -> Index -> Depth -> [ParentIndex] badRootL :: DPN -> Index delta :: DPN -> Integer amt :: DPN -> Index -> Bool bas :: DPN -> Index -> ParentList rising :: DPN -> Integer -> Index -> ParentIndex -> ParentIndex ris :: DPN -> Integer -> Index -> ParentList -> ParentList newD :: DPN -> Integer -> Index -> Diff newP :: DPN -> Integer -> Index -> ParentList newN :: DPN -> Integer -> Index -> Depth copiedBadPart :: DPN -> Integer -> DPN expand :: DPN -> Class -> Integer -> DPN module Numeric.YHSeq.V0111.Decompression reD :: DPN -> Index -> Depth -> Diff reP :: DPN -> Index -> Depth -> Diff decompress :: DPN -> Seq module Numeric.YHSeq.V0111.Compression mtD :: Seq -> Index -> Depth -> Diff mtP :: Seq -> Index -> Depth -> ParentIndex isAnc :: Seq -> Index -> Depth -> ParentIndex -> Bool anc :: Seq -> Index -> Depth -> [ParentIndex] nonEmptyDepth :: Seq -> Depth cl :: Seq -> Class compressionDepth :: Seq -> Depth cM :: Seq -> Index -> Depth cU :: Seq -> Index -> Depth btm :: Seq -> Index -> Depth cD :: Seq -> Index -> Diff cP :: Seq -> Index -> ParentList cN :: Seq -> Index -> Depth seqClass :: Seq -> Class compress :: Seq -> DPN module Numeric.YHSeq.V0111 data Cofinal isZero :: Seq -> Bool isSucc :: Seq -> Bool isLimit :: Seq -> Bool scof :: Seq -> Cofinal fseq :: Seq -> Integer -> Seq pseq :: Seq -> Seq -- | It's a very very large function. yhseq :: Seq -> Integer -> Integer module Numeric.YHSeq.V0200.Type type Seq = [Integer] type Index = Integer type Diff = Integer type ParentIndex = Index type ParentList = [ParentIndex] type Depth = Integer type DPNTuple = (Diff, ParentList, Depth) type DPN = [DPNTuple] type Class = Integer length :: [a] -> Integer lengthSeq :: Seq -> Integer lengthDPN :: DPN -> Integer index :: [a] -> Integer -> a index1 :: [a] -> Integer -> a idx :: [a] -> Integer -> a indexSeq :: Seq -> Index -> Integer indexDPN :: DPN -> Index -> DPNTuple indexD :: DPN -> Index -> Diff indexP :: DPN -> Index -> ParentList indexN :: DPN -> Index -> Depth indexPList :: ParentList -> Index -> ParentIndex slice :: Integer -> Integer -> [a] -> [a] slice1 :: Integer -> Integer -> [a] -> [a] sliceDPN :: Integer -> Integer -> DPN -> DPN dropLast :: [a] -> [a] module Numeric.YHSeq.V0200.Expansion badRoot :: DPN -> Index goodPart :: DPN -> DPN badPart :: DPN -> DPN cuttedPart :: DPN -> DPN pnt :: DPN -> Index -> Depth -> ParentIndex anc :: DPN -> Index -> Depth -> [ParentIndex] badRootL :: DPN -> Index delta :: DPN -> Integer amt :: DPN -> Index -> Depth -> Bool bas :: DPN -> Index -> ParentList rising :: DPN -> Integer -> Index -> ParentIndex -> Depth -> ParentIndex rise :: DPN -> Integer -> Index -> ParentList -> Depth -> (ParentList, Depth) ris :: DPN -> Integer -> Index -> ParentList -> Depth -> ParentList newD :: DPN -> Integer -> Index -> Diff newP :: DPN -> Integer -> Index -> ParentList newN :: DPN -> Integer -> Index -> Depth copiedBadPart :: DPN -> Integer -> DPN expand :: DPN -> Class -> Integer -> DPN module Numeric.YHSeq.V0200.Decompression reD :: DPN -> Index -> Depth -> Diff reP :: DPN -> Index -> Depth -> Diff decompress :: DPN -> Seq module Numeric.YHSeq.V0200.Compression mtD :: Seq -> Index -> Depth -> Diff mtP :: Seq -> Index -> Depth -> ParentIndex isAnc :: Seq -> Index -> Depth -> ParentIndex -> Bool anc :: Seq -> Index -> Depth -> [ParentIndex] nonEmptyDepth :: Seq -> Depth cl :: Seq -> Class compressionDepth :: Seq -> Depth cM :: Seq -> Index -> Depth cU :: Seq -> Index -> Depth btm :: Seq -> Index -> Depth cD :: Seq -> Index -> Diff cP :: Seq -> Index -> ParentList cN :: Seq -> Index -> Depth seqClass :: Seq -> Class compress :: Seq -> DPN module Numeric.YHSeq.V0200 data Cofinal isZero :: Seq -> Bool isSucc :: Seq -> Bool isLimit :: Seq -> Bool scof :: Seq -> Cofinal fseq :: Seq -> Integer -> Seq pseq :: Seq -> Seq -- | It's a very very large function. yhseq :: Seq -> Integer -> Integer module Numeric.YHSeq.V0210.Type type Seq = [Integer] type Index = Integer type Diff = Integer type ParentIndex = Index type ParentList = [ParentIndex] type Depth = Integer type DPNTuple = (Diff, ParentList, Depth) type DPN = [DPNTuple] type Class = Integer length :: [a] -> Integer lengthSeq :: Seq -> Integer lengthDPN :: DPN -> Integer index :: [a] -> Integer -> a index1 :: [a] -> Integer -> a idx :: [a] -> Integer -> a indexSeq :: Seq -> Index -> Integer indexDPN :: DPN -> Index -> DPNTuple indexD :: DPN -> Index -> Diff indexP :: DPN -> Index -> ParentList indexN :: DPN -> Index -> Depth indexPList :: ParentList -> Index -> ParentIndex slice :: Integer -> Integer -> [a] -> [a] slice1 :: Integer -> Integer -> [a] -> [a] sliceDPN :: Integer -> Integer -> DPN -> DPN dropLast :: [a] -> [a] module Numeric.YHSeq.V0210.Expansion badRoot :: DPN -> Index goodPart :: DPN -> DPN badPart :: DPN -> DPN cuttedPart :: DPN -> DPN pnt :: DPN -> Index -> Depth -> ParentIndex anc :: DPN -> Index -> Depth -> [ParentIndex] badRootL :: DPN -> Index delta :: DPN -> Integer amt :: DPN -> Index -> Bool bas :: DPN -> Index -> ParentList rising :: DPN -> Integer -> Index -> ParentIndex -> ParentIndex ris :: DPN -> Integer -> Index -> ParentList -> ParentList newD :: DPN -> Integer -> Index -> Diff newP :: DPN -> Integer -> Index -> ParentList newN :: DPN -> Integer -> Index -> Depth copiedBadPart :: DPN -> Integer -> DPN expand :: DPN -> Class -> Integer -> DPN module Numeric.YHSeq.V0210.Decompression reD :: DPN -> Index -> Depth -> Diff reP :: DPN -> Index -> Depth -> Diff decompress :: DPN -> Seq module Numeric.YHSeq.V0210.Compression mtD :: Seq -> Index -> Depth -> Diff mtP :: Seq -> Index -> Depth -> ParentIndex isAnc :: Seq -> Index -> Depth -> ParentIndex -> Bool anc :: Seq -> Index -> Depth -> [ParentIndex] nonEmptyDepth :: Seq -> Depth cl :: Seq -> Class compressionDepth :: Seq -> Depth cM :: Seq -> Index -> Depth cU :: Seq -> Index -> Depth btm :: Seq -> Index -> Depth cD :: Seq -> Index -> Diff cP :: Seq -> Index -> ParentList cN :: Seq -> Index -> Depth seqClass :: Seq -> Class compress :: Seq -> DPN module Numeric.YHSeq.V0210 data Cofinal isZero :: Seq -> Bool isSucc :: Seq -> Bool isLimit :: Seq -> Bool scof :: Seq -> Cofinal fseq :: Seq -> Integer -> Seq pseq :: Seq -> Seq -- | It's a very very large function. yhseq :: Seq -> Integer -> Integer