HOPS.GF.Rats

License : BSD-3

Expressions defining sequences of rational numbers.

Documentation

data Term

Constructors

Ellipsis

Constant Expr

Fun Expr

Instances

Eq Term

Methods

(==) :: Term -> Term -> Bool

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

Show Term

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

Pretty Rats

Methods

pretty :: Rats -> ByteString

Pretty Term

Methods

pretty :: Term -> ByteString

type Rats = ([Expr], Term, SequenceType)

An expression defining a sequence.

type Core = ([Core], Core, SequenceType)

data SequenceType

Constructors

Poly

Ser

Instances

Eq SequenceType

Methods

(==) :: SequenceType -> SequenceType -> Bool

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

Ord SequenceType

Methods

compare :: SequenceType -> SequenceType -> Ordering

(<) :: SequenceType -> SequenceType -> Bool

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

(>) :: SequenceType -> SequenceType -> Bool

(>=) :: SequenceType -> SequenceType -> Bool

max :: SequenceType -> SequenceType -> SequenceType

min :: SequenceType -> SequenceType -> SequenceType

Show SequenceType

Methods

showsPrec :: Int -> SequenceType -> ShowS

show :: SequenceType -> String

showList :: [SequenceType] -> ShowS

Pretty Core

Methods

pretty :: Core -> ByteString

Pretty Rats

Methods

pretty :: Rats -> ByteString

core :: Rats -> Core

evalCore :: KnownNat n => Core -> Series n

rats :: Parser Rats

Parser for Rats.