Safe Haskell	None
Language	Haskell2010

Jikka.RestrictedPython.Language.Value

Synopsis

data Value
- = IntVal Integer
- | BoolVal Bool
- | ListVal (Vector Value)
- | TupleVal [Value]
- | ClosureVal Local [(VarName, Type)] [Statement]
- | BuiltinVal Builtin
- | AttributeVal Value Attribute
newtype Local = Local {
- unLocal :: Map VarName Value
}
toInt :: MonadError Error m => Value -> m Integer
toBool :: MonadError Error m => Value -> m Bool
toList :: MonadError Error m => Value -> m (Vector Value)
toTuple :: MonadError Error m => Value -> m [Value]
toIntList :: MonadError Error m => Value -> m (Vector Integer)
toBoolList :: MonadError Error m => Value -> m (Vector Bool)
toMatrix :: MonadError Error m => Value -> m (Matrix Integer)
fromMatrix :: Matrix Integer -> Value
compareValues :: Value -> Value -> Maybe Ordering
compareValues' :: Value -> Value -> Ordering
formatValue :: Value -> String
readValueIO :: (MonadIO m, MonadError Error m) => IOFormat -> m ([Value], Map String Value)
writeValueIO :: (MonadError Error m, MonadIO m) => IOFormat -> Map String Value -> Value -> m ()

Documentation

data Value Source #

Value is the values of our restricted Python-like language.

$\begin{array}{rl} v ::= & \dots, -2, -1, 0, 1, 2, \dots \\ \vert & \mathbf{false}, \mathbf{true} \\ \vert & \mathbf{nil} \\ \vert & \mathbf{cons}(v, v) \\ \vert & (v, v, \dots, v) \\ \vert & \lambda _ \mu x x \dots x. e \\ \vert & \mathrm{builtin} \\ \end{array}$

Constructors

IntVal Integer
BoolVal Bool
ListVal (Vector Value)
TupleVal [Value]
ClosureVal Local [(VarName, Type)] [Statement]
BuiltinVal Builtin
AttributeVal Value Attribute

Instances

Instances details

Eq Value Source #
Instance details Defined in Jikka.RestrictedPython.Language.Value Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Ord Value Source #
Instance details Defined in Jikka.RestrictedPython.Language.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 #
Read Value Source #
Instance details Defined in Jikka.RestrictedPython.Language.Value Methods readsPrec :: Int -> ReadS Value # readList :: ReadS [Value] # readPrec :: ReadPrec Value # readListPrec :: ReadPrec [Value] #
Show Value Source #
Instance details Defined in Jikka.RestrictedPython.Language.Value Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #

newtype Local Source #

Constructors

Local
Fields unLocal :: Map VarName Value

Instances

Instances details

Eq Local Source #
Instance details Defined in Jikka.RestrictedPython.Language.Value Methods (==) :: Local -> Local -> Bool # (/=) :: Local -> Local -> Bool #
Ord Local Source #
Instance details Defined in Jikka.RestrictedPython.Language.Value Methods compare :: Local -> Local -> Ordering # (<) :: Local -> Local -> Bool # (<=) :: Local -> Local -> Bool # (>) :: Local -> Local -> Bool # (>=) :: Local -> Local -> Bool # max :: Local -> Local -> Local # min :: Local -> Local -> Local #
Read Local Source #
Instance details Defined in Jikka.RestrictedPython.Language.Value Methods readsPrec :: Int -> ReadS Local # readList :: ReadS [Local] # readPrec :: ReadPrec Local # readListPrec :: ReadPrec [Local] #
Show Local Source #
Instance details Defined in Jikka.RestrictedPython.Language.Value Methods showsPrec :: Int -> Local -> ShowS # show :: Local -> String # showList :: [Local] -> ShowS #

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

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

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

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

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

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

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

fromMatrix :: Matrix Integer -> Value Source #

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

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

formatValue :: Value -> String Source #

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

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

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result