Jikka-5.6.0.0: A transpiler from Python to C++ for competitive programming
Copyright(c) Kimiyuki Onaka 2020
LicenseApache License 2.0
Maintainerkimiyuki95@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Jikka.Core.Evaluate

Description

Evaluate evaluates exprs to values. Also this recognizes users' inputs at once.

The implementation assumes that all variable names don't conflict even when their scopes are distinct.

Synopsis

Documentation

callProgram :: (MonadFix m, MonadError Error m) => Program -> [Value] -> m Value Source #

callProgram evaluates programs with given arguments. This function assumes that given programs are ready for eager evaluation (ensureEagerlyEvaluatable).

data Value Source #

Instances

Instances details
Eq Value Source # 
Instance details

Defined in Jikka.Core.Language.Value

Methods

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

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

Read Value Source # 
Instance details

Defined in Jikka.Core.Language.Value