HOPS.GF

License : BSD-3

Documentation

module HOPS.GF.Series

module HOPS.GF.Transform

module HOPS.Pretty

data Expr0

Constructors

EAdd Expr0 Expr0

ESub Expr0 Expr0

Expr1 Expr1

Instances

Eq Expr0

Methods

(==) :: Expr0 -> Expr0 -> Bool

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

Show Expr0

Methods

showsPrec :: Int -> Expr0 -> ShowS

show :: Expr0 -> String

showList :: [Expr0] -> ShowS

Pretty Expr0

Methods

pretty :: Expr0 -> ByteString

data Expr1

Constructors

EMul Expr1 Expr1

EDiv Expr1 Expr1

EBDP Expr1 Expr1

EPtMul Expr1 Expr1

EPtDiv Expr1 Expr1

Expr2 Expr2

Instances

Eq Expr1

Methods

(==) :: Expr1 -> Expr1 -> Bool

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

Show Expr1

Methods

showsPrec :: Int -> Expr1 -> ShowS

show :: Expr1 -> String

showList :: [Expr1] -> ShowS

Pretty Expr1

Methods

pretty :: Expr1 -> ByteString

data Expr2

Constructors

ENeg Expr2

EPos Expr2

EFac Expr3

EPow Expr3 Expr3

EComp Expr3 Expr3

ECoef Expr3 Expr3

Expr3 Expr3

Instances

Eq Expr2

Methods

(==) :: Expr2 -> Expr2 -> Bool

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

Show Expr2

Methods

showsPrec :: Int -> Expr2 -> ShowS

show :: Expr2 -> String

showList :: [Expr2] -> ShowS

Pretty Expr2

Methods

pretty :: Expr2 -> ByteString

data Expr3

Constructors

EX

EDZ

EIndet

EA Int

ETag Int

EVar Name

ELit Integer

EApp Name [Expr0]

ERats Rats

Expr0 Expr0

Instances

Eq Expr3

Methods

(==) :: Expr3 -> Expr3 -> Bool

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

Show Expr3

Methods

showsPrec :: Int -> Expr3 -> ShowS

show :: Expr3 -> String

showList :: [Expr3] -> ShowS

Pretty Expr3

Methods

pretty :: Expr3 -> ByteString

data Cmd

Constructors

Expr Expr0

Asgmt Name Expr0

Instances

Eq Cmd

Methods

(==) :: Cmd -> Cmd -> Bool

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

Show Cmd

Methods

showsPrec :: Int -> Cmd -> ShowS

show :: Cmd -> String

showList :: [Cmd] -> ShowS

Pretty Cmd

Methods

pretty :: Cmd -> ByteString

newtype PackedPrg

A compact ByteString representation of a Prg.

Constructors

PPrg ByteString

Instances

Eq PackedPrg

Methods

(==) :: PackedPrg -> PackedPrg -> Bool

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

Show PackedPrg

Methods

showsPrec :: Int -> PackedPrg -> ShowS

show :: PackedPrg -> String

showList :: [PackedPrg] -> ShowS

ToJSON PackedPrg

Methods

toJSON :: PackedPrg -> Value

toEncoding :: PackedPrg -> Encoding

toJSONList :: [PackedPrg] -> Value

toEncodingList :: [PackedPrg] -> Encoding

FromJSON PackedPrg

Methods

parseJSON :: Value -> Parser PackedPrg

parseJSONList :: Value -> Parser [PackedPrg]

newtype Prg

A program is a list of commands, where a command is either a power series expression or an assignment.

Constructors

Prg

Fields

• commands :: [Cmd]

Instances

Eq Prg

Methods

(==) :: Prg -> Prg -> Bool

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

Show Prg

Methods

showsPrec :: Int -> Prg -> ShowS

show :: Prg -> String

showList :: [Prg] -> ShowS

Monoid Prg

Methods

mempty :: Prg

mappend :: Prg -> Prg -> Prg

mconcat :: [Prg] -> Prg

ToJSON Prg

Methods

toJSON :: Prg -> Value

toEncoding :: Prg -> Encoding

toJSONList :: [Prg] -> Value

toEncodingList :: [Prg] -> Encoding

FromJSON Prg

Methods

parseJSON :: Value -> Parser Prg

parseJSONList :: Value -> Parser [Prg]

Pretty Prg

Methods

pretty :: Prg -> ByteString

type Name = ByteString

nameSupply :: [Name]

packPrg :: Prg -> PackedPrg

A compact representation of a Prg as a wrapped ByteString.

vars :: CorePrg -> [Name]

The list of variables in a program.

anums :: CorePrg -> [Int]

The list of A-numbers in a program.

insertVar :: ByteString -> Series n -> Env n -> Env n

Insert a variable binding into the given environment.

aNumPrg :: Int -> Prg

tagPrg :: Int -> Prg

data Core

Constructors

App !Name ![Core]

X

A !Int

Tag !Int

Var !Name

Lit !Rat

Rats !Core

Let !Name !Core

Instances

Eq Core

Methods

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

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

Floating Core

Methods

pi :: Core

exp :: Core -> Core

log :: Core -> Core

sqrt :: Core -> Core

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

logBase :: Core -> Core -> Core

sin :: Core -> Core

cos :: Core -> Core

tan :: Core -> Core

asin :: Core -> Core

acos :: Core -> Core

atan :: Core -> Core

sinh :: Core -> Core

cosh :: Core -> Core

tanh :: Core -> Core

asinh :: Core -> Core

acosh :: Core -> Core

atanh :: Core -> Core

log1p :: Core -> Core

expm1 :: Core -> Core

log1pexp :: Core -> Core

log1mexp :: Core -> Core

Fractional Core

Methods

(/) :: Core -> Core -> Core

recip :: Core -> Core

fromRational :: Rational -> Core

Num Core

Methods

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

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

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

negate :: Core -> Core

abs :: Core -> Core

signum :: Core -> Core

fromInteger :: Integer -> Core

Ord Core

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

Methods

showsPrec :: Int -> Core -> ShowS

show :: Core -> String

showList :: [Core] -> ShowS

Pretty Core

Methods

pretty :: Core -> ByteString

type CorePrg = [Core]

core :: Prg -> CorePrg

data Env n

An environment holds a mapping from A-numbers to series, and a mapping from names to series (assignments).

Constructors

Env

Fields

• aNumEnv :: Vector (Series n)
• varEnv :: Map Name (Series n)

emptyEnv :: Env n

evalCorePrg :: KnownNat n => Env n -> CorePrg -> Series n

Evaluate a program in a given environment. E.g.

evalCorePrg (emptyEnv :: Env 4) [ log (1/(1-X)) ]

series (Proxy :: Proxy 4) [Val (0 % 1),Val (1 % 1),Val (1 % 2),Val (1 % 3)]

evalCorePrgs :: KnownNat n => Env n -> [CorePrg] -> [Series n]

Evaluate a list of programs in a given environment.

parsePrg :: ByteString -> Maybe Prg

Parse a program.

parsePrgErr :: ByteString -> Prg

Parse a program and possibly fail with an error.