Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Field | |
|
Instances
Functor Field Source # | |
Foldable Field Source # | |
Defined in Language.Jsonnet.Syntax fold :: Monoid m => Field m -> m # foldMap :: Monoid m => (a -> m) -> Field a -> m # foldMap' :: Monoid m => (a -> m) -> Field a -> m # foldr :: (a -> b -> b) -> b -> Field a -> b # foldr' :: (a -> b -> b) -> b -> Field a -> b # foldl :: (b -> a -> b) -> b -> Field a -> b # foldl' :: (b -> a -> b) -> b -> Field a -> b # foldr1 :: (a -> a -> a) -> Field a -> a # foldl1 :: (a -> a -> a) -> Field a -> a # elem :: Eq a => a -> Field a -> Bool # maximum :: Ord a => Field a -> a # minimum :: Ord a => Field a -> a # | |
Traversable Field Source # | |
Show1 Field Source # | |
Data a => Lift (Field a :: Type) Source # | |
Eq a => Eq (Field a) Source # | |
Data a => Data (Field a) Source # | |
Defined in Language.Jsonnet.Syntax gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Field a -> c (Field a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Field a) # toConstr :: Field a -> Constr # dataTypeOf :: Field a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Field a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Field a)) # gmapT :: (forall b. Data b => b -> b) -> Field a -> Field a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Field a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Field a -> r # gmapQ :: (forall d. Data d => d -> u) -> Field a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Field a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Field a -> m (Field a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Field a -> m (Field a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Field a -> m (Field a) # | |
Read a => Read (Field a) Source # | |
Show a => Show (Field a) Source # | |
Generic (Field a) Source # | |
Alpha a => Alpha (Field a) Source # | |
Defined in Language.Jsonnet.Syntax aeq' :: AlphaCtx -> Field a -> Field a -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Field a -> f (Field a) # close :: AlphaCtx -> NamePatFind -> Field a -> Field a # open :: AlphaCtx -> NthPatFind -> Field a -> Field a # isPat :: Field a -> DisjointSet AnyName # nthPatFind :: Field a -> NthPatFind # namePatFind :: Field a -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Field a -> Field a # lfreshen' :: LFresh m => AlphaCtx -> Field a -> (Field a -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Field a -> m (Field a, Perm AnyName) # | |
type Rep (Field a) Source # | |
Defined in Language.Jsonnet.Syntax type Rep (Field a) = D1 ('MetaData "Field" "Language.Jsonnet.Syntax" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Field" '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 #