Safe Haskell	None
Language	Haskell2010

Language.Jsonnet.Core

Documentation

type Param a = (Name a, Embed (Maybe a)) Source #

data KeyValue a Source #

Constructors

KeyValue a (Hideable a)

Instances

Instances details

Show a => Show (KeyValue a) Source #
Instance details Defined in Language.Jsonnet.Core Methods showsPrec :: Int -> KeyValue a -> ShowS # show :: KeyValue a -> String # showList :: [KeyValue a] -> ShowS #
Generic (KeyValue a) Source #
Instance details Defined in Language.Jsonnet.Core Associated Types type Rep (KeyValue a) :: Type -> Type # Methods from :: KeyValue a -> Rep (KeyValue a) x # to :: Rep (KeyValue a) x -> KeyValue a #
Alpha a => Alpha (KeyValue a) Source #
Instance details Defined in Language.Jsonnet.Core Methods aeq' :: AlphaCtx -> KeyValue a -> KeyValue a -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> KeyValue a -> f (KeyValue a) # close :: AlphaCtx -> NamePatFind -> KeyValue a -> KeyValue a # open :: AlphaCtx -> NthPatFind -> KeyValue a -> KeyValue a # isPat :: KeyValue a -> DisjointSet AnyName # isTerm :: KeyValue a -> All # isEmbed :: KeyValue a -> Bool # nthPatFind :: KeyValue a -> NthPatFind # namePatFind :: KeyValue a -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> KeyValue a -> KeyValue a # lfreshen' :: LFresh m => AlphaCtx -> KeyValue a -> (KeyValue a -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> KeyValue a -> m (KeyValue a, Perm AnyName) # acompare' :: AlphaCtx -> KeyValue a -> KeyValue a -> Ordering #
type Rep (KeyValue a) Source #
Instance details Defined in Language.Jsonnet.Core type Rep (KeyValue a) = D1 ('MetaData "KeyValue" "Language.Jsonnet.Core" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "KeyValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hideable a))))

newtype Fun Source #

Constructors

Fun (Bind (Rec [Param Core]) Core)

Instances

Instances details

Show Fun Source #
Instance details Defined in Language.Jsonnet.Core Methods showsPrec :: Int -> Fun -> ShowS # show :: Fun -> String # showList :: [Fun] -> ShowS #
Generic Fun Source #
Instance details Defined in Language.Jsonnet.Core Associated Types type Rep Fun :: Type -> Type # Methods from :: Fun -> Rep Fun x # to :: Rep Fun x -> Fun #
Alpha Fun Source #
Instance details Defined in Language.Jsonnet.Core Methods aeq' :: AlphaCtx -> Fun -> Fun -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Fun -> f Fun # close :: AlphaCtx -> NamePatFind -> Fun -> Fun # open :: AlphaCtx -> NthPatFind -> Fun -> Fun # isPat :: Fun -> DisjointSet AnyName # isTerm :: Fun -> All # isEmbed :: Fun -> Bool # nthPatFind :: Fun -> NthPatFind # namePatFind :: Fun -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Fun -> Fun # lfreshen' :: LFresh m => AlphaCtx -> Fun -> (Fun -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Fun -> m (Fun, Perm AnyName) # acompare' :: AlphaCtx -> Fun -> Fun -> Ordering #
type Rep Fun Source #
Instance details Defined in Language.Jsonnet.Core type Rep Fun = D1 ('MetaData "Fun" "Language.Jsonnet.Core" "jsonnet-0.2.0.0-inplace" 'True) (C1 ('MetaCons "Fun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bind (Rec [Param Core]) Core))))

newtype Let Source #

Constructors

Let (Bind (Rec [(Name Core, Embed Core)]) Core)

Instances

Instances details

Show Let Source #
Instance details Defined in Language.Jsonnet.Core Methods showsPrec :: Int -> Let -> ShowS # show :: Let -> String # showList :: [Let] -> ShowS #
Generic Let Source #
Instance details Defined in Language.Jsonnet.Core Associated Types type Rep Let :: Type -> Type # Methods from :: Let -> Rep Let x # to :: Rep Let x -> Let #
Alpha Let Source #
Instance details Defined in Language.Jsonnet.Core Methods aeq' :: AlphaCtx -> Let -> Let -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Let -> f Let # close :: AlphaCtx -> NamePatFind -> Let -> Let # open :: AlphaCtx -> NthPatFind -> Let -> Let # isPat :: Let -> DisjointSet AnyName # isTerm :: Let -> All # isEmbed :: Let -> Bool # nthPatFind :: Let -> NthPatFind # namePatFind :: Let -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Let -> Let # lfreshen' :: LFresh m => AlphaCtx -> Let -> (Let -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Let -> m (Let, Perm AnyName) # acompare' :: AlphaCtx -> Let -> Let -> Ordering #
type Rep Let Source #
Instance details Defined in Language.Jsonnet.Core type Rep Let = D1 ('MetaData "Let" "Language.Jsonnet.Core" "jsonnet-0.2.0.0-inplace" 'True) (C1 ('MetaCons "Let" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bind (Rec [(Name Core, Embed Core)]) Core))))

data Comp Source #

Constructors

ArrC (Bind (Name Core) (Core, Maybe Core))
ObjC (Bind (Name Core) (KeyValue Core, Maybe Core))

Instances

Instances details

Show Comp Source #
Instance details Defined in Language.Jsonnet.Core Methods showsPrec :: Int -> Comp -> ShowS # show :: Comp -> String # showList :: [Comp] -> ShowS #
Generic Comp Source #
Instance details Defined in Language.Jsonnet.Core Associated Types type Rep Comp :: Type -> Type # Methods from :: Comp -> Rep Comp x # to :: Rep Comp x -> Comp #
Alpha Comp Source #
Instance details Defined in Language.Jsonnet.Core Methods aeq' :: AlphaCtx -> Comp -> Comp -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Comp -> f Comp # close :: AlphaCtx -> NamePatFind -> Comp -> Comp # open :: AlphaCtx -> NthPatFind -> Comp -> Comp # isPat :: Comp -> DisjointSet AnyName # isTerm :: Comp -> All # isEmbed :: Comp -> Bool # nthPatFind :: Comp -> NthPatFind # namePatFind :: Comp -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Comp -> Comp # lfreshen' :: LFresh m => AlphaCtx -> Comp -> (Comp -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Comp -> m (Comp, Perm AnyName) # acompare' :: AlphaCtx -> Comp -> Comp -> Ordering #
type Rep Comp Source #
Instance details Defined in Language.Jsonnet.Core type Rep Comp = D1 ('MetaData "Comp" "Language.Jsonnet.Core" "jsonnet-0.2.0.0-inplace" 'False) (C1 ('MetaCons "ArrC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bind (Name Core) (Core, Maybe Core)))) :+: C1 ('MetaCons "ObjC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bind (Name Core) (KeyValue Core, Maybe Core)))))

data Core Source #

Constructors

CLoc SrcSpan Core
CLit Literal
CVar (Name Core)
CFun Fun
CApp Core (Args Core)
CLet Let
CObj [KeyValue Core]
CArr [Core]
CBinOp BinOp Core Core
CUnyOp UnyOp Core
CIfElse Core Core Core
CErr Core
CLookup Core Core
CComp Comp Core

Instances

Instances details

Show Core Source #
Instance details Defined in Language.Jsonnet.Core Methods showsPrec :: Int -> Core -> ShowS # show :: Core -> String # showList :: [Core] -> ShowS #
Generic Core Source #
Instance details Defined in Language.Jsonnet.Core Associated Types type Rep Core :: Type -> Type # Methods from :: Core -> Rep Core x # to :: Rep Core x -> Core #
Alpha Core Source #
Instance details Defined in Language.Jsonnet.Core Methods aeq' :: AlphaCtx -> Core -> Core -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Core -> f Core # close :: AlphaCtx -> NamePatFind -> Core -> Core # open :: AlphaCtx -> NthPatFind -> Core -> Core # isPat :: Core -> DisjointSet AnyName # isTerm :: Core -> All # isEmbed :: Core -> Bool # nthPatFind :: Core -> NthPatFind # namePatFind :: Core -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Core -> Core # lfreshen' :: LFresh m => AlphaCtx -> Core -> (Core -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Core -> m (Core, Perm AnyName) # acompare' :: AlphaCtx -> Core -> Core -> Ordering #
IsString (Name Core) Source #
Instance details Defined in Language.Jsonnet.Core Methods fromString :: String -> Name Core #
type Rep Core Source #
Instance details Defined in Language.Jsonnet.Core type Rep Core = D1 ('MetaData "Core" "Language.Jsonnet.Core" "jsonnet-0.2.0.0-inplace" 'False) (((C1 ('MetaCons "CLoc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SrcSpan) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core)) :+: (C1 ('MetaCons "CLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Literal)) :+: C1 ('MetaCons "CVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name Core))))) :+: ((C1 ('MetaCons "CFun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fun)) :+: C1 ('MetaCons "CApp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Args Core)))) :+: (C1 ('MetaCons "CLet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Let)) :+: C1 ('MetaCons "CObj" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [KeyValue Core]))))) :+: ((C1 ('MetaCons "CArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Core])) :+: (C1 ('MetaCons "CBinOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BinOp) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core))) :+: C1 ('MetaCons "CUnyOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnyOp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core)))) :+: ((C1 ('MetaCons "CIfElse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core))) :+: C1 ('MetaCons "CErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core))) :+: (C1 ('MetaCons "CLookup" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core)) :+: C1 ('MetaCons "CComp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Core))))))