Factor.Value

Documentation

data Value

Constructors

ZValue Integer

ZxValue Zx Var

GfpValue Prime Gfp

GfpxValue Prime Gfpx Var

Instances

Eq Value

Defined in Factor.Value

Methods

(==) :: Value -> Value -> Bool

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

Ord Value

Defined in Factor.Value

Methods

compare :: Value -> Value -> Ordering

(<) :: Value -> Value -> Bool

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

(>) :: Value -> Value -> Bool

(>=) :: Value -> Value -> Bool

max :: Value -> Value -> Value

min :: Value -> Value -> Value

Show Value

Defined in Factor.Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

free :: Value -> Set Var

normalize :: Value -> Value

negate :: Value -> Value

add :: Value -> Value -> Value

subtract :: Value -> Value -> Value

multiply :: Value -> Value -> Value

exp :: Value -> Value -> Value

fromTerm :: Term -> Value

toTerm :: Value -> Term

toString :: Value -> String

type Env = Map Var Value

emptyEnv :: Env

lookupEnv :: Env -> Var -> Value

extendEnv :: Env -> Var -> Value -> Env

data Context

Constructors

ZContext

GfpContext Prime

Instances

Eq Context

Defined in Factor.Value

Methods

(==) :: Context -> Context -> Bool

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

Ord Context

Defined in Factor.Value

Methods

compare :: Context -> Context -> Ordering

(<) :: Context -> Context -> Bool

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

(>) :: Context -> Context -> Bool

(>=) :: Context -> Context -> Bool

max :: Context -> Context -> Context

min :: Context -> Context -> Context

Show Context

Defined in Factor.Value

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

combineContext :: Context -> Context -> Context

modContext :: Value -> Context

context :: Value -> Context

reduceInContext :: Context -> Value -> Value

importIntoContext :: Context -> Value -> Value

align :: Value -> Value -> (Value, Value)

interpret :: Env -> Context -> Term -> Value