Language.Jsonnet

Documentation

data JsonnetM a

Instances

Monad JsonnetM

Defined in Language.Jsonnet

Methods

(>>=) :: JsonnetM a -> (a -> JsonnetM b) -> JsonnetM b

(>>) :: JsonnetM a -> JsonnetM b -> JsonnetM b

return :: a -> JsonnetM a

Functor JsonnetM

Defined in Language.Jsonnet

Methods

fmap :: (a -> b) -> JsonnetM a -> JsonnetM b

(<$) :: a -> JsonnetM b -> JsonnetM a

MonadFix JsonnetM

Defined in Language.Jsonnet

Methods

mfix :: (a -> JsonnetM a) -> JsonnetM a

MonadFail JsonnetM

Defined in Language.Jsonnet

Methods

fail :: String -> JsonnetM a

Applicative JsonnetM

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

Defined in Language.Jsonnet

Methods

liftIO :: IO a -> JsonnetM a

MonadThrow JsonnetM

Defined in Language.Jsonnet

Methods

throwM :: Exception e => e -> JsonnetM a

MonadCatch JsonnetM

Defined in Language.Jsonnet

Methods

catch :: Exception e => JsonnetM a -> (e -> JsonnetM a) -> JsonnetM a

MonadMask JsonnetM

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

Defined in Language.Jsonnet

Methods

ask :: JsonnetM Config

local :: (Config -> Config) -> JsonnetM a -> JsonnetM a

reader :: (Config -> a) -> JsonnetM a

MonadError Error JsonnetM

Defined in Language.Jsonnet

Methods

throwError :: Error -> JsonnetM a

catchError :: JsonnetM a -> (Error -> JsonnetM a) -> JsonnetM a

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

data Config

Constructors

Config

Fields

• fname :: FilePath
• stdlib :: Value

Instances

MonadReader Config JsonnetM

Defined in Language.Jsonnet

Methods

ask :: JsonnetM Config

local :: (Config -> Config) -> JsonnetM a -> JsonnetM a

reader :: (Config -> a) -> JsonnetM a

data Value

Constructors

VNull

VBool !Bool

VNum !Scientific

VStr !Text

VArr !Array

VObj !(HashMap Text (Hideable Thunk))

VClos !Fun !Env

VFun !(Thunk -> Eval Value)

Instances

Generic Value

Defined in Language.Jsonnet.Value

Associated Types

type Rep Value :: Type -> Type

Methods

from :: Value -> Rep Value x

to :: Rep Value x -> Value

FromJSON Value

Defined in Language.Jsonnet.Std.Lib

Methods

parseJSON :: Value0 -> Parser Value

parseJSONList :: Value0 -> Parser [Value]

HasValue Value

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval Value

inj :: Value -> Value

type Rep Value

Defined in Language.Jsonnet.Value

type Rep Value = D1 ('MetaData "Value" "Language.Jsonnet.Value" "jsonnet-0.1.0.0-inplace" 'False) (((C1 ('MetaCons "VNull" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))) :+: (C1 ('MetaCons "VNum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Scientific)) :+: C1 ('MetaCons "VStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))) :+: ((C1 ('MetaCons "VArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Array)) :+: C1 ('MetaCons "VObj" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HashMap Text (Hideable Thunk))))) :+: (C1 ('MetaCons "VClos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Fun) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Env)) :+: C1 ('MetaCons "VFun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Thunk -> Eval Value))))))

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

parse :: Text -> JsonnetM Expr

evaluate :: Core -> JsonnetM Value