Safe Haskell	None
Language	Haskell2010

Language.Jsonnet.Common

Documentation

data Literal Source #

Constructors

Null
Bool Bool
String Text
Number Scientific

Instances

Instances details

Eq Literal Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Data Literal Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Literal -> c Literal # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Literal # toConstr :: Literal -> Constr # dataTypeOf :: Literal -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Literal) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Literal) # gmapT :: (forall b. Data b => b -> b) -> Literal -> Literal # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r # gmapQ :: (forall d. Data d => d -> u) -> Literal -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Literal -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Literal -> m Literal # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal #
Ord Literal Source #
Instance details Defined in Language.Jsonnet.Common Methods compare :: Literal -> Literal -> Ordering # (<) :: Literal -> Literal -> Bool # (<=) :: Literal -> Literal -> Bool # (>) :: Literal -> Literal -> Bool # (>=) :: Literal -> Literal -> Bool # max :: Literal -> Literal -> Literal # min :: Literal -> Literal -> Literal #
Show Literal Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
Generic Literal Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep Literal :: Type -> Type # Methods from :: Literal -> Rep Literal x # to :: Rep Literal x -> Literal #
Alpha Literal Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> Literal -> Literal -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Literal -> f Literal # close :: AlphaCtx -> NamePatFind -> Literal -> Literal # open :: AlphaCtx -> NthPatFind -> Literal -> Literal # isPat :: Literal -> DisjointSet AnyName # isTerm :: Literal -> All # isEmbed :: Literal -> Bool # nthPatFind :: Literal -> NthPatFind # namePatFind :: Literal -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Literal -> Literal # lfreshen' :: LFresh m => AlphaCtx -> Literal -> (Literal -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Literal -> m (Literal, Perm AnyName) # acompare' :: AlphaCtx -> Literal -> Literal -> Ordering #
Lift Literal Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => Literal -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Literal -> Code m Literal #
Subst a Literal Source #
Instance details Defined in Language.Jsonnet.Common Methods isvar :: Literal -> Maybe (SubstName Literal a) # isCoerceVar :: Literal -> Maybe (SubstCoerce Literal a) # subst :: Name a -> a -> Literal -> Literal # substs :: [(Name a, a)] -> Literal -> Literal #
type Rep Literal Source #
Instance details Defined in Language.Jsonnet.Common type Rep Literal = D1 ('MetaData "Literal" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Number" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Scientific))))

data BinOp Source #

Constructors

Arith ArithOp
Comp CompOp
Bitwise BitwiseOp
Logical LogicalOp
In

Instances

Instances details

Eq BinOp Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: BinOp -> BinOp -> Bool # (/=) :: BinOp -> BinOp -> Bool #
Data BinOp Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BinOp -> c BinOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BinOp # toConstr :: BinOp -> Constr # dataTypeOf :: BinOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BinOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BinOp) # gmapT :: (forall b. Data b => b -> b) -> BinOp -> BinOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BinOp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BinOp -> r # gmapQ :: (forall d. Data d => d -> u) -> BinOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BinOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp #
Show BinOp Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> BinOp -> ShowS # show :: BinOp -> String # showList :: [BinOp] -> ShowS #
Generic BinOp Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep BinOp :: Type -> Type # Methods from :: BinOp -> Rep BinOp x # to :: Rep BinOp x -> BinOp #
Alpha BinOp Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> BinOp -> BinOp -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> BinOp -> f BinOp # close :: AlphaCtx -> NamePatFind -> BinOp -> BinOp # open :: AlphaCtx -> NthPatFind -> BinOp -> BinOp # isPat :: BinOp -> DisjointSet AnyName # isTerm :: BinOp -> All # isEmbed :: BinOp -> Bool # nthPatFind :: BinOp -> NthPatFind # namePatFind :: BinOp -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> BinOp -> BinOp # lfreshen' :: LFresh m => AlphaCtx -> BinOp -> (BinOp -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> BinOp -> m (BinOp, Perm AnyName) # acompare' :: AlphaCtx -> BinOp -> BinOp -> Ordering #
Lift BinOp Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => BinOp -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => BinOp -> Code m BinOp #
type Rep BinOp Source #
Instance details Defined in Language.Jsonnet.Common type Rep BinOp = D1 ('MetaData "BinOp" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "Arith" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithOp)) :+: C1 ('MetaCons "Comp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompOp))) :+: (C1 ('MetaCons "Bitwise" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitwiseOp)) :+: (C1 ('MetaCons "Logical" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LogicalOp)) :+: C1 ('MetaCons "In" 'PrefixI 'False) (U1 :: Type -> Type))))

data UnyOp Source #

Constructors

Compl
LNot
Plus
Minus

Instances

Instances details

Bounded UnyOp Source #
Instance details Defined in Language.Jsonnet.Common Methods minBound :: UnyOp # maxBound :: UnyOp #
Enum UnyOp Source #
Instance details Defined in Language.Jsonnet.Common Methods succ :: UnyOp -> UnyOp # pred :: UnyOp -> UnyOp # toEnum :: Int -> UnyOp # fromEnum :: UnyOp -> Int # enumFrom :: UnyOp -> [UnyOp] # enumFromThen :: UnyOp -> UnyOp -> [UnyOp] # enumFromTo :: UnyOp -> UnyOp -> [UnyOp] # enumFromThenTo :: UnyOp -> UnyOp -> UnyOp -> [UnyOp] #
Eq UnyOp Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: UnyOp -> UnyOp -> Bool # (/=) :: UnyOp -> UnyOp -> Bool #
Data UnyOp Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnyOp -> c UnyOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnyOp # toConstr :: UnyOp -> Constr # dataTypeOf :: UnyOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UnyOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnyOp) # gmapT :: (forall b. Data b => b -> b) -> UnyOp -> UnyOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnyOp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnyOp -> r # gmapQ :: (forall d. Data d => d -> u) -> UnyOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UnyOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnyOp -> m UnyOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnyOp -> m UnyOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnyOp -> m UnyOp #
Show UnyOp Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> UnyOp -> ShowS # show :: UnyOp -> String # showList :: [UnyOp] -> ShowS #
Generic UnyOp Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep UnyOp :: Type -> Type # Methods from :: UnyOp -> Rep UnyOp x # to :: Rep UnyOp x -> UnyOp #
Alpha UnyOp Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> UnyOp -> UnyOp -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> UnyOp -> f UnyOp # close :: AlphaCtx -> NamePatFind -> UnyOp -> UnyOp # open :: AlphaCtx -> NthPatFind -> UnyOp -> UnyOp # isPat :: UnyOp -> DisjointSet AnyName # isTerm :: UnyOp -> All # isEmbed :: UnyOp -> Bool # nthPatFind :: UnyOp -> NthPatFind # namePatFind :: UnyOp -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> UnyOp -> UnyOp # lfreshen' :: LFresh m => AlphaCtx -> UnyOp -> (UnyOp -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> UnyOp -> m (UnyOp, Perm AnyName) # acompare' :: AlphaCtx -> UnyOp -> UnyOp -> Ordering #
Lift UnyOp Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => UnyOp -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => UnyOp -> Code m UnyOp #
type Rep UnyOp Source #
Instance details Defined in Language.Jsonnet.Common type Rep UnyOp = D1 ('MetaData "UnyOp" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "Compl" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LNot" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Plus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Minus" 'PrefixI 'False) (U1 :: Type -> Type)))

data ArithOp Source #

Constructors

Add
Sub
Mul
Div
Mod

Instances

Instances details

Bounded ArithOp Source #
Instance details Defined in Language.Jsonnet.Common Methods minBound :: ArithOp # maxBound :: ArithOp #
Enum ArithOp Source #
Instance details Defined in Language.Jsonnet.Common Methods succ :: ArithOp -> ArithOp # pred :: ArithOp -> ArithOp # toEnum :: Int -> ArithOp # fromEnum :: ArithOp -> Int # enumFrom :: ArithOp -> [ArithOp] # enumFromThen :: ArithOp -> ArithOp -> [ArithOp] # enumFromTo :: ArithOp -> ArithOp -> [ArithOp] # enumFromThenTo :: ArithOp -> ArithOp -> ArithOp -> [ArithOp] #
Eq ArithOp Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: ArithOp -> ArithOp -> Bool # (/=) :: ArithOp -> ArithOp -> Bool #
Data ArithOp Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ArithOp -> c ArithOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ArithOp # toConstr :: ArithOp -> Constr # dataTypeOf :: ArithOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ArithOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ArithOp) # gmapT :: (forall b. Data b => b -> b) -> ArithOp -> ArithOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ArithOp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ArithOp -> r # gmapQ :: (forall d. Data d => d -> u) -> ArithOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ArithOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ArithOp -> m ArithOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ArithOp -> m ArithOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ArithOp -> m ArithOp #
Show ArithOp Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> ArithOp -> ShowS # show :: ArithOp -> String # showList :: [ArithOp] -> ShowS #
Generic ArithOp Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep ArithOp :: Type -> Type # Methods from :: ArithOp -> Rep ArithOp x # to :: Rep ArithOp x -> ArithOp #
Alpha ArithOp Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> ArithOp -> ArithOp -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> ArithOp -> f ArithOp # close :: AlphaCtx -> NamePatFind -> ArithOp -> ArithOp # open :: AlphaCtx -> NthPatFind -> ArithOp -> ArithOp # isPat :: ArithOp -> DisjointSet AnyName # isTerm :: ArithOp -> All # isEmbed :: ArithOp -> Bool # nthPatFind :: ArithOp -> NthPatFind # namePatFind :: ArithOp -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> ArithOp -> ArithOp # lfreshen' :: LFresh m => AlphaCtx -> ArithOp -> (ArithOp -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> ArithOp -> m (ArithOp, Perm AnyName) # acompare' :: AlphaCtx -> ArithOp -> ArithOp -> Ordering #
Lift ArithOp Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => ArithOp -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ArithOp -> Code m ArithOp #
type Rep ArithOp Source #
Instance details Defined in Language.Jsonnet.Common type Rep ArithOp = D1 ('MetaData "ArithOp" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "Add" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sub" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Mul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Div" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mod" 'PrefixI 'False) (U1 :: Type -> Type))))

data CompOp Source #

Constructors

Lt
Le
Gt
Ge
Eq
Ne

Instances

Instances details

Bounded CompOp Source #
Instance details Defined in Language.Jsonnet.Common Methods minBound :: CompOp # maxBound :: CompOp #
Enum CompOp Source #
Instance details Defined in Language.Jsonnet.Common Methods succ :: CompOp -> CompOp # pred :: CompOp -> CompOp # toEnum :: Int -> CompOp # fromEnum :: CompOp -> Int # enumFrom :: CompOp -> [CompOp] # enumFromThen :: CompOp -> CompOp -> [CompOp] # enumFromTo :: CompOp -> CompOp -> [CompOp] # enumFromThenTo :: CompOp -> CompOp -> CompOp -> [CompOp] #
Eq CompOp Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: CompOp -> CompOp -> Bool # (/=) :: CompOp -> CompOp -> Bool #
Data CompOp Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompOp -> c CompOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompOp # toConstr :: CompOp -> Constr # dataTypeOf :: CompOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CompOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompOp) # gmapT :: (forall b. Data b => b -> b) -> CompOp -> CompOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompOp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompOp -> r # gmapQ :: (forall d. Data d => d -> u) -> CompOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CompOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompOp -> m CompOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompOp -> m CompOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompOp -> m CompOp #
Show CompOp Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> CompOp -> ShowS # show :: CompOp -> String # showList :: [CompOp] -> ShowS #
Generic CompOp Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep CompOp :: Type -> Type # Methods from :: CompOp -> Rep CompOp x # to :: Rep CompOp x -> CompOp #
Alpha CompOp Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> CompOp -> CompOp -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> CompOp -> f CompOp # close :: AlphaCtx -> NamePatFind -> CompOp -> CompOp # open :: AlphaCtx -> NthPatFind -> CompOp -> CompOp # isPat :: CompOp -> DisjointSet AnyName # isTerm :: CompOp -> All # isEmbed :: CompOp -> Bool # nthPatFind :: CompOp -> NthPatFind # namePatFind :: CompOp -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> CompOp -> CompOp # lfreshen' :: LFresh m => AlphaCtx -> CompOp -> (CompOp -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> CompOp -> m (CompOp, Perm AnyName) # acompare' :: AlphaCtx -> CompOp -> CompOp -> Ordering #
Lift CompOp Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => CompOp -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => CompOp -> Code m CompOp #
type Rep CompOp Source #
Instance details Defined in Language.Jsonnet.Common type Rep CompOp = D1 ('MetaData "CompOp" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "Lt" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Le" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Gt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Ge" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Eq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ne" 'PrefixI 'False) (U1 :: Type -> Type))))

data BitwiseOp Source #

Constructors

And
Or
Xor
ShiftL
ShiftR

Instances

Instances details

Bounded BitwiseOp Source #
Instance details Defined in Language.Jsonnet.Common Methods minBound :: BitwiseOp # maxBound :: BitwiseOp #
Enum BitwiseOp Source #
Instance details Defined in Language.Jsonnet.Common Methods succ :: BitwiseOp -> BitwiseOp # pred :: BitwiseOp -> BitwiseOp # toEnum :: Int -> BitwiseOp # fromEnum :: BitwiseOp -> Int # enumFrom :: BitwiseOp -> [BitwiseOp] # enumFromThen :: BitwiseOp -> BitwiseOp -> [BitwiseOp] # enumFromTo :: BitwiseOp -> BitwiseOp -> [BitwiseOp] # enumFromThenTo :: BitwiseOp -> BitwiseOp -> BitwiseOp -> [BitwiseOp] #
Eq BitwiseOp Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: BitwiseOp -> BitwiseOp -> Bool # (/=) :: BitwiseOp -> BitwiseOp -> Bool #
Data BitwiseOp Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BitwiseOp -> c BitwiseOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BitwiseOp # toConstr :: BitwiseOp -> Constr # dataTypeOf :: BitwiseOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BitwiseOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BitwiseOp) # gmapT :: (forall b. Data b => b -> b) -> BitwiseOp -> BitwiseOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BitwiseOp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BitwiseOp -> r # gmapQ :: (forall d. Data d => d -> u) -> BitwiseOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BitwiseOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BitwiseOp -> m BitwiseOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BitwiseOp -> m BitwiseOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BitwiseOp -> m BitwiseOp #
Show BitwiseOp Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> BitwiseOp -> ShowS # show :: BitwiseOp -> String # showList :: [BitwiseOp] -> ShowS #
Generic BitwiseOp Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep BitwiseOp :: Type -> Type # Methods from :: BitwiseOp -> Rep BitwiseOp x # to :: Rep BitwiseOp x -> BitwiseOp #
Alpha BitwiseOp Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> BitwiseOp -> BitwiseOp -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> BitwiseOp -> f BitwiseOp # close :: AlphaCtx -> NamePatFind -> BitwiseOp -> BitwiseOp # open :: AlphaCtx -> NthPatFind -> BitwiseOp -> BitwiseOp # isPat :: BitwiseOp -> DisjointSet AnyName # isTerm :: BitwiseOp -> All # isEmbed :: BitwiseOp -> Bool # nthPatFind :: BitwiseOp -> NthPatFind # namePatFind :: BitwiseOp -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> BitwiseOp -> BitwiseOp # lfreshen' :: LFresh m => AlphaCtx -> BitwiseOp -> (BitwiseOp -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> BitwiseOp -> m (BitwiseOp, Perm AnyName) # acompare' :: AlphaCtx -> BitwiseOp -> BitwiseOp -> Ordering #
Lift BitwiseOp Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => BitwiseOp -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => BitwiseOp -> Code m BitwiseOp #
type Rep BitwiseOp Source #
Instance details Defined in Language.Jsonnet.Common type Rep BitwiseOp = D1 ('MetaData "BitwiseOp" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "And" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Or" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Xor" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ShiftL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ShiftR" 'PrefixI 'False) (U1 :: Type -> Type))))

data LogicalOp Source #

Constructors

LAnd
LOr

Instances

Instances details

Bounded LogicalOp Source #
Instance details Defined in Language.Jsonnet.Common Methods minBound :: LogicalOp # maxBound :: LogicalOp #
Enum LogicalOp Source #
Instance details Defined in Language.Jsonnet.Common Methods succ :: LogicalOp -> LogicalOp # pred :: LogicalOp -> LogicalOp # toEnum :: Int -> LogicalOp # fromEnum :: LogicalOp -> Int # enumFrom :: LogicalOp -> [LogicalOp] # enumFromThen :: LogicalOp -> LogicalOp -> [LogicalOp] # enumFromTo :: LogicalOp -> LogicalOp -> [LogicalOp] # enumFromThenTo :: LogicalOp -> LogicalOp -> LogicalOp -> [LogicalOp] #
Eq LogicalOp Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: LogicalOp -> LogicalOp -> Bool # (/=) :: LogicalOp -> LogicalOp -> Bool #
Data LogicalOp Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LogicalOp -> c LogicalOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LogicalOp # toConstr :: LogicalOp -> Constr # dataTypeOf :: LogicalOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LogicalOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LogicalOp) # gmapT :: (forall b. Data b => b -> b) -> LogicalOp -> LogicalOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LogicalOp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LogicalOp -> r # gmapQ :: (forall d. Data d => d -> u) -> LogicalOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LogicalOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LogicalOp -> m LogicalOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LogicalOp -> m LogicalOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LogicalOp -> m LogicalOp #
Show LogicalOp Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> LogicalOp -> ShowS # show :: LogicalOp -> String # showList :: [LogicalOp] -> ShowS #
Generic LogicalOp Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep LogicalOp :: Type -> Type # Methods from :: LogicalOp -> Rep LogicalOp x # to :: Rep LogicalOp x -> LogicalOp #
Alpha LogicalOp Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> LogicalOp -> LogicalOp -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> LogicalOp -> f LogicalOp # close :: AlphaCtx -> NamePatFind -> LogicalOp -> LogicalOp # open :: AlphaCtx -> NthPatFind -> LogicalOp -> LogicalOp # isPat :: LogicalOp -> DisjointSet AnyName # isTerm :: LogicalOp -> All # isEmbed :: LogicalOp -> Bool # nthPatFind :: LogicalOp -> NthPatFind # namePatFind :: LogicalOp -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> LogicalOp -> LogicalOp # lfreshen' :: LFresh m => AlphaCtx -> LogicalOp -> (LogicalOp -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> LogicalOp -> m (LogicalOp, Perm AnyName) # acompare' :: AlphaCtx -> LogicalOp -> LogicalOp -> Ordering #
Lift LogicalOp Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => LogicalOp -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => LogicalOp -> Code m LogicalOp #
type Rep LogicalOp Source #
Instance details Defined in Language.Jsonnet.Common type Rep LogicalOp = D1 ('MetaData "LogicalOp" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "LAnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LOr" 'PrefixI 'False) (U1 :: Type -> Type))

data Strictness Source #

Constructors

Strict
Lazy

Instances

Instances details

Eq Strictness Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: Strictness -> Strictness -> Bool # (/=) :: Strictness -> Strictness -> Bool #
Data Strictness Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Strictness -> c Strictness # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Strictness # toConstr :: Strictness -> Constr # dataTypeOf :: Strictness -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Strictness) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Strictness) # gmapT :: (forall b. Data b => b -> b) -> Strictness -> Strictness # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Strictness -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Strictness -> r # gmapQ :: (forall d. Data d => d -> u) -> Strictness -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Strictness -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Strictness -> m Strictness # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Strictness -> m Strictness # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Strictness -> m Strictness #
Read Strictness Source #
Instance details Defined in Language.Jsonnet.Common Methods readsPrec :: Int -> ReadS Strictness # readList :: ReadS [Strictness] # readPrec :: ReadPrec Strictness # readListPrec :: ReadPrec [Strictness] #
Show Strictness Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> Strictness -> ShowS # show :: Strictness -> String # showList :: [Strictness] -> ShowS #
Generic Strictness Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep Strictness :: Type -> Type # Methods from :: Strictness -> Rep Strictness x # to :: Rep Strictness x -> Strictness #
Alpha Strictness Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> Strictness -> Strictness -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Strictness -> f Strictness # close :: AlphaCtx -> NamePatFind -> Strictness -> Strictness # open :: AlphaCtx -> NthPatFind -> Strictness -> Strictness # isPat :: Strictness -> DisjointSet AnyName # isTerm :: Strictness -> All # isEmbed :: Strictness -> Bool # nthPatFind :: Strictness -> NthPatFind # namePatFind :: Strictness -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Strictness -> Strictness # lfreshen' :: LFresh m => AlphaCtx -> Strictness -> (Strictness -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Strictness -> m (Strictness, Perm AnyName) # acompare' :: AlphaCtx -> Strictness -> Strictness -> Ordering #
Lift Strictness Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => Strictness -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Strictness -> Code m Strictness #
type Rep Strictness Source #
Instance details Defined in Language.Jsonnet.Common type Rep Strictness = D1 ('MetaData "Strictness" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Strict" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Lazy" 'PrefixI 'False) (U1 :: Type -> Type))

data Arg a Source #

Constructors

Pos a
Named String a

Instances

Instances details

Functor Arg Source #
Instance details Defined in Language.Jsonnet.Common Methods fmap :: (a -> b) -> Arg a -> Arg b # (<$) :: a -> Arg b -> Arg a #
Foldable Arg Source #
Instance details Defined in Language.Jsonnet.Common Methods fold :: Monoid m => Arg m -> m # foldMap :: Monoid m => (a -> m) -> Arg a -> m # foldMap' :: Monoid m => (a -> m) -> Arg a -> m # foldr :: (a -> b -> b) -> b -> Arg a -> b # foldr' :: (a -> b -> b) -> b -> Arg a -> b # foldl :: (b -> a -> b) -> b -> Arg a -> b # foldl' :: (b -> a -> b) -> b -> Arg a -> b # foldr1 :: (a -> a -> a) -> Arg a -> a # foldl1 :: (a -> a -> a) -> Arg a -> a # toList :: Arg a -> [a] # null :: Arg a -> Bool # length :: Arg a -> Int # elem :: Eq a => a -> Arg a -> Bool # maximum :: Ord a => Arg a -> a # minimum :: Ord a => Arg a -> a # sum :: Num a => Arg a -> a # product :: Num a => Arg a -> a #
Traversable Arg Source #
Instance details Defined in Language.Jsonnet.Common Methods traverse :: Applicative f => (a -> f b) -> Arg a -> f (Arg b) # sequenceA :: Applicative f => Arg (f a) -> f (Arg a) # mapM :: Monad m => (a -> m b) -> Arg a -> m (Arg b) # sequence :: Monad m => Arg (m a) -> m (Arg a) #
Show1 Arg Source #
Instance details Defined in Language.Jsonnet.Common Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Arg a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Arg a] -> ShowS #
Data a => Lift (Arg a :: Type) Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => Arg a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Arg a -> Code m (Arg a) #
Eq a => Eq (Arg a) Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: Arg a -> Arg a -> Bool # (/=) :: Arg a -> Arg a -> Bool #
Data a => Data (Arg a) Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Arg a -> c (Arg a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Arg a) # toConstr :: Arg a -> Constr # dataTypeOf :: Arg a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Arg a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Arg a)) # gmapT :: (forall b. Data b => b -> b) -> Arg a -> Arg a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Arg a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Arg a -> r # gmapQ :: (forall d. Data d => d -> u) -> Arg a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Arg a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Arg a -> m (Arg a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg a -> m (Arg a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg a -> m (Arg a) #
Read a => Read (Arg a) Source #
Instance details Defined in Language.Jsonnet.Common Methods readsPrec :: Int -> ReadS (Arg a) # readList :: ReadS [Arg a] # readPrec :: ReadPrec (Arg a) # readListPrec :: ReadPrec [Arg a] #
Show a => Show (Arg a) Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> Arg a -> ShowS # show :: Arg a -> String # showList :: [Arg a] -> ShowS #
Generic (Arg a) Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep (Arg a) :: Type -> Type # Methods from :: Arg a -> Rep (Arg a) x # to :: Rep (Arg a) x -> Arg a #
Alpha a => Alpha (Arg a) Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> Arg a -> Arg a -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Arg a -> f (Arg a) # close :: AlphaCtx -> NamePatFind -> Arg a -> Arg a # open :: AlphaCtx -> NthPatFind -> Arg a -> Arg a # isPat :: Arg a -> DisjointSet AnyName # isTerm :: Arg a -> All # isEmbed :: Arg a -> Bool # nthPatFind :: Arg a -> NthPatFind # namePatFind :: Arg a -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Arg a -> Arg a # lfreshen' :: LFresh m => AlphaCtx -> Arg a -> (Arg a -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Arg a -> m (Arg a, Perm AnyName) # acompare' :: AlphaCtx -> Arg a -> Arg a -> Ordering #
Generic1 Arg Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep1 Arg :: k -> Type # Methods from1 :: forall (a :: k). Arg a -> Rep1 Arg a # to1 :: forall (a :: k). Rep1 Arg a -> Arg a #
type Rep (Arg a) Source #
Instance details Defined in Language.Jsonnet.Common type Rep (Arg a) = D1 ('MetaData "Arg" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Pos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Named" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))
type Rep1 Arg Source #
Instance details Defined in Language.Jsonnet.Common type Rep1 Arg = D1 ('MetaData "Arg" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Pos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1) :+: C1 ('MetaCons "Named" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

data Args a Source #

Constructors

Args
Fields args :: [Arg a] strictness :: Strictness

Instances

Instances details

Functor Args Source #
Instance details Defined in Language.Jsonnet.Common Methods fmap :: (a -> b) -> Args a -> Args b # (<$) :: a -> Args b -> Args a #
Foldable Args Source #
Instance details Defined in Language.Jsonnet.Common Methods fold :: Monoid m => Args m -> m # foldMap :: Monoid m => (a -> m) -> Args a -> m # foldMap' :: Monoid m => (a -> m) -> Args a -> m # foldr :: (a -> b -> b) -> b -> Args a -> b # foldr' :: (a -> b -> b) -> b -> Args a -> b # foldl :: (b -> a -> b) -> b -> Args a -> b # foldl' :: (b -> a -> b) -> b -> Args a -> b # foldr1 :: (a -> a -> a) -> Args a -> a # foldl1 :: (a -> a -> a) -> Args a -> a # toList :: Args a -> [a] # null :: Args a -> Bool # length :: Args a -> Int # elem :: Eq a => a -> Args a -> Bool # maximum :: Ord a => Args a -> a # minimum :: Ord a => Args a -> a # sum :: Num a => Args a -> a # product :: Num a => Args a -> a #
Traversable Args Source #
Instance details Defined in Language.Jsonnet.Common Methods traverse :: Applicative f => (a -> f b) -> Args a -> f (Args b) # sequenceA :: Applicative f => Args (f a) -> f (Args a) # mapM :: Monad m => (a -> m b) -> Args a -> m (Args b) # sequence :: Monad m => Args (m a) -> m (Args a) #
Show1 Args Source #
Instance details Defined in Language.Jsonnet.Common Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Args a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Args a] -> ShowS #
Data a => Lift (Args a :: Type) Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => Args a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Args a -> Code m (Args a) #
Eq a => Eq (Args a) Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: Args a -> Args a -> Bool # (/=) :: Args a -> Args a -> Bool #
Data a => Data (Args a) Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Args a -> c (Args a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Args a) # toConstr :: Args a -> Constr # dataTypeOf :: Args a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Args a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Args a)) # gmapT :: (forall b. Data b => b -> b) -> Args a -> Args a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Args a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Args a -> r # gmapQ :: (forall d. Data d => d -> u) -> Args a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Args a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Args a -> m (Args a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Args a -> m (Args a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Args a -> m (Args a) #
Read a => Read (Args a) Source #
Instance details Defined in Language.Jsonnet.Common Methods readsPrec :: Int -> ReadS (Args a) # readList :: ReadS [Args a] # readPrec :: ReadPrec (Args a) # readListPrec :: ReadPrec [Args a] #
Show a => Show (Args a) Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> Args a -> ShowS # show :: Args a -> String # showList :: [Args a] -> ShowS #
Generic (Args a) Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep (Args a) :: Type -> Type # Methods from :: Args a -> Rep (Args a) x # to :: Rep (Args a) x -> Args a #
Alpha a => Alpha (Args a) Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> Args a -> Args a -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Args a -> f (Args a) # close :: AlphaCtx -> NamePatFind -> Args a -> Args a # open :: AlphaCtx -> NthPatFind -> Args a -> Args a # isPat :: Args a -> DisjointSet AnyName # isTerm :: Args a -> All # isEmbed :: Args a -> Bool # nthPatFind :: Args a -> NthPatFind # namePatFind :: Args a -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Args a -> Args a # lfreshen' :: LFresh m => AlphaCtx -> Args a -> (Args a -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Args a -> m (Args a, Perm AnyName) # acompare' :: AlphaCtx -> Args a -> Args a -> Ordering #
type Rep (Args a) Source #
Instance details Defined in Language.Jsonnet.Common type Rep (Args a) = D1 ('MetaData "Args" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Args" 'PrefixI 'True) (S1 ('MetaSel ('Just "args") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Arg a]) :*: S1 ('MetaSel ('Just "strictness") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Strictness)))

data Assert a Source #

Constructors

Assert
Fields cond :: a msg :: Maybe a expr :: a

Instances

Instances details

Functor Assert Source #
Instance details Defined in Language.Jsonnet.Common Methods fmap :: (a -> b) -> Assert a -> Assert b # (<$) :: a -> Assert b -> Assert a #
Foldable Assert Source #
Instance details Defined in Language.Jsonnet.Common Methods fold :: Monoid m => Assert m -> m # foldMap :: Monoid m => (a -> m) -> Assert a -> m # foldMap' :: Monoid m => (a -> m) -> Assert a -> m # foldr :: (a -> b -> b) -> b -> Assert a -> b # foldr' :: (a -> b -> b) -> b -> Assert a -> b # foldl :: (b -> a -> b) -> b -> Assert a -> b # foldl' :: (b -> a -> b) -> b -> Assert a -> b # foldr1 :: (a -> a -> a) -> Assert a -> a # foldl1 :: (a -> a -> a) -> Assert a -> a # toList :: Assert a -> [a] # null :: Assert a -> Bool # length :: Assert a -> Int # elem :: Eq a => a -> Assert a -> Bool # maximum :: Ord a => Assert a -> a # minimum :: Ord a => Assert a -> a # sum :: Num a => Assert a -> a # product :: Num a => Assert a -> a #
Traversable Assert Source #
Instance details Defined in Language.Jsonnet.Common Methods traverse :: Applicative f => (a -> f b) -> Assert a -> f (Assert b) # sequenceA :: Applicative f => Assert (f a) -> f (Assert a) # mapM :: Monad m => (a -> m b) -> Assert a -> m (Assert b) # sequence :: Monad m => Assert (m a) -> m (Assert a) #
Show1 Assert Source #
Instance details Defined in Language.Jsonnet.Common Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Assert a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Assert a] -> ShowS #
Data a => Lift (Assert a :: Type) Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => Assert a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Assert a -> Code m (Assert a) #
Eq a => Eq (Assert a) Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: Assert a -> Assert a -> Bool # (/=) :: Assert a -> Assert a -> Bool #
Data a => Data (Assert a) Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Assert a -> c (Assert a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Assert a) # toConstr :: Assert a -> Constr # dataTypeOf :: Assert a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Assert a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Assert a)) # gmapT :: (forall b. Data b => b -> b) -> Assert a -> Assert a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Assert a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Assert a -> r # gmapQ :: (forall d. Data d => d -> u) -> Assert a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Assert a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Assert a -> m (Assert a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Assert a -> m (Assert a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Assert a -> m (Assert a) #
Read a => Read (Assert a) Source #
Instance details Defined in Language.Jsonnet.Common Methods readsPrec :: Int -> ReadS (Assert a) # readList :: ReadS [Assert a] # readPrec :: ReadPrec (Assert a) # readListPrec :: ReadPrec [Assert a] #
Show a => Show (Assert a) Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> Assert a -> ShowS # show :: Assert a -> String # showList :: [Assert a] -> ShowS #
Generic (Assert a) Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep (Assert a) :: Type -> Type # Methods from :: Assert a -> Rep (Assert a) x # to :: Rep (Assert a) x -> Assert a #
Alpha a => Alpha (Assert a) Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> Assert a -> Assert a -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Assert a -> f (Assert a) # close :: AlphaCtx -> NamePatFind -> Assert a -> Assert a # open :: AlphaCtx -> NthPatFind -> Assert a -> Assert a # isPat :: Assert a -> DisjointSet AnyName # isTerm :: Assert a -> All # isEmbed :: Assert a -> Bool # nthPatFind :: Assert a -> NthPatFind # namePatFind :: Assert a -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Assert a -> Assert a # lfreshen' :: LFresh m => AlphaCtx -> Assert a -> (Assert a -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Assert a -> m (Assert a, Perm AnyName) # acompare' :: AlphaCtx -> Assert a -> Assert a -> Ordering #
type Rep (Assert a) Source #
Instance details Defined in Language.Jsonnet.Common type Rep (Assert a) = D1 ('MetaData "Assert" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Assert" 'PrefixI 'True) (S1 ('MetaSel ('Just "cond") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: (S1 ('MetaSel ('Just "msg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a)) :: S1 ('MetaSel ('Just "expr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

data CompSpec a Source #

Constructors

CompSpec
Fields var :: String forspec :: a ifspec :: Maybe a

Instances

Instances details

Functor CompSpec Source #
Instance details Defined in Language.Jsonnet.Common Methods fmap :: (a -> b) -> CompSpec a -> CompSpec b # (<$) :: a -> CompSpec b -> CompSpec a #
Foldable CompSpec Source #
Instance details Defined in Language.Jsonnet.Common Methods fold :: Monoid m => CompSpec m -> m # foldMap :: Monoid m => (a -> m) -> CompSpec a -> m # foldMap' :: Monoid m => (a -> m) -> CompSpec a -> m # foldr :: (a -> b -> b) -> b -> CompSpec a -> b # foldr' :: (a -> b -> b) -> b -> CompSpec a -> b # foldl :: (b -> a -> b) -> b -> CompSpec a -> b # foldl' :: (b -> a -> b) -> b -> CompSpec a -> b # foldr1 :: (a -> a -> a) -> CompSpec a -> a # foldl1 :: (a -> a -> a) -> CompSpec a -> a # toList :: CompSpec a -> [a] # null :: CompSpec a -> Bool # length :: CompSpec a -> Int # elem :: Eq a => a -> CompSpec a -> Bool # maximum :: Ord a => CompSpec a -> a # minimum :: Ord a => CompSpec a -> a # sum :: Num a => CompSpec a -> a # product :: Num a => CompSpec a -> a #
Traversable CompSpec Source #
Instance details Defined in Language.Jsonnet.Common Methods traverse :: Applicative f => (a -> f b) -> CompSpec a -> f (CompSpec b) # sequenceA :: Applicative f => CompSpec (f a) -> f (CompSpec a) # mapM :: Monad m => (a -> m b) -> CompSpec a -> m (CompSpec b) # sequence :: Monad m => CompSpec (m a) -> m (CompSpec a) #
Show1 CompSpec Source #
Instance details Defined in Language.Jsonnet.Common Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> CompSpec a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [CompSpec a] -> ShowS #
Data a => Lift (CompSpec a :: Type) Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => CompSpec a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => CompSpec a -> Code m (CompSpec a) #
Eq a => Eq (CompSpec a) Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: CompSpec a -> CompSpec a -> Bool # (/=) :: CompSpec a -> CompSpec a -> Bool #
Data a => Data (CompSpec a) Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompSpec a -> c (CompSpec a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CompSpec a) # toConstr :: CompSpec a -> Constr # dataTypeOf :: CompSpec a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CompSpec a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CompSpec a)) # gmapT :: (forall b. Data b => b -> b) -> CompSpec a -> CompSpec a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompSpec a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompSpec a -> r # gmapQ :: (forall d. Data d => d -> u) -> CompSpec a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CompSpec a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompSpec a -> m (CompSpec a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompSpec a -> m (CompSpec a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompSpec a -> m (CompSpec a) #
Read a => Read (CompSpec a) Source #
Instance details Defined in Language.Jsonnet.Common Methods readsPrec :: Int -> ReadS (CompSpec a) # readList :: ReadS [CompSpec a] # readPrec :: ReadPrec (CompSpec a) # readListPrec :: ReadPrec [CompSpec a] #
Show a => Show (CompSpec a) Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> CompSpec a -> ShowS # show :: CompSpec a -> String # showList :: [CompSpec a] -> ShowS #
Generic (CompSpec a) Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep (CompSpec a) :: Type -> Type # Methods from :: CompSpec a -> Rep (CompSpec a) x # to :: Rep (CompSpec a) x -> CompSpec a #
Alpha a => Alpha (CompSpec a) Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> CompSpec a -> CompSpec a -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> CompSpec a -> f (CompSpec a) # close :: AlphaCtx -> NamePatFind -> CompSpec a -> CompSpec a # open :: AlphaCtx -> NthPatFind -> CompSpec a -> CompSpec a # isPat :: CompSpec a -> DisjointSet AnyName # isTerm :: CompSpec a -> All # isEmbed :: CompSpec a -> Bool # nthPatFind :: CompSpec a -> NthPatFind # namePatFind :: CompSpec a -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> CompSpec a -> CompSpec a # lfreshen' :: LFresh m => AlphaCtx -> CompSpec a -> (CompSpec a -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> CompSpec a -> m (CompSpec a, Perm AnyName) # acompare' :: AlphaCtx -> CompSpec a -> CompSpec a -> Ordering #
type Rep (CompSpec a) Source #
Instance details Defined in Language.Jsonnet.Common type Rep (CompSpec a) = D1 ('MetaData "CompSpec" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "CompSpec" 'PrefixI 'True) (S1 ('MetaSel ('Just "var") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "forspec") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: S1 ('MetaSel ('Just "ifspec") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a)))))

data StackFrame a Source #

Constructors

StackFrame
Fields name :: Maybe (Name a) span :: SrcSpan

Instances

Instances details

Eq (StackFrame a) Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: StackFrame a -> StackFrame a -> Bool # (/=) :: StackFrame a -> StackFrame a -> Bool #
Show (StackFrame a) Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> StackFrame a -> ShowS # show :: StackFrame a -> String # showList :: [StackFrame a] -> ShowS #
Pretty (StackFrame a) Source #
Instance details Defined in Language.Jsonnet.Pretty Methods pretty :: StackFrame a -> Doc # prettyList :: [StackFrame a] -> Doc #

pushStackFrame :: StackFrame a -> Backtrace a -> Backtrace a Source #

data Backtrace a Source #

Constructors

Backtrace [StackFrame a]

Instances

Instances details

Eq (Backtrace a) Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: Backtrace a -> Backtrace a -> Bool # (/=) :: Backtrace a -> Backtrace a -> Bool #
Show (Backtrace a) Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> Backtrace a -> ShowS # show :: Backtrace a -> String # showList :: [Backtrace a] -> ShowS #
Pretty (Backtrace a) Source #
Instance details Defined in Language.Jsonnet.Pretty Methods pretty :: Backtrace a -> Doc # prettyList :: [Backtrace a] -> Doc #

data Visibility Source #

Constructors

Visible
Hidden
Forced

Instances

Instances details

Eq Visibility Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: Visibility -> Visibility -> Bool # (/=) :: Visibility -> Visibility -> Bool #
Data Visibility Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Visibility -> c Visibility # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Visibility # toConstr :: Visibility -> Constr # dataTypeOf :: Visibility -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Visibility) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Visibility) # gmapT :: (forall b. Data b => b -> b) -> Visibility -> Visibility # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Visibility -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Visibility -> r # gmapQ :: (forall d. Data d => d -> u) -> Visibility -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Visibility -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Visibility -> m Visibility # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Visibility -> m Visibility # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Visibility -> m Visibility #
Read Visibility Source #
Instance details Defined in Language.Jsonnet.Common Methods readsPrec :: Int -> ReadS Visibility # readList :: ReadS [Visibility] # readPrec :: ReadPrec Visibility # readListPrec :: ReadPrec [Visibility] #
Show Visibility Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> Visibility -> ShowS # show :: Visibility -> String # showList :: [Visibility] -> ShowS #
Generic Visibility Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep Visibility :: Type -> Type # Methods from :: Visibility -> Rep Visibility x # to :: Rep Visibility x -> Visibility #
Alpha Visibility Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> Visibility -> Visibility -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Visibility -> f Visibility # close :: AlphaCtx -> NamePatFind -> Visibility -> Visibility # open :: AlphaCtx -> NthPatFind -> Visibility -> Visibility # isPat :: Visibility -> DisjointSet AnyName # isTerm :: Visibility -> All # isEmbed :: Visibility -> Bool # nthPatFind :: Visibility -> NthPatFind # namePatFind :: Visibility -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Visibility -> Visibility # lfreshen' :: LFresh m => AlphaCtx -> Visibility -> (Visibility -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Visibility -> m (Visibility, Perm AnyName) # acompare' :: AlphaCtx -> Visibility -> Visibility -> Ordering #
Lift Visibility Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => Visibility -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Visibility -> Code m Visibility #
type Rep Visibility Source #
Instance details Defined in Language.Jsonnet.Common type Rep Visibility = D1 ('MetaData "Visibility" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Visible" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Hidden" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Forced" 'PrefixI 'False) (U1 :: Type -> Type)))

class HasVisibility a where Source #

Methods

visible :: a -> Bool Source #

forced :: a -> Bool Source #

hidden :: a -> Bool Source #

Instances

Instances details

HasVisibility (Hideable a) Source #
Instance details Defined in Language.Jsonnet.Common Methods visible :: Hideable a -> Bool Source # forced :: Hideable a -> Bool Source # hidden :: Hideable a -> Bool Source #

data Hideable a Source #

Constructors

Hideable
Fields value :: a visiblity :: Visibility

Instances

Instances details

Functor Hideable Source #
Instance details Defined in Language.Jsonnet.Common Methods fmap :: (a -> b) -> Hideable a -> Hideable b # (<$) :: a -> Hideable b -> Hideable a #
HasValue Object Source #
Instance details Defined in Language.Jsonnet.Value Methods proj :: Value -> Eval Object Source # inj :: Object -> Value Source #
Data a => Lift (Hideable a :: Type) Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Quote m => Hideable a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Hideable a -> Code m (Hideable a) #
Eq a => Eq (Hideable a) Source #
Instance details Defined in Language.Jsonnet.Common Methods (==) :: Hideable a -> Hideable a -> Bool # (/=) :: Hideable a -> Hideable a -> Bool #
Data a => Data (Hideable a) Source #
Instance details Defined in Language.Jsonnet.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Hideable a -> c (Hideable a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Hideable a) # toConstr :: Hideable a -> Constr # dataTypeOf :: Hideable a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Hideable a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Hideable a)) # gmapT :: (forall b. Data b => b -> b) -> Hideable a -> Hideable a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Hideable a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Hideable a -> r # gmapQ :: (forall d. Data d => d -> u) -> Hideable a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Hideable a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Hideable a -> m (Hideable a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Hideable a -> m (Hideable a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Hideable a -> m (Hideable a) #
Read a => Read (Hideable a) Source #
Instance details Defined in Language.Jsonnet.Common Methods readsPrec :: Int -> ReadS (Hideable a) # readList :: ReadS [Hideable a] # readPrec :: ReadPrec (Hideable a) # readListPrec :: ReadPrec [Hideable a] #
Show a => Show (Hideable a) Source #
Instance details Defined in Language.Jsonnet.Common Methods showsPrec :: Int -> Hideable a -> ShowS # show :: Hideable a -> String # showList :: [Hideable a] -> ShowS #
Generic (Hideable a) Source #
Instance details Defined in Language.Jsonnet.Common Associated Types type Rep (Hideable a) :: Type -> Type # Methods from :: Hideable a -> Rep (Hideable a) x # to :: Rep (Hideable a) x -> Hideable a #
Alpha a => Alpha (Hideable a) Source #
Instance details Defined in Language.Jsonnet.Common Methods aeq' :: AlphaCtx -> Hideable a -> Hideable a -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Hideable a -> f (Hideable a) # close :: AlphaCtx -> NamePatFind -> Hideable a -> Hideable a # open :: AlphaCtx -> NthPatFind -> Hideable a -> Hideable a # isPat :: Hideable a -> DisjointSet AnyName # isTerm :: Hideable a -> All # isEmbed :: Hideable a -> Bool # nthPatFind :: Hideable a -> NthPatFind # namePatFind :: Hideable a -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Hideable a -> Hideable a # lfreshen' :: LFresh m => AlphaCtx -> Hideable a -> (Hideable a -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Hideable a -> m (Hideable a, Perm AnyName) # acompare' :: AlphaCtx -> Hideable a -> Hideable a -> Ordering #
HasVisibility (Hideable a) Source #
Instance details Defined in Language.Jsonnet.Common Methods visible :: Hideable a -> Bool Source # forced :: Hideable a -> Bool Source # hidden :: Hideable a -> Bool Source #
type Rep (Hideable a) Source #
Instance details Defined in Language.Jsonnet.Common type Rep (Hideable a) = D1 ('MetaData "Hideable" "Language.Jsonnet.Common" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Hideable" 'PrefixI 'True) (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "visiblity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Visibility)))