Safe Haskell	Safe-Inferred
Language	GHC2021

Haxible.Eval

Description

This module contains the evaluation logic

Synopsis

type AnsibleHaxl a = GenHaxl () () a
runHaxible :: FilePath -> FilePath -> AnsibleHaxl [Value] -> IO ()
runTask :: Vars -> Text -> Value -> Vars -> Vars -> AnsibleHaxl Value
json :: QuasiQuoter
envLoop :: Text -> [(Text, Value)] -> [Value]
extractFact :: Value -> Value
traverseLoop :: Applicative f => (a -> f Value) -> [a] -> f Value
traverseInclude :: Applicative f => (a -> f [Value]) -> [a] -> f [Value]
cleanVar :: Value -> Value
tryRescue :: BlockFun -> BlockFun -> BlockFun
data Value
type Vars = [(Text, Value)]

Documentation

type AnsibleHaxl a = GenHaxl () () a Source #

runHaxible :: FilePath -> FilePath -> AnsibleHaxl [Value] -> IO () Source #

runTask :: Vars -> Text -> Value -> Vars -> Vars -> AnsibleHaxl Value Source #

json :: QuasiQuoter Source #

envLoop :: Text -> [(Text, Value)] -> [Value] Source #

Evaluate template for the loop attribute when it is a string (instead of a list):

>>> envLoop "{{ hosts }}" [("hosts", [json|["frontend", "backend"]|])]
[String "frontend",String "backend"]

extractFact :: Value -> Value Source #

traverseLoop :: Applicative f => (a -> f Value) -> [a] -> f Value Source #

Build the loop results:

>>> dump =<< traverseLoop (pure . String) ["a", "b"]
{"changed":false,"msg":"All items completed","results":["a","b"],"skipped":false}

traverseInclude :: Applicative f => (a -> f [Value]) -> [a] -> f [Value] Source #

Concat nested results

>>> dump =<< traverseInclude (\x -> pure [String x, Number 42]) ["a", "b"]
["a",42,"b",42]

cleanVar :: Value -> Value Source #

tryRescue :: BlockFun -> BlockFun -> BlockFun Source #

Call the rescue block if the main block fails.

data Value #

A JSON value represented as a Haskell value.

Instances

Instances details

Arbitrary Value	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.Types.Internal Methods arbitrary :: Gen Value # shrink :: Value -> [Value] #
CoArbitrary Value	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.Types.Internal Methods coarbitrary :: Value -> Gen b -> Gen b #
Function Value	Since: aeson-2.0.3.0
Instance details Defined in Data.Aeson.Types.Internal Methods function :: (Value -> b) -> Value :-> b #
FromJSON Value
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Value # parseJSONList :: Value -> Parser [Value] #
FromJSON PlaySyntax Source #
Instance details Defined in Haxible.Syntax Methods parseJSON :: Value -> Parser PlaySyntax # parseJSONList :: Value -> Parser [PlaySyntax] #
FromJSON TaskSyntax Source #
Instance details Defined in Haxible.Syntax Methods parseJSON :: Value -> Parser TaskSyntax # parseJSONList :: Value -> Parser [TaskSyntax] #
FromString Encoding
Instance details Defined in Data.Aeson.Types.ToJSON Methods fromString :: String -> Encoding
FromString Value
Instance details Defined in Data.Aeson.Types.ToJSON Methods fromString :: String -> Value
KeyValue Object	Constructs a singleton `KeyMap`. For calling functions that demand an `Object` for constructing objects. To be used in conjunction with `mconcat`. Prefer to use `object` where possible.
Instance details Defined in Data.Aeson.Types.ToJSON Methods (.=) :: ToJSON v => Key -> v -> Object #
KeyValue Pair
Instance details Defined in Data.Aeson.Types.ToJSON Methods (.=) :: ToJSON v => Key -> v -> Pair #
ToJSON Value
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Value -> Value # toEncoding :: Value -> Encoding # toJSONList :: [Value] -> Value # toEncodingList :: [Value] -> Encoding #
Data Value
Instance details Defined in Data.Aeson.Types.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value # toConstr :: Value -> Constr # dataTypeOf :: Value -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Value) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value) # gmapT :: (forall b. Data b => b -> b) -> Value -> Value # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r # gmapQ :: (forall d. Data d => d -> u) -> Value -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value #
IsString Value
Instance details Defined in Data.Aeson.Types.Internal Methods fromString :: String -> Value #
Generic Value
Instance details Defined in Data.Aeson.Types.Internal Associated Types type Rep Value :: Type -> Type # Methods from :: Value -> Rep Value x # to :: Rep Value x -> Value #
Read Value
Instance details Defined in Data.Aeson.Types.Internal Methods readsPrec :: Int -> ReadS Value # readList :: ReadS [Value] # readPrec :: ReadPrec Value # readListPrec :: ReadPrec [Value] #
Show Value	Since version 1.5.6.0 version object values are printed in lexicographic key order `>>>` `toJSON $ H.fromList [("a", True), ("z", False)]`Object (fromList [("a",Bool True),("z",Bool False)]) `>>>` `toJSON $ H.fromList [("z", False), ("a", True)]`Object (fromList [("a",Bool True),("z",Bool False)])
Instance details Defined in Data.Aeson.Types.Internal Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
NFData Value
Instance details Defined in Data.Aeson.Types.Internal Methods rnf :: Value -> () #
Eq Value
Instance details Defined in Data.Aeson.Types.Internal Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Ord Value	The ordering is total, consistent with `Eq` instance. However, nothing else about the ordering is specified, and it may change from environment to environment and version to version of either this package or its dependencies (`hashable` and 'unordered-containers'). Since: aeson-1.5.2.0
Instance details Defined in Data.Aeson.Types.Internal Methods compare :: Value -> Value -> Ordering # (<) :: Value -> Value -> Bool # (<=) :: Value -> Value -> Bool # (>) :: Value -> Value -> Bool # (>=) :: Value -> Value -> Bool # max :: Value -> Value -> Value # min :: Value -> Value -> Value #
Hashable Value
Instance details Defined in Data.Aeson.Types.Internal Methods hashWithSalt :: Int -> Value -> Int # hash :: Value -> Int #
AsJSON Value
Instance details Defined in Data.Aeson.Lens Methods _JSON :: (FromJSON a, ToJSON b) => Prism Value Value a b #
AsNumber Value
Instance details Defined in Data.Aeson.Lens Methods _Number :: Prism' Value Scientific # _Double :: Prism' Value Double # _Integer :: Prism' Value Integer #
AsPrimitive Value
Instance details Defined in Data.Aeson.Lens Methods _Primitive :: Prism' Value Primitive # _String :: Prism' Value Text # _Bool :: Prism' Value Bool # _Null :: Prism' Value () #
AsValue Value
Instance details Defined in Data.Aeson.Lens Methods _Value :: Prism' Value Value # _Object :: Prism' Value (HashMap Text Value) # _Array :: Prism' Value (Vector Value) #
FromGVal m Value
Instance details Defined in Text.Ginger.GVal Methods fromGValEither :: GVal m -> Either String Value # fromGVal :: GVal m -> Maybe Value #
ToGVal m Value	Convert Aeson `Value`s to `GVal`s over an arbitrary host monad. Because JSON cannot represent functions, this conversion will never produce a `Function`. Further, the `ToJSON` instance for such a `GVal` will always produce the exact `Value` that was use to construct the it.
Instance details Defined in Text.Ginger.GVal Methods toGVal :: Value -> GVal m #
Lift Value	Since: aeson-0.11.0.0
Instance details Defined in Data.Aeson.Types.Internal Methods lift :: Quote m => Value -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Value -> Code m Value #
(GToJSON' Encoding arity a, ConsToJSON Encoding arity a, Constructor c) => SumToJSON' TwoElemArray Encoding arity (C1 c a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods sumToJSON' :: Options -> ToArgs Encoding arity a0 -> C1 c a a0 -> Tagged TwoElemArray Encoding
(GToJSON' Value arity a, ConsToJSON Value arity a, Constructor c) => SumToJSON' TwoElemArray Value arity (C1 c a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods sumToJSON' :: Options -> ToArgs Value arity a0 -> C1 c a a0 -> Tagged TwoElemArray Value
GToJSON' Encoding arity (U1 :: TYPE LiftedRep -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a -> U1 a -> Encoding
GToJSON' Value arity (U1 :: TYPE LiftedRep -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a -> U1 a -> Value
GToJSON' Value arity (V1 :: TYPE LiftedRep -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a -> V1 a -> Value
ToJSON1 f => GToJSON' Encoding One (Rec1 f)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding One a -> Rec1 f a -> Encoding
ToJSON1 f => GToJSON' Value One (Rec1 f)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value One a -> Rec1 f a -> Value
(EncodeProduct arity a, EncodeProduct arity b) => GToJSON' Encoding arity (a :*: b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a0 -> (a :*: b) a0 -> Encoding
ToJSON a => GToJSON' Encoding arity (K1 i a :: TYPE LiftedRep -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a0 -> K1 i a a0 -> Encoding
(WriteProduct arity a, WriteProduct arity b, ProductSize a, ProductSize b) => GToJSON' Value arity (a :*: b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a0 -> (a :*: b) a0 -> Value
ToJSON a => GToJSON' Value arity (K1 i a :: TYPE LiftedRep -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a0 -> K1 i a a0 -> Value
(ToJSON1 f, GToJSON' Encoding One g) => GToJSON' Encoding One (f :.: g)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding One a -> (f :.: g) a -> Encoding
(ToJSON1 f, GToJSON' Value One g) => GToJSON' Value One (f :.: g)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value One a -> (f :.: g) a -> Value
FromPairs Value (DList Pair)
Instance details Defined in Data.Aeson.Types.ToJSON Methods fromPairs :: DList Pair -> Value
v ~ Value => KeyValuePair v (DList Pair)
Instance details Defined in Data.Aeson.Types.ToJSON Methods pair :: Key -> v -> DList Pair
ToGVal m (KeyMap Value)	`KeyMap` of `Value` becomes a dictionary-like `GVal`
Instance details Defined in Text.Ginger.GVal Methods toGVal :: KeyMap Value -> GVal m #
type Rep Value
Instance details Defined in Data.Aeson.Types.Internal type Rep Value = D1 ('MetaData "Value" "Data.Aeson.Types.Internal" "aeson-2.0.3.0-JsfPu3yjR3HGiW0fNjQdVR" 'False) ((C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Object)) :+: (C1 ('MetaCons "Array" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Array)) :+: C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))) :+: (C1 ('MetaCons "Number" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Scientific)) :+: (C1 ('MetaCons "Bool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type))))
type Index Value
Instance details Defined in Data.Aeson.Lens type Index Value = Text
type IxValue Value
Instance details Defined in Data.Aeson.Lens type IxValue Value = Value

type Vars = [(Text, Value)] Source #