Copyright	(c) 2020-2021 Alexandre Moreno
License	BSD-3-Clause OR Apache-2.0
Maintainer	Alexandre Moreno <alexmorenocano@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	GHC2021

Language.Jsonnet.Eval.Monad

Description

Synopsis

type Ctx a = Map (Name Core) a
data CallStack = CallStack {
- _spans :: [Maybe SrcSpan]
- _scopes :: [Name Core]
}
scopes :: Lens' CallStack [Name Core]
spans :: Lens' CallStack [Maybe SrcSpan]
emptyStack :: CallStack
data EvalState a = EvalState {
- _ctx :: Ctx a
- _callStack :: CallStack
- _currentPos :: Maybe SrcSpan
- _gen :: IORef Integer
}
callStack :: forall a f. Functor f => (CallStack -> f CallStack) -> EvalState a -> f (EvalState a)
ctx :: forall a1 a2 f. Functor f => (Ctx a1 -> f (Ctx a2)) -> EvalState a1 -> f (EvalState a2)
currentPos :: forall a f. Functor f => (Maybe SrcSpan -> f (Maybe SrcSpan)) -> EvalState a -> f (EvalState a)
gen :: forall a f. Functor f => (IORef Integer -> f (IORef Integer)) -> EvalState a -> f (EvalState a)
newtype EvalM a b = EvalM {
- unEval :: ExceptT Error (ReaderT (EvalState a) IO) b
}
runEvalM :: Ctx a -> EvalM a b -> IO (Either Error b)
throwE :: EvalError -> EvalM a b
extendEnv :: Ctx a -> EvalM a b -> EvalM a b
withEnv :: Ctx a -> EvalM a b -> EvalM a b
pushStackFrame :: (Name Core, Maybe SrcSpan) -> EvalM a b -> EvalM a b
getBacktrace :: EvalM a (Backtrace Core)

Documentation

type Ctx a = Map (Name Core) a Source #

data CallStack Source #

Simulate a call-stack to report stack traces

Constructors

CallStack
Fields _spans :: [Maybe SrcSpan] source location of call-sites _scopes :: [Name Core] names of called functions

scopes :: Lens' CallStack [Name Core] Source #

spans :: Lens' CallStack [Maybe SrcSpan] Source #

emptyStack :: CallStack Source #

data EvalState a Source #

Constructors

EvalState
Fields _ctx :: Ctx a binding local variables to their values _callStack :: CallStack call-stack simulation _currentPos :: Maybe SrcSpan source span of expression being evaluated _gen :: IORef Integer fresh names

Instances

Instances details

MonadReader (EvalState a) (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods ask :: EvalM a (EvalState a) # local :: (EvalState a -> EvalState a) -> EvalM a a0 -> EvalM a a0 # reader :: (EvalState a -> a0) -> EvalM a a0 #

callStack :: forall a f. Functor f => (CallStack -> f CallStack) -> EvalState a -> f (EvalState a) Source #

ctx :: forall a1 a2 f. Functor f => (Ctx a1 -> f (Ctx a2)) -> EvalState a1 -> f (EvalState a2) Source #

currentPos :: forall a f. Functor f => (Maybe SrcSpan -> f (Maybe SrcSpan)) -> EvalState a -> f (EvalState a) Source #

gen :: forall a f. Functor f => (IORef Integer -> f (IORef Integer)) -> EvalState a -> f (EvalState a) Source #

newtype EvalM a b Source #

Constructors

EvalM
Fields unEval :: ExceptT Error (ReaderT (EvalState a) IO) b

Instances

Instances details

MonadError Error (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods throwError :: Error -> EvalM a a0 # catchError :: EvalM a a0 -> (Error -> EvalM a a0) -> EvalM a a0 #
MonadIO (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods liftIO :: IO a0 -> EvalM a a0 #
MonadCatch (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods catch :: (HasCallStack, Exception e) => EvalM a a0 -> (e -> EvalM a a0) -> EvalM a a0 #
MonadMask (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods mask :: HasCallStack => ((forall a0. EvalM a a0 -> EvalM a a0) -> EvalM a b) -> EvalM a b # uninterruptibleMask :: HasCallStack => ((forall a0. EvalM a a0 -> EvalM a a0) -> EvalM a b) -> EvalM a b # generalBracket :: HasCallStack => EvalM a a0 -> (a0 -> ExitCase b -> EvalM a c) -> (a0 -> EvalM a b) -> EvalM a (b, c) #
MonadThrow (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods throwM :: (HasCallStack, Exception e) => e -> EvalM a a0 #
Applicative (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods pure :: a0 -> EvalM a a0 # (<>) :: EvalM a (a0 -> b) -> EvalM a a0 -> EvalM a b # liftA2 :: (a0 -> b -> c) -> EvalM a a0 -> EvalM a b -> EvalM a c # (>) :: EvalM a a0 -> EvalM a b -> EvalM a b # (<*) :: EvalM a a0 -> EvalM a b -> EvalM a a0 #
Functor (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods fmap :: (a0 -> b) -> EvalM a a0 -> EvalM a b # (<$) :: a0 -> EvalM a b -> EvalM a a0 #
Monad (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods (>>=) :: EvalM a a0 -> (a0 -> EvalM a b) -> EvalM a b # (>>) :: EvalM a a0 -> EvalM a b -> EvalM a b # return :: a0 -> EvalM a a0 #
MonadFail (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods fail :: String -> EvalM a a0 #
MonadFix (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods mfix :: (a0 -> EvalM a a0) -> EvalM a a0 #
Fresh (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods fresh :: Name a0 -> EvalM a (Name a0) #
MonadReader (EvalState a) (EvalM a) Source #
Instance details Defined in Language.Jsonnet.Eval.Monad Methods ask :: EvalM a (EvalState a) # local :: (EvalState a -> EvalState a) -> EvalM a a0 -> EvalM a a0 # reader :: (EvalState a -> a0) -> EvalM a a0 #
(HasValue a, HasValue b) => HasValue (a -> Eval b) Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: (a -> Eval b) -> Value Source # proj :: Value -> Eval (a -> Eval b) Source #
(HasValue a, HasValue b, HasValue c) => HasValue (a -> b -> Eval c) Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: (a -> b -> Eval c) -> Value Source # proj :: Value -> Eval (a -> b -> Eval c) Source #

runEvalM :: Ctx a -> EvalM a b -> IO (Either Error b) Source #

throwE :: EvalError -> EvalM a b Source #

extendEnv :: Ctx a -> EvalM a b -> EvalM a b Source #

withEnv :: Ctx a -> EvalM a b -> EvalM a b Source #

pushStackFrame :: (Name Core, Maybe SrcSpan) -> EvalM a b -> EvalM a b Source #

getBacktrace :: EvalM a (Backtrace Core) Source #