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

Language.Jsonnet.Core

Description

Documentation

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

data CField Source #

Constructors

CField
Fields fieldKey :: Core fieldVal :: Core fieldVis :: Visibility

Instances

Instances details

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

mkField :: Core -> Core -> Visibility -> CField Source #

data Comp Source #

Constructors

ArrC (Bind (Name Core) (Core, Maybe Core))
ObjC (Bind (Name Core) (CField, 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.3.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) (CField, Maybe Core)))))

type Lam = Bind (Rec [Param Core]) Core Source #

type Let = Bind (Rec [(Name Core, Embed Core)]) Core Source #

data Core where Source #

Constructors

CLoc :: SrcSpan -> Core -> Core
CLit :: Literal -> Core
CVar :: Name Core -> Core
CLam :: Lam -> Core
CPrim :: Prim -> Core
CApp :: Core -> Args Core -> Core
CLet :: Let -> Core
CObj :: [CField] -> Core
CArr :: [Core] -> Core
CComp :: Comp -> Core -> 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.3.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 "CLam" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lam)) :+: C1 ('MetaCons "CPrim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Prim))))) :+: ((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 [CField])) :+: (C1 ('MetaCons "CArr" 'PrefixI 'False) (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))))))