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.Value

Description

Documentation

type Eval = EvalM Value Source #

type Env = Ctx Value Source #

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 #

data VField Source #

Constructors

VField
Fields fieldKey :: Value fieldValWHNF :: Value fieldVal :: Value fieldVis :: Visibility

Instances

Instances details

Generic VField Source #
Instance details Defined in Language.Jsonnet.Value Associated Types type Rep VField :: Type -> Type # Methods from :: VField -> Rep VField x # to :: Rep VField x -> VField #
HasVisibility VField Source #
Instance details Defined in Language.Jsonnet.Value Methods visible :: VField -> Bool Source # forced :: VField -> Bool Source # hidden :: VField -> Bool Source #
HasValue Object Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: Object -> Value Source # proj :: Value -> Eval Object Source #
type Rep VField Source #
Instance details Defined in Language.Jsonnet.Value type Rep VField = D1 ('MetaData "VField" "Language.Jsonnet.Value" "jsonnet-0.3.1.1-HRvoiMrrp7QzMlnzingfy" 'False) (C1 ('MetaCons "VField" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fieldKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :: S1 ('MetaSel ('Just "fieldValWHNF") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :: (S1 ('MetaSel ('Just "fieldVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "fieldVis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Visibility))))

type Fun = Value -> Eval Value Source #

type Object = HashMap Text VField Source #

data Cell Source #

Constructors

Cell
Fields cellVal :: Value cellIsWHNF :: Bool

Instances

Instances details

Generic Cell Source #
Instance details Defined in Language.Jsonnet.Value Associated Types type Rep Cell :: Type -> Type # Methods from :: Cell -> Rep Cell x # to :: Rep Cell x -> Cell #
type Rep Cell Source #
Instance details Defined in Language.Jsonnet.Value type Rep Cell = D1 ('MetaData "Cell" "Language.Jsonnet.Value" "jsonnet-0.3.1.1-HRvoiMrrp7QzMlnzingfy" 'False) (C1 ('MetaCons "Cell" 'PrefixI 'True) (S1 ('MetaSel ('Just "cellVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "cellIsWHNF") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

type Ref = IORef Cell Source #

class HasValue a where Source #

Methods

inj :: a -> Value Source #

proj :: Value -> Eval a Source #

Instances

Instances details

HasValue Bool Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: Bool -> Value Source # proj :: Value -> Eval Bool Source #
HasValue Double Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: Double -> Value Source # proj :: Value -> Eval Double Source #
Integral a => HasValue a Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: a -> Value Source # proj :: Value -> Eval a Source #
HasValue ByteString Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: ByteString -> Value Source # proj :: Value -> Eval ByteString Source #
HasValue Scientific Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: Scientific -> Value Source # proj :: Value -> Eval Scientific Source #
HasValue Text Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: Text -> Value Source # proj :: Value -> Eval Text Source #
HasValue Object Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: Object -> Value Source # proj :: Value -> Eval Object Source #
HasValue Value Source #
Instance details Defined in Language.Jsonnet.Value Methods inj :: Value -> Value Source # proj :: Value -> Eval Value Source #
HasValue [Char] Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: [Char] -> Value Source # proj :: Value -> Eval [Char] Source #
HasValue a => HasValue [a] Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: [a] -> Value Source # proj :: Value -> Eval [a] Source #
HasValue a => HasValue (Maybe a) Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: Maybe a -> Value Source # proj :: Value -> Eval (Maybe a) Source #
HasValue a => HasValue (Vector a) Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: Vector a -> Value Source # proj :: Value -> Eval (Vector a) 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 #
(HasValue a, HasValue b, HasValue c) => HasValue (a -> b -> c) Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: (a -> b -> c) -> Value Source # proj :: Value -> Eval (a -> b -> c) Source #
(HasValue a, HasValue b) => HasValue (a -> b) Source #
Instance details Defined in Language.Jsonnet.Eval Methods inj :: (a -> b) -> Value Source # proj :: Value -> Eval (a -> b) Source #

mkCell :: Value -> Cell Source #

mkIndirV :: MonadIO m => Value -> m Value Source #

mkThunk :: Core -> Eval Value Source #

allocate :: MonadIO m => Value -> m (IORef Cell) Source #