Language.Jsonnet.Value

Documentation

type Eval = EvalM Value

type Env = Ctx Value

data Value

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

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

inj :: Value -> Value

proj :: Value -> Eval Value

(HasValue a, HasValue b, HasValue c) => HasValue (a -> b -> Eval c)

Defined in Language.Jsonnet.Eval

Methods

inj :: (a -> b -> Eval c) -> Value

proj :: Value -> Eval (a -> b -> Eval c)

(HasValue a, HasValue b) => HasValue (a -> Eval b)

Defined in Language.Jsonnet.Eval

Methods

inj :: (a -> Eval b) -> Value

proj :: Value -> Eval (a -> Eval b)

data VField

Constructors

VField

Fields

• fieldKey :: Value
• fieldValWHNF :: Value
• fieldVal :: Value
• fieldVis :: Visibility

Instances

Generic VField

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

Defined in Language.Jsonnet.Value

Methods

visible :: VField -> Bool

forced :: VField -> Bool

hidden :: VField -> Bool

HasValue Object

Defined in Language.Jsonnet.Eval

Methods

inj :: Object -> Value

proj :: Value -> Eval Object

type Rep VField

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

type Object = HashMap Text VField

data Cell

Constructors

Cell

Fields

• cellVal :: Value
• cellIsWHNF :: Bool

Instances

Generic Cell

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

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

class HasValue a where

Methods

inj :: a -> Value

proj :: Value -> Eval a

Instances

HasValue Bool

Defined in Language.Jsonnet.Eval

Methods

inj :: Bool -> Value

proj :: Value -> Eval Bool

HasValue Double

Defined in Language.Jsonnet.Eval

Methods

inj :: Double -> Value

proj :: Value -> Eval Double

Integral a => HasValue a

Defined in Language.Jsonnet.Eval

Methods

inj :: a -> Value

proj :: Value -> Eval a

HasValue ByteString

Defined in Language.Jsonnet.Eval

Methods

inj :: ByteString -> Value

proj :: Value -> Eval ByteString

HasValue Scientific

Defined in Language.Jsonnet.Eval

Methods

inj :: Scientific -> Value

proj :: Value -> Eval Scientific

HasValue Text

Defined in Language.Jsonnet.Eval

Methods

inj :: Text -> Value

proj :: Value -> Eval Text

HasValue Object

Defined in Language.Jsonnet.Eval

Methods

inj :: Object -> Value

proj :: Value -> Eval Object

HasValue Value

Defined in Language.Jsonnet.Value

Methods

inj :: Value -> Value

proj :: Value -> Eval Value

HasValue [Char]

Defined in Language.Jsonnet.Eval

Methods

inj :: [Char] -> Value

proj :: Value -> Eval [Char]

HasValue a => HasValue [a]

Defined in Language.Jsonnet.Eval

Methods

inj :: [a] -> Value

proj :: Value -> Eval [a]

HasValue a => HasValue (Maybe a)

Defined in Language.Jsonnet.Eval

Methods

inj :: Maybe a -> Value

proj :: Value -> Eval (Maybe a)

HasValue a => HasValue (Vector a)

Defined in Language.Jsonnet.Eval

Methods

inj :: Vector a -> Value

proj :: Value -> Eval (Vector a)

(HasValue a, HasValue b, HasValue c) => HasValue (a -> b -> Eval c)

Defined in Language.Jsonnet.Eval

Methods

inj :: (a -> b -> Eval c) -> Value

proj :: Value -> Eval (a -> b -> Eval c)

(HasValue a, HasValue b) => HasValue (a -> Eval b)

Defined in Language.Jsonnet.Eval

Methods

inj :: (a -> Eval b) -> Value

proj :: Value -> Eval (a -> Eval b)

(HasValue a, HasValue b, HasValue c) => HasValue (a -> b -> c)

Defined in Language.Jsonnet.Eval

Methods

inj :: (a -> b -> c) -> Value

proj :: Value -> Eval (a -> b -> c)

(HasValue a, HasValue b) => HasValue (a -> b)

Defined in Language.Jsonnet.Eval

Methods

inj :: (a -> b) -> Value

proj :: Value -> Eval (a -> b)

mkCell :: Value -> Cell

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

mkThunk :: Core -> Eval Value

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