Language.Jsonnet.Value

Documentation

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))))))

type Array = Vector Thunk

type Object = HashMap Text (Hideable Thunk)

valueType :: Value -> Text

data Thunk

Constructors

TC !Ctx !Core

TV !(Eval Value)

Instances

Generic Thunk

Defined in Language.Jsonnet.Value

Associated Types

type Rep Thunk :: Type -> Type

Methods

from :: Thunk -> Rep Thunk x

to :: Rep Thunk x -> Thunk

HasValue Object

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval Object

inj :: Object -> Value

HasValue (Vector Thunk)

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval (Vector Thunk)

inj :: Vector Thunk -> Value

type Rep Thunk

Defined in Language.Jsonnet.Value

type Rep Thunk = D1 ('MetaData "Thunk" "Language.Jsonnet.Value" "jsonnet-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ctx) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Core)) :+: C1 ('MetaCons "TV" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Eval Value))))

force :: Thunk -> Eval Value

mkThunk' :: Value -> Thunk

mkThunk :: MonadIO m => Eval Value -> m Thunk

proj' :: HasValue a => Thunk -> Eval a

class HasValue a where

Methods

proj :: Value -> Eval a

inj :: a -> Value

Instances

HasValue Bool

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval Bool

inj :: Bool -> Value

HasValue Double

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval Double

inj :: Double -> Value

Integral a => HasValue a

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval a

inj :: a -> Value

HasValue ByteString

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval ByteString

inj :: ByteString -> Value

HasValue Text

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval Text

inj :: Text -> Value

HasValue Scientific

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval Scientific

inj :: Scientific -> Value

HasValue Value

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval Value

inj :: Value -> Value

HasValue Object

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval Object

inj :: Object -> Value

HasValue [Char]

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval [Char]

inj :: [Char] -> Value

HasValue a => HasValue [a]

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval [a]

inj :: [a] -> Value

HasValue a => HasValue (Maybe a)

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval (Maybe a)

inj :: Maybe a -> Value

HasValue a => HasValue (Vector a)

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval (Vector a)

inj :: Vector a -> Value

HasValue (Vector Thunk)

Defined in Language.Jsonnet.Value

Methods

proj :: Value -> Eval (Vector Thunk)

inj :: Vector Thunk -> Value

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

Defined in Language.Jsonnet.Value

Methods

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

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

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

Defined in Language.Jsonnet.Value

Methods

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

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

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

Defined in Language.Jsonnet.Value

Methods

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

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

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

Defined in Language.Jsonnet.Value

Methods

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

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

throwTypeMismatch :: Text -> Value -> Eval a

inj' :: (HasValue a, HasValue b) => (a -> b) -> Value -> Eval Value

inj'' :: (HasValue a, HasValue b, HasValue c) => (a -> b -> c) -> Value -> Value -> Eval Value