Jikka-5.0.11.1: A transpiler from Python to C++ for competitive programming

Safe Haskell	None
Language	Haskell2010

Jikka.Core.Language.Value

Documentation

data Value Source #

Constructors

ValInt Integer
ValBool Bool
ValList (Vector Value)
ValTuple [Value]
ValBuiltin Builtin [Value]
ValLambda (Maybe VarName) Env VarName Type Expr	The `Env` may contain the `ValLambda` cyclicly.

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 Methods readsPrec :: Int -> ReadS Value # readList :: ReadS [Value] # readPrec :: ReadPrec Value # readListPrec :: ReadPrec [Value] #

type Env = [(VarName, Value)] Source #

literalToValue :: MonadError Error m => Literal -> m Value Source #

valueToInt :: MonadError Error m => Value -> m Integer Source #

valueToList :: MonadError Error m => Value -> m (Vector Value) Source #

valueToIntList :: MonadError Error m => Value -> m [Integer] Source #

valueToBool :: MonadError Error m => Value -> m Bool Source #

valueToBoolList :: MonadError Error m => Value -> m [Bool] Source #

valueToTuple :: MonadError Error m => Value -> m [Value] Source #

valueToIntPair :: MonadError Error m => Value -> m (Integer, Integer) Source #

valueToVector :: MonadError Error m => Value -> m (Vector Integer) Source #

valueToMatrix :: MonadError Error m => Value -> m (Matrix Integer) Source #

valueFromVector :: Vector Integer -> Value Source #

valueFromMatrix :: Matrix Integer -> Value Source #

valueToModVector :: MonadError Error m => Integer -> Value -> m (Vector ModInt) Source #

valueToModMatrix :: MonadError Error m => Integer -> Value -> m (Matrix ModInt) Source #

valueFromModVector :: Vector ModInt -> Value Source #

valueFromModMatrix :: Matrix ModInt -> Value Source #

compareValues :: Value -> Value -> Maybe Ordering Source #

compareValues' :: Value -> Value -> Ordering Source #

minValue :: Value -> Value -> Value Source #

maxValue :: Value -> Value -> Value Source #

formatValue :: Value -> String Source #

readValueIO :: (MonadError Error m, MonadIO m) => IOFormat -> m ([Value], Map String Value) Source #

writeValueIO :: (MonadError Error m, MonadIO m) => IOFormat -> Map String Value -> Value -> m () Source #