hops-0.7.2: Handy Operations on Power Series

CopyrightAnders Claesson 2015 2016
MaintainerAnders Claesson <anders.claesson@gmail.com>
Safe HaskellNone
LanguageHaskell98

HOPS.GF.Const

Description

License : BSD-3

Synopsis

Documentation

type Expr = Expr0 Source #

An expression for a constant. Supports addition, subtraction, multiplication, division, exponentials and factorials.

data Expr3 Source #

Constructors

ELit Integer 
EN 
EDZ 
EIndet 
Expr0 Expr0 

Instances

data Core Source #

Constructors

App1 Fun1 Core 
App2 Fun2 Core Core 
Binom Int 
Lit Rat 
N 

Instances

Eq Core Source # 

Methods

(==) :: Core -> Core -> Bool #

(/=) :: Core -> Core -> Bool #

Num Core Source # 

Methods

(+) :: Core -> Core -> Core #

(-) :: Core -> Core -> Core #

(*) :: Core -> Core -> Core #

negate :: Core -> Core #

abs :: Core -> Core #

signum :: Core -> Core #

fromInteger :: Integer -> Core #

Ord Core Source # 

Methods

compare :: Core -> Core -> Ordering #

(<) :: Core -> Core -> Bool #

(<=) :: Core -> Core -> Bool #

(>) :: Core -> Core -> Bool #

(>=) :: Core -> Core -> Bool #

max :: Core -> Core -> Core #

min :: Core -> Core -> Core #

Show Core Source # 

Methods

showsPrec :: Int -> Core -> ShowS #

show :: Core -> String #

showList :: [Core] -> ShowS #

Pretty Core Source # 
Pretty Core Source # 

evalExpr :: Int -> Expr -> Rat Source #

The value of the given expression.

evalCore :: Int -> Core -> Rat Source #

The value of the given (core) expression.

expr :: Parser Expr Source #

Parser for an Expr.