Jikka.Core.Language.Value

Documentation

data Value

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

Eq Value

Defined in Jikka.Core.Language.Value

Methods

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

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

Read Value

Defined in Jikka.Core.Language.Value

Methods

readsPrec :: Int -> ReadS Value

readList :: ReadS [Value]

readPrec :: ReadPrec Value

readListPrec :: ReadPrec [Value]

type Env = [(VarName, Value)]

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

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

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

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

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

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

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

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

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

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

valueFromVector :: Vector Integer -> Value

valueFromMatrix :: Matrix Integer -> Value

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

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

valueFromModVector :: Vector ModInt -> Value

valueFromModMatrix :: Matrix ModInt -> Value

compareValues :: Value -> Value -> Maybe Ordering

compareValues' :: Value -> Value -> Ordering

minValue :: Value -> Value -> Value

maxValue :: Value -> Value -> Value

formatValue :: Value -> String

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

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