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	Haskell2010

Language.Jsonnet

Description

Synopsis

data JsonnetM a
interpret :: Config -> Text -> IO (Either Error Value)
newtype Config = Config {
- fname :: FilePath
}
data Value
- = VNull
- | VBool !Bool
- | VStr !Text
- | VNum !Scientific
- | VObj !Object
- | VArr !(Vector Value)
- | VThunk !Core !Env
- | VIndir !Ref
- | VPrim !Prim
- | VClos !Lam !Env
- | VFun !Fun
runJsonnetM :: Config -> JsonnetM a -> IO (Either Error a)
parse :: Text -> JsonnetM Expr
evaluate :: Core -> JsonnetM Value
desugar :: Expr -> JsonnetM Core

Documentation

data JsonnetM a Source #

Instances

Instances details

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

interpret :: Config -> Text -> IO (Either Error Value) Source #

newtype Config Source #

Constructors

Config
Fields fname :: FilePath

Instances

Instances details

MonadReader Config JsonnetM Source #
Instance details Defined in Language.Jsonnet Methods ask :: JsonnetM Config # local :: (Config -> Config) -> JsonnetM a -> JsonnetM a # reader :: (Config -> a) -> JsonnetM a #

data Value Source #

Constructors

VNull
VBool !Bool
VStr !Text
VNum !Scientific
VObj !Object
VArr !(Vector Value)
VThunk !Core !Env
VIndir !Ref
VPrim !Prim
VClos !Lam !Env
VFun !Fun

Instances

Instances details

FromJSON Value Source #
Instance details Defined in Language.Jsonnet.Std.Lib Methods parseJSON :: Value0 -> Parser Value # parseJSONList :: Value0 -> Parser [Value] #
HasValue Value Source #
Instance details Defined in Language.Jsonnet.Value Methods inj :: Value -> Value Source # proj :: Value -> Eval Value 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 #
(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 #

runJsonnetM :: Config -> JsonnetM a -> IO (Either Error a) Source #

parse :: Text -> JsonnetM Expr Source #

evaluate :: Core -> JsonnetM Value Source #

evaluate a Core expression with the implicit stdlib

desugar :: Expr -> JsonnetM Core Source #