yhseq-0.3.0.1: Calculation of YH sequence system

Safe Haskell	Safe
Language	Haskell2010

Numeric.YHSeq.V0200

Synopsis

data Cofinal
- = IsZero
- | IsSucc
- | IsLimit
isZero :: Seq -> Bool
isSucc :: Seq -> Bool
isLimit :: Seq -> Bool
scof :: Seq -> Cofinal
fseq :: Seq -> Integer -> Seq
pseq :: Seq -> Seq
yhseq :: Seq -> Integer -> Integer

Documentation

data Cofinal Source #

Constructors

IsZero
IsSucc
IsLimit

isZero :: Seq -> Bool Source #

isSucc :: Seq -> Bool Source #

isLimit :: Seq -> Bool Source #

scof :: Seq -> Cofinal Source #

fseq :: Seq -> Integer -> Seq Source #

pseq :: Seq -> Seq Source #

yhseq :: Seq -> Integer -> Integer Source #

It's a very very large function.