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 |
Documentation
EField | |
|
Instances
Functor EField Source # | |
Foldable EField Source # | |
Defined in Language.Jsonnet.Syntax fold :: Monoid m => EField m -> m # foldMap :: Monoid m => (a -> m) -> EField a -> m # foldMap' :: Monoid m => (a -> m) -> EField a -> m # foldr :: (a -> b -> b) -> b -> EField a -> b # foldr' :: (a -> b -> b) -> b -> EField a -> b # foldl :: (b -> a -> b) -> b -> EField a -> b # foldl' :: (b -> a -> b) -> b -> EField a -> b # foldr1 :: (a -> a -> a) -> EField a -> a # foldl1 :: (a -> a -> a) -> EField a -> a # elem :: Eq a => a -> EField a -> Bool # maximum :: Ord a => EField a -> a # minimum :: Ord a => EField a -> a # | |
Traversable EField Source # | |
Show1 EField Source # | |
Data a => Lift (EField a :: Type) Source # | |
Eq a => Eq (EField a) Source # | |
Data a => Data (EField a) Source # | |
Defined in Language.Jsonnet.Syntax gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EField a -> c (EField a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (EField a) # toConstr :: EField a -> Constr # dataTypeOf :: EField a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (EField a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (EField a)) # gmapT :: (forall b. Data b => b -> b) -> EField a -> EField a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EField a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EField a -> r # gmapQ :: (forall d. Data d => d -> u) -> EField a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EField a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EField a -> m (EField a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EField a -> m (EField a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EField a -> m (EField a) # | |
Read a => Read (EField a) Source # | |
Show a => Show (EField a) Source # | |
Generic (EField a) Source # | |
Alpha a => Alpha (EField a) Source # | |
Defined in Language.Jsonnet.Syntax aeq' :: AlphaCtx -> EField a -> EField a -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> EField a -> f (EField a) # close :: AlphaCtx -> NamePatFind -> EField a -> EField a # open :: AlphaCtx -> NthPatFind -> EField a -> EField a # isPat :: EField a -> DisjointSet AnyName # nthPatFind :: EField a -> NthPatFind # namePatFind :: EField a -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> EField a -> EField a # lfreshen' :: LFresh m => AlphaCtx -> EField a -> (EField a -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> EField a -> m (EField a, Perm AnyName) # | |
type Rep (EField a) Source # | |
Defined in Language.Jsonnet.Syntax type Rep (EField a) = D1 ('MetaData "EField" "Language.Jsonnet.Syntax" "jsonnet-0.3.0.0-inplace" 'False) (C1 ('MetaCons "EField" 'PrefixI 'True) ((S1 ('MetaSel ('Just "key") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :*: (S1 ('MetaSel ('Just "visibility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Visibility) :*: S1 ('MetaSel ('Just "override") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) |
ELit Literal | |
EIdent Ident | |
EFun [Param a] a | |
EApply a (Args a) | |
ELocal | |
EObj | |
EArr [a] | |
EErr a | |
ELookup a a | |
EIndex a a | |
EAssert (Assert a) | |
EIf a a | |
EIfElse a a a | |
ESlice | |
EBinOp BinOp a a | |
EUnyOp UnyOp a | |
EArrComp | |
EObjComp | |
Instances
mkFloatF :: Scientific -> ExprF' a Source #