| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Telomare.RunTime
Contents
Synopsis
- debug :: Bool
- debugTrace :: String -> a -> a
- cPlus :: ((a -> a) -> a -> a) -> ((a -> a) -> a -> a) -> (a -> a) -> a -> a
- nEval :: NExprs -> NExpr
- rEval :: IExpr -> IExpr -> IExpr
- iEval :: MonadError RunTimeError m => (IExpr -> IExpr -> m IExpr) -> IExpr -> IExpr -> m IExpr
- resultIndex :: FragIndex
- evalAndConvert :: (Show a, AbstractRunTime a) => a -> IExpr
- hvmEval :: IExpr -> IO IExpr
- simpleEval :: IExpr -> IO IExpr
- fastInterpretEval :: IExpr -> IO IExpr
- optimizedEval :: IExpr -> IO IExpr
- pureIEval :: IExpr -> Either RunTimeError IExpr
- pureEval :: IExpr -> IExpr
- showPass :: (Show a, MonadIO m) => m a -> m a
- tEval :: IExpr -> IO IExpr
- typedEval :: (IExpr -> DataType -> Bool) -> IExpr -> (IExpr -> IO ()) -> IO ()
- debugEval :: (IExpr -> DataType -> Bool) -> IExpr -> IO ()
- fullEval :: (IExpr -> DataType -> Bool) -> IExpr -> IO ()
- prettyEval :: (IExpr -> DataType -> Bool) -> IExpr -> IO ()
- verifyEval :: IExpr -> IO (Maybe (IExpr, IExpr))
- testNEval :: IExpr -> NExprs
Documentation
debugTrace :: String -> a -> a Source #
IExpr evaluation with a given enviroment e
(as in the second element of a closure).
iEval :: MonadError RunTimeError m => (IExpr -> IExpr -> m IExpr) -> IExpr -> IExpr -> m IExpr Source #
evalAndConvert :: (Show a, AbstractRunTime a) => a -> IExpr Source #