Safe Haskell	None
Language	Haskell2010

Cubix.Language.Parametric.InjF

Synopsis

class All HFunctor fs => InjF (fs :: [(Type -> Type) -> Type -> Type]) l l' where
- injF :: forall h (a :: Type -> Type). CxtS h fs a l -> CxtS h fs a l'
- projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a l' -> Maybe (Cxt h (Sum fs :&: p) a l)
- projF :: forall h (a :: Type -> Type). CxtS h fs a l' -> Maybe (CxtS h fs a l)
injectF :: forall g (fs :: Signature) l l' h (a :: Type -> Type). (g :-<: fs, InjF fs l l') => g (CxtS h fs a) l -> CxtS h fs a l'
fromProjF :: forall (fs :: [(Type -> Type) -> Type -> Type]) l l' h (a :: Type -> Type). InjF fs l l' => CxtS h fs a l' -> CxtS h fs a l
labeledInjF :: forall m (fs :: [(Type -> Type) -> Type -> Type]) l l'. (MonadAnnotater Label m, InjF fs l l', All HTraversable fs, All HFoldable fs) => TermLab fs l -> m (TermLab fs l')
injFAnnDef :: forall (fs :: [(Type -> Type) -> Type -> Type]) l l' a. (InjF fs l l', All HTraversable fs, Default a, All HFoldable fs) => AnnTerm a fs l -> AnnTerm a fs l'
injectFAnnDef :: forall (fs :: [(Type -> Type) -> Type -> Type]) l l' (f :: Fragment) a. (InjF fs l l', f :-<: fs, All HTraversable fs, All HFoldable fs, Default a) => (f :&: a) (AnnTerm a fs) l -> AnnTerm a fs l'
type family IsSortInjection (f :: Fragment) :: Bool
type family SortInjectionSource (f :: Fragment)
type family SortInjectionTarget (f :: Fragment)
class RemoveSortInjectionNode (f :: (Type -> Type) -> Sort -> Type) where
- removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. f (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource f)
type family InjectableSorts (fs :: Signature) l :: [Sort]
class AInjF (fs :: Signature) l where
- ainjF :: MonadAnnotater Label m => TermLab fs l' -> Maybe (TermLab fs l, TermLab fs l -> m (TermLab fs l'))
promoteInjRF :: forall (fs :: Signature) l m. (AInjF fs l, MonadPlus m, MonadAnnotater Label m) => RewriteM m (TermLab fs) l -> GRewriteM m (TermLab fs)

Documentation

class All HFunctor fs => InjF (fs :: [(Type -> Type) -> Type -> Type]) l l' where Source #

InjF allows us to create "sort injections," stating that one sort can be considered a coercive subsort of another..

For example, if we wanted to parameterize whether a given syntax allows arbitrary expressions to be used as function arguments, we could have the function terms have arguments of sort FunArg and create an ExpressionIsFunArg . Defining an instance

instance (ExpressionIsFunArg :-<: f) => InjF fs ExpL FunArgL

would then allow us to use expression as function arguments freely.

Minimal complete definition

injF, projF'

Methods

injF :: forall h (a :: Type -> Type). CxtS h fs a l -> CxtS h fs a l' Source #

projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a l' -> Maybe (Cxt h (Sum fs :&: p) a l) Source #

Dynamically casing on subsorts

projF :: forall h (a :: Type -> Type). CxtS h fs a l' -> Maybe (CxtS h fs a l) Source #

Instances

Instances details

InjF MCSig CExpressionL LocalVarInitL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a CExpressionL -> CxtS h MCSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MCSig :&: p) a CExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a LocalVarInitL -> Maybe (CxtS h MCSig a CExpressionL) Source #
InjF MCSig CStatementL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a CStatementL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a CStatementL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a CStatementL) Source #
InjF MCSig FunctionCallL RhsL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a FunctionCallL -> CxtS h MCSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a RhsL -> Maybe (Cxt h (Sum MCSig :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a RhsL -> Maybe (CxtS h MCSig a FunctionCallL) Source #
InjF MCSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a AssignL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a AssignL) Source #
InjF MCSig IdentL CExpressionL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a CExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a CExpressionL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a CExpressionL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a FunctionExpL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a PositionalArgExpL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a LhsL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a LhsL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a MultiLocalVarDeclL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a MultiLocalVarDeclL) Source #
InjF MJavaSig ExpL FunctionArgumentL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a FunctionArgumentL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionArgumentL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionArgumentL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InjF MJavaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LocalVarInitL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InjF MJavaSig StmtL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a StmtL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a StmtL) Source #
InjF MJavaSig FunctionCallL RhsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionCallL -> CxtS h MJavaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a RhsL -> Maybe (CxtS h MJavaSig a FunctionCallL) Source #
InjF MJavaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a AssignL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a AssignL) Source #
InjF MJavaSig BlockL StmtL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockL -> CxtS h MJavaSig a StmtL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a StmtL -> Maybe (Cxt h (Sum MJavaSig :&: p) a BlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> Maybe (CxtS h MJavaSig a BlockL) Source #
InjF MJavaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a PositionalArgExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LhsL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a MultiLocalVarDeclL) Source #
InjF MJSSig FunctionCallL RhsL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a FunctionCallL -> CxtS h MJSSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a RhsL -> Maybe (Cxt h (Sum MJSSig :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a RhsL -> Maybe (CxtS h MJSSig a FunctionCallL) Source #
InjF MJSSig AssignL JSStatementL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a AssignL -> CxtS h MJSSig a JSStatementL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a JSStatementL -> Maybe (Cxt h (Sum MJSSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a JSStatementL -> Maybe (CxtS h MJSSig a AssignL) Source #
InjF MJSSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a AssignL -> CxtS h MJSSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJSSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a BlockItemL -> Maybe (CxtS h MJSSig a AssignL) Source #
InjF MJSSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a IdentL -> CxtS h MJSSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJSSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a FunctionExpL -> Maybe (CxtS h MJSSig a IdentL) Source #
InjF MJSSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a IdentL -> CxtS h MJSSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MJSSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a PositionalArgExpL -> Maybe (CxtS h MJSSig a IdentL) Source #
InjF MJSSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a IdentL -> CxtS h MJSSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a LhsL -> Maybe (Cxt h (Sum MJSSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a LhsL -> Maybe (CxtS h MJSSig a IdentL) Source #
InjF MJSSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a IdentL -> CxtS h MJSSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MJSSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a VarDeclBinderL -> Maybe (CxtS h MJSSig a IdentL) Source #
InjF MJSSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a MultiLocalVarDeclL -> CxtS h MJSSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJSSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a BlockItemL -> Maybe (CxtS h MJSSig a MultiLocalVarDeclL) Source #
InjF MJSSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a SingleLocalVarDeclL -> CxtS h MJSSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJSSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a BlockItemL -> Maybe (CxtS h MJSSig a SingleLocalVarDeclL) Source #
InjF MLuaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig ExpL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig FunctionCallL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionCallL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a FunctionCallL) Source #
InjF MLuaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a AssignL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a AssignL) Source #
InjF MLuaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a PositionalArgExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a SingleLocalVarDeclL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a SingleLocalVarDeclL) Source #
InjF MPythonSig FunctionCallL RhsL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a FunctionCallL -> CxtS h MPythonSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a RhsL -> Maybe (Cxt h (Sum MPythonSig :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a RhsL -> Maybe (CxtS h MPythonSig a FunctionCallL) Source #
InjF MPythonSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a AssignL -> CxtS h MPythonSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MPythonSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a BlockItemL -> Maybe (CxtS h MPythonSig a AssignL) Source #
InjF MPythonSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a FunctionExpL -> Maybe (CxtS h MPythonSig a IdentL) Source #
InjF MPythonSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a PositionalArgExpL -> Maybe (CxtS h MPythonSig a IdentL) Source #
InjF MPythonSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a LhsL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a LhsL -> Maybe (CxtS h MPythonSig a IdentL) Source #
InjF MPythonSig IdentL ExprL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a ExprL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a ExprL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a ExprL -> Maybe (CxtS h MPythonSig a IdentL) Source #
(CFunParamAttrsIsFunctionParameterDeclAttrs :-<: fs, All HFunctor fs) => InjF fs CFunParamAttrsL FunctionParameterDeclAttrsL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CFunParamAttrsL -> CxtS h fs a FunctionParameterDeclAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionParameterDeclAttrsL -> Maybe (Cxt h (Sum fs :&: p) a CFunParamAttrsL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionParameterDeclAttrsL -> Maybe (CxtS h fs a CFunParamAttrsL) Source #
(CFunParamAttrsIsParameterAttrs :-<: fs, All HFunctor fs) => InjF fs CFunParamAttrsL ParameterAttrsL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CFunParamAttrsL -> CxtS h fs a ParameterAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a ParameterAttrsL -> Maybe (Cxt h (Sum fs :&: p) a CFunParamAttrsL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a ParameterAttrsL -> Maybe (CxtS h fs a CFunParamAttrsL) Source #
(COldStyleParamIsFunctionParameter :-<: fs, All HFunctor fs) => InjF fs COldStyleParamL FunctionParameterL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a COldStyleParamL -> CxtS h fs a FunctionParameterL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionParameterL -> Maybe (Cxt h (Sum fs :&: p) a COldStyleParamL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionParameterL -> Maybe (CxtS h fs a COldStyleParamL) Source #
(CSpecialParamIsFunctionParameterDecl :-<: fs, All HFunctor fs) => InjF fs CSpecialParamL FunctionParameterDeclL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CSpecialParamL -> CxtS h fs a FunctionParameterDeclL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionParameterDeclL -> Maybe (Cxt h (Sum fs :&: p) a CSpecialParamL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionParameterDeclL -> Maybe (CxtS h fs a CSpecialParamL) Source #
(CSpecialParamIsFunctionParameter :-<: fs, All HFunctor fs) => InjF fs CSpecialParamL FunctionParameterL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CSpecialParamL -> CxtS h fs a FunctionParameterL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionParameterL -> Maybe (Cxt h (Sum fs :&: p) a CSpecialParamL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionParameterL -> Maybe (CxtS h fs a CSpecialParamL) Source #
(CAssignOpIsAssignOp :-<: fs, All HFunctor fs) => InjF fs CAssignOpL AssignOpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CAssignOpL -> CxtS h fs a AssignOpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a AssignOpL -> Maybe (Cxt h (Sum fs :&: p) a CAssignOpL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a AssignOpL -> Maybe (CxtS h fs a CAssignOpL) Source #
(CCompoundBlockItemIsBlockItem :-<: fs, All HFunctor fs) => InjF fs CCompoundBlockItemL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CCompoundBlockItemL -> CxtS h fs a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a BlockItemL -> Maybe (Cxt h (Sum fs :&: p) a CCompoundBlockItemL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a BlockItemL -> Maybe (CxtS h fs a CCompoundBlockItemL) Source #
(CExpressionIsFunctionExp :-<: fs, All HFunctor fs) => InjF fs CExpressionL FunctionExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CExpressionL -> CxtS h fs a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionExpL -> Maybe (Cxt h (Sum fs :&: p) a CExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionExpL -> Maybe (CxtS h fs a CExpressionL) Source #
(CExpressionIsPositionalArgExp :-<: fs, All HFunctor fs) => InjF fs CExpressionL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CExpressionL -> CxtS h fs a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum fs :&: p) a CExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a PositionalArgExpL -> Maybe (CxtS h fs a CExpressionL) Source #
(CExpressionIsLhs :-<: fs, All HFunctor fs) => InjF fs CExpressionL LhsL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CExpressionL -> CxtS h fs a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a LhsL -> Maybe (Cxt h (Sum fs :&: p) a CExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a LhsL -> Maybe (CxtS h fs a CExpressionL) Source #
(CExpressionIsRhs :-<: fs, All HFunctor fs) => InjF fs CExpressionL RhsL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CExpressionL -> CxtS h fs a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a RhsL -> Maybe (Cxt h (Sum fs :&: p) a CExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a RhsL -> Maybe (CxtS h fs a CExpressionL) Source #
(CInitializerIsLocalVarInit :-<: fs, All HFunctor fs) => InjF fs CInitializerL LocalVarInitL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CInitializerL -> CxtS h fs a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum fs :&: p) a CInitializerL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a LocalVarInitL -> Maybe (CxtS h fs a CInitializerL) Source #
(CStatementIsFunctionBody :-<: fs, All HFunctor fs) => InjF fs CStatementL FunctionBodyL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CStatementL -> CxtS h fs a FunctionBodyL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionBodyL -> Maybe (Cxt h (Sum fs :&: p) a CStatementL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionBodyL -> Maybe (CxtS h fs a CStatementL) Source #
(JavaMethodDeclAttrsIsFunctionDeclAttrs :-<: fs, All HFunctor fs) => InjF fs JavaMethodDeclAttrsL FunctionDeclAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JavaMethodDeclAttrsL -> CxtS h fs a FunctionDeclAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionDeclAttrsL -> Maybe (Cxt h (Sum fs :&: p) a JavaMethodDeclAttrsL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionDeclAttrsL -> Maybe (CxtS h fs a JavaMethodDeclAttrsL) Source #
(JavaMethodDeclAttrsIsFunctionDefAttrs :-<: fs, All HFunctor fs) => InjF fs JavaMethodDeclAttrsL FunctionDefAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JavaMethodDeclAttrsL -> CxtS h fs a FunctionDefAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionDefAttrsL -> Maybe (Cxt h (Sum fs :&: p) a JavaMethodDeclAttrsL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionDefAttrsL -> Maybe (CxtS h fs a JavaMethodDeclAttrsL) Source #
(JavaParamAttrsIsFunctionParameterDeclAttrs :-<: fs, All HFunctor fs) => InjF fs JavaParamAttrsL FunctionParameterDeclAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JavaParamAttrsL -> CxtS h fs a FunctionParameterDeclAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionParameterDeclAttrsL -> Maybe (Cxt h (Sum fs :&: p) a JavaParamAttrsL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionParameterDeclAttrsL -> Maybe (CxtS h fs a JavaParamAttrsL) Source #
(JavaParamAttrsIsParameterAttrs :-<: fs, All HFunctor fs) => InjF fs JavaParamAttrsL ParameterAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JavaParamAttrsL -> CxtS h fs a ParameterAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a ParameterAttrsL -> Maybe (Cxt h (Sum fs :&: p) a JavaParamAttrsL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a ParameterAttrsL -> Maybe (CxtS h fs a JavaParamAttrsL) Source #
(JavaVarargsParamIsFunctionParameterDecl :-<: fs, All HFunctor fs) => InjF fs JavaVarargsParamL FunctionParameterDeclL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JavaVarargsParamL -> CxtS h fs a FunctionParameterDeclL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionParameterDeclL -> Maybe (Cxt h (Sum fs :&: p) a JavaVarargsParamL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionParameterDeclL -> Maybe (CxtS h fs a JavaVarargsParamL) Source #
(JavaVarargsParamIsFunctionParameter :-<: fs, All HFunctor fs) => InjF fs JavaVarargsParamL FunctionParameterL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JavaVarargsParamL -> CxtS h fs a FunctionParameterL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionParameterL -> Maybe (Cxt h (Sum fs :&: p) a JavaVarargsParamL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionParameterL -> Maybe (CxtS h fs a JavaVarargsParamL) Source #
(AssignOpIsAssignOp :-<: fs, All HFunctor fs) => InjF fs AssignOpL AssignOpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a AssignOpL -> CxtS h fs a AssignOpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a AssignOpL -> Maybe (Cxt h (Sum fs :&: p) a AssignOpL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a AssignOpL -> Maybe (CxtS h fs a AssignOpL) Source #
(BlockStmtIsBlockItem :-<: fs, All HFunctor fs) => InjF fs BlockStmtL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a BlockStmtL -> CxtS h fs a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a BlockItemL -> Maybe (Cxt h (Sum fs :&: p) a BlockStmtL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a BlockItemL -> Maybe (CxtS h fs a BlockStmtL) Source #
(ExpIsPositionalArgExp :-<: fs, All HFunctor fs) => InjF fs ExpL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a ExpL -> CxtS h fs a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum fs :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a PositionalArgExpL -> Maybe (CxtS h fs a ExpL) Source #
(ExpIsRhs :-<: fs, All HFunctor fs) => InjF fs ExpL RhsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a ExpL -> CxtS h fs a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a RhsL -> Maybe (Cxt h (Sum fs :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a RhsL -> Maybe (CxtS h fs a ExpL) Source #
(NameIsFunctionExp :-<: fs, All HFunctor fs) => InjF fs NameL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a NameL -> CxtS h fs a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionExpL -> Maybe (Cxt h (Sum fs :&: p) a NameL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionExpL -> Maybe (CxtS h fs a NameL) Source #
(VarInitIsLocalVarInit :-<: fs, All HFunctor fs) => InjF fs VarInitL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a VarInitL -> CxtS h fs a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum fs :&: p) a VarInitL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a LocalVarInitL -> Maybe (CxtS h fs a VarInitL) Source #
(JSAssignOpIsAssignOp :-<: fs, All HFunctor fs) => InjF fs JSAssignOpL AssignOpL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JSAssignOpL -> CxtS h fs a AssignOpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a AssignOpL -> Maybe (Cxt h (Sum fs :&: p) a JSAssignOpL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a AssignOpL -> Maybe (CxtS h fs a JSAssignOpL) Source #
(JSBlockIsJSAST :-<: fs, All HFunctor fs) => InjF fs JSBlockL JSASTL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JSBlockL -> CxtS h fs a JSASTL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a JSASTL -> Maybe (Cxt h (Sum fs :&: p) a JSBlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a JSASTL -> Maybe (CxtS h fs a JSBlockL) Source #
(JSBlockIsFunctionBody :-<: fs, All HFunctor fs) => InjF fs JSBlockL FunctionBodyL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JSBlockL -> CxtS h fs a FunctionBodyL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionBodyL -> Maybe (Cxt h (Sum fs :&: p) a JSBlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionBodyL -> Maybe (CxtS h fs a JSBlockL) Source #
(JSExpressionIsFunctionExp :-<: fs, All HFunctor fs) => InjF fs JSExpressionL FunctionExpL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JSExpressionL -> CxtS h fs a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionExpL -> Maybe (Cxt h (Sum fs :&: p) a JSExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionExpL -> Maybe (CxtS h fs a JSExpressionL) Source #
(JSExpressionIsPositionalArgExp :-<: fs, All HFunctor fs) => InjF fs JSExpressionL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JSExpressionL -> CxtS h fs a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum fs :&: p) a JSExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a PositionalArgExpL -> Maybe (CxtS h fs a JSExpressionL) Source #
(JSExpressionIsLhs :-<: fs, All HFunctor fs) => InjF fs JSExpressionL LhsL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JSExpressionL -> CxtS h fs a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a LhsL -> Maybe (Cxt h (Sum fs :&: p) a JSExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a LhsL -> Maybe (CxtS h fs a JSExpressionL) Source #
(JSExpressionIsLocalVarInit :-<: fs, All HFunctor fs) => InjF fs JSExpressionL LocalVarInitL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JSExpressionL -> CxtS h fs a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum fs :&: p) a JSExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a LocalVarInitL -> Maybe (CxtS h fs a JSExpressionL) Source #
(JSExpressionIsRhs :-<: fs, All HFunctor fs) => InjF fs JSExpressionL RhsL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JSExpressionL -> CxtS h fs a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a RhsL -> Maybe (Cxt h (Sum fs :&: p) a JSExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a RhsL -> Maybe (CxtS h fs a JSExpressionL) Source #
(JSExpressionIsVarDeclBinder :-<: fs, All HFunctor fs) => InjF fs JSExpressionL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JSExpressionL -> CxtS h fs a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum fs :&: p) a JSExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a VarDeclBinderL -> Maybe (CxtS h fs a JSExpressionL) Source #
(JSStatementIsBlockItem :-<: fs, All HFunctor fs) => InjF fs JSStatementL BlockItemL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JSStatementL -> CxtS h fs a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a BlockItemL -> Maybe (Cxt h (Sum fs :&: p) a JSStatementL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a BlockItemL -> Maybe (CxtS h fs a JSStatementL) Source #
(ExpIsExpression :-<: fs, All HFunctor fs) => InjF fs ExpL ExpressionL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a ExpL -> CxtS h fs a ExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a ExpressionL -> Maybe (Cxt h (Sum fs :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a ExpressionL -> Maybe (CxtS h fs a ExpL) Source #
(ExpIsPositionalArgExp :-<: fs, All HFunctor fs) => InjF fs ExpL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a ExpL -> CxtS h fs a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum fs :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a PositionalArgExpL -> Maybe (CxtS h fs a ExpL) Source #
(PrefixExpIsFunctionExp :-<: fs, All HFunctor fs) => InjF fs PrefixExpL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a PrefixExpL -> CxtS h fs a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionExpL -> Maybe (Cxt h (Sum fs :&: p) a PrefixExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionExpL -> Maybe (CxtS h fs a PrefixExpL) Source #
(PrefixExpIsReceiver :-<: fs, All HFunctor fs) => InjF fs PrefixExpL ReceiverL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a PrefixExpL -> CxtS h fs a ReceiverL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a ReceiverL -> Maybe (Cxt h (Sum fs :&: p) a PrefixExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a ReceiverL -> Maybe (CxtS h fs a PrefixExpL) Source #
(StatIsBlockItem :-<: fs, All HFunctor fs) => InjF fs StatL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a StatL -> CxtS h fs a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a BlockItemL -> Maybe (Cxt h (Sum fs :&: p) a StatL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a BlockItemL -> Maybe (CxtS h fs a StatL) Source #
(ExpressionIsExp :-<: fs, All HFunctor fs) => InjF fs ExpressionL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a ExpressionL -> CxtS h fs a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a ExpL -> Maybe (Cxt h (Sum fs :&: p) a ExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a ExpL -> Maybe (CxtS h fs a ExpressionL) Source #
(FunctionCallIsCExpression :-<: fs, All HFunctor fs) => InjF fs FunctionCallL CExpressionL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionCallL -> CxtS h fs a CExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a CExpressionL -> Maybe (Cxt h (Sum fs :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a CExpressionL -> Maybe (CxtS h fs a FunctionCallL) Source #
(FunctionCallIsMethodInvocation :-<: fs, All HFunctor fs) => InjF fs FunctionCallL MethodInvocationL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionCallL -> CxtS h fs a MethodInvocationL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a MethodInvocationL -> Maybe (Cxt h (Sum fs :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a MethodInvocationL -> Maybe (CxtS h fs a FunctionCallL) Source #
(FunctionCallIsJSExpression :-<: fs, All HFunctor fs) => InjF fs FunctionCallL JSExpressionL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionCallL -> CxtS h fs a JSExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a JSExpressionL -> Maybe (Cxt h (Sum fs :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a JSExpressionL -> Maybe (CxtS h fs a FunctionCallL) Source #
(FunctionCallIsFunCall :-<: fs, All HFunctor fs) => InjF fs FunctionCallL FunCallL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionCallL -> CxtS h fs a FunCallL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunCallL -> Maybe (Cxt h (Sum fs :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunCallL -> Maybe (CxtS h fs a FunctionCallL) Source #
(FunctionCallIsExpr :-<: fs, All HFunctor fs) => InjF fs FunctionCallL ExprL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionCallL -> CxtS h fs a ExprL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a ExprL -> Maybe (Cxt h (Sum fs :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a ExprL -> Maybe (CxtS h fs a FunctionCallL) Source #
(FunctionDeclIsCDeclarator :-<: fs, All HFunctor fs) => InjF fs FunctionDeclL CDeclaratorL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionDeclL -> CxtS h fs a CDeclaratorL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a CDeclaratorL -> Maybe (Cxt h (Sum fs :&: p) a FunctionDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a CDeclaratorL -> Maybe (CxtS h fs a FunctionDeclL) Source #
(FunctionDeclIsMemberDecl :-<: fs, All HFunctor fs) => InjF fs FunctionDeclL MemberDeclL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionDeclL -> CxtS h fs a MemberDeclL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a MemberDeclL -> Maybe (Cxt h (Sum fs :&: p) a FunctionDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a MemberDeclL -> Maybe (CxtS h fs a FunctionDeclL) Source #
(FunctionDefIsCFunctionDef :-<: fs, All HFunctor fs) => InjF fs FunctionDefL CFunctionDefL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionDefL -> CxtS h fs a CFunctionDefL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a CFunctionDefL -> Maybe (Cxt h (Sum fs :&: p) a FunctionDefL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a CFunctionDefL -> Maybe (CxtS h fs a FunctionDefL) Source #
(FunctionDefIsMemberDecl :-<: fs, All HFunctor fs) => InjF fs FunctionDefL MemberDeclL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionDefL -> CxtS h fs a MemberDeclL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a MemberDeclL -> Maybe (Cxt h (Sum fs :&: p) a FunctionDefL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a MemberDeclL -> Maybe (CxtS h fs a FunctionDefL) Source #
(FunctionDefIsJSStatement :-<: fs, All HFunctor fs) => InjF fs FunctionDefL JSStatementL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionDefL -> CxtS h fs a JSStatementL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a JSStatementL -> Maybe (Cxt h (Sum fs :&: p) a FunctionDefL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a JSStatementL -> Maybe (CxtS h fs a FunctionDefL) Source #
(FunctionDefIsStat :-<: fs, All HFunctor fs) => InjF fs FunctionDefL StatL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionDefL -> CxtS h fs a StatL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a StatL -> Maybe (Cxt h (Sum fs :&: p) a FunctionDefL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a StatL -> Maybe (CxtS h fs a FunctionDefL) Source #
(FunctionDefIsStatement :-<: fs, All HFunctor fs) => InjF fs FunctionDefL StatementL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionDefL -> CxtS h fs a StatementL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a StatementL -> Maybe (Cxt h (Sum fs :&: p) a FunctionDefL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a StatementL -> Maybe (CxtS h fs a FunctionDefL) Source #
(AssignIsCExpression :-<: fs, All HFunctor fs) => InjF fs AssignL CExpressionL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a AssignL -> CxtS h fs a CExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a CExpressionL -> Maybe (Cxt h (Sum fs :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a CExpressionL -> Maybe (CxtS h fs a AssignL) Source #
(AssignIsExp :-<: fs, All HFunctor fs) => InjF fs AssignL ExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a AssignL -> CxtS h fs a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a ExpL -> Maybe (Cxt h (Sum fs :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a ExpL -> Maybe (CxtS h fs a AssignL) Source #
(AssignIsJSExpression :-<: fs, All HFunctor fs) => InjF fs AssignL JSExpressionL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a AssignL -> CxtS h fs a JSExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a JSExpressionL -> Maybe (Cxt h (Sum fs :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a JSExpressionL -> Maybe (CxtS h fs a AssignL) Source #
(AssignIsStat :-<: fs, All HFunctor fs) => InjF fs AssignL StatL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a AssignL -> CxtS h fs a StatL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a StatL -> Maybe (Cxt h (Sum fs :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a StatL -> Maybe (CxtS h fs a AssignL) Source #
(AssignIsStatement :-<: fs, All HFunctor fs) => InjF fs AssignL StatementL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a AssignL -> CxtS h fs a StatementL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a StatementL -> Maybe (Cxt h (Sum fs :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a StatementL -> Maybe (CxtS h fs a AssignL) Source #
(BlockIsJSStatement :-<: fs, All HFunctor fs) => InjF fs BlockL JSStatementL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a BlockL -> CxtS h fs a JSStatementL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a JSStatementL -> Maybe (Cxt h (Sum fs :&: p) a BlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a JSStatementL -> Maybe (CxtS h fs a BlockL) Source #
(BlockIsFunctionBody :-<: fs, All HFunctor fs) => InjF fs BlockL FunctionBodyL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a BlockL -> CxtS h fs a FunctionBodyL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionBodyL -> Maybe (Cxt h (Sum fs :&: p) a BlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionBodyL -> Maybe (CxtS h fs a BlockL) Source #
(BlockIsFunctionBody :-<: fs, All HFunctor fs) => InjF fs BlockL FunctionBodyL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a BlockL -> CxtS h fs a FunctionBodyL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionBodyL -> Maybe (Cxt h (Sum fs :&: p) a BlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionBodyL -> Maybe (CxtS h fs a BlockL) Source #
(IdentIsJSExpression :-<: fs, All HFunctor fs) => InjF fs IdentL JSExpressionL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a IdentL -> CxtS h fs a JSExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a JSExpressionL -> Maybe (Cxt h (Sum fs :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a JSExpressionL -> Maybe (CxtS h fs a IdentL) Source #
(IdentIsVarDeclBinder :-<: fs, All HFunctor fs) => InjF fs IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl Methods injF :: forall h (a :: Type -> Type). CxtS h fs a IdentL -> CxtS h fs a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum fs :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a VarDeclBinderL -> Maybe (CxtS h fs a IdentL) Source #
(IdentIsPyLValue :-<: fs, All HFunctor fs) => InjF fs IdentL PyLValueL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a IdentL -> CxtS h fs a PyLValueL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a PyLValueL -> Maybe (Cxt h (Sum fs :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a PyLValueL -> Maybe (CxtS h fs a IdentL) Source #
(MultiLocalVarDeclIsCCompoundBlockItem :-<: fs, All HFunctor fs) => InjF fs MultiLocalVarDeclL CCompoundBlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a MultiLocalVarDeclL -> CxtS h fs a CCompoundBlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a CCompoundBlockItemL -> Maybe (Cxt h (Sum fs :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a CCompoundBlockItemL -> Maybe (CxtS h fs a MultiLocalVarDeclL) Source #
(MultiLocalVarDeclIsBlockStmt :-<: fs, All HFunctor fs) => InjF fs MultiLocalVarDeclL BlockStmtL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a MultiLocalVarDeclL -> CxtS h fs a BlockStmtL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a BlockStmtL -> Maybe (Cxt h (Sum fs :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a BlockStmtL -> Maybe (CxtS h fs a MultiLocalVarDeclL) Source #
(MultiLocalVarDeclIsJSStatement :-<: fs, All HFunctor fs) => InjF fs MultiLocalVarDeclL JSStatementL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a MultiLocalVarDeclL -> CxtS h fs a JSStatementL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a JSStatementL -> Maybe (Cxt h (Sum fs :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a JSStatementL -> Maybe (CxtS h fs a MultiLocalVarDeclL) Source #
(SingleLocalVarDeclIsStat :-<: fs, All HFunctor fs) => InjF fs SingleLocalVarDeclL StatL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a SingleLocalVarDeclL -> CxtS h fs a StatL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a StatL -> Maybe (Cxt h (Sum fs :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a StatL -> Maybe (CxtS h fs a SingleLocalVarDeclL) Source #
(PyBlockIsFunctionBody :-<: fs, All HFunctor fs) => InjF fs PyBlockL FunctionBodyL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a PyBlockL -> CxtS h fs a FunctionBodyL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionBodyL -> Maybe (Cxt h (Sum fs :&: p) a PyBlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionBodyL -> Maybe (CxtS h fs a PyBlockL) Source #
(PyClassIsStatement :-<: fs, All HFunctor fs) => InjF fs PyClassL StatementL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a PyClassL -> CxtS h fs a StatementL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a StatementL -> Maybe (Cxt h (Sum fs :&: p) a PyClassL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a StatementL -> Maybe (CxtS h fs a PyClassL) Source #
(PyCompIsExpr :-<: fs, All HFunctor fs) => InjF fs PyCompL ExprL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a PyCompL -> CxtS h fs a ExprL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a ExprL -> Maybe (Cxt h (Sum fs :&: p) a PyCompL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a ExprL -> Maybe (CxtS h fs a PyCompL) Source #
(ExprIsFunctionExp :-<: fs, All HFunctor fs) => InjF fs ExprL FunctionExpL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a ExprL -> CxtS h fs a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionExpL -> Maybe (Cxt h (Sum fs :&: p) a ExprL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionExpL -> Maybe (CxtS h fs a ExprL) Source #
(ExprIsPositionalArgExp :-<: fs, All HFunctor fs) => InjF fs ExprL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a ExprL -> CxtS h fs a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum fs :&: p) a ExprL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a PositionalArgExpL -> Maybe (CxtS h fs a ExprL) Source #
(ExprIsReceiver :-<: fs, All HFunctor fs) => InjF fs ExprL ReceiverL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a ExprL -> CxtS h fs a ReceiverL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a ReceiverL -> Maybe (Cxt h (Sum fs :&: p) a ExprL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a ReceiverL -> Maybe (CxtS h fs a ExprL) Source #
(ExprIsRhs :-<: fs, All HFunctor fs) => InjF fs ExprL RhsL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a ExprL -> CxtS h fs a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a RhsL -> Maybe (Cxt h (Sum fs :&: p) a ExprL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a RhsL -> Maybe (CxtS h fs a ExprL) Source #
(StatementIsBlockItem :-<: fs, All HFunctor fs) => InjF fs StatementL BlockItemL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a StatementL -> CxtS h fs a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a BlockItemL -> Maybe (Cxt h (Sum fs :&: p) a StatementL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a BlockItemL -> Maybe (CxtS h fs a StatementL) Source #
All HFunctor fs => InjF fs l l Source #
Instance details Defined in Cubix.Language.Parametric.InjF Methods injF :: forall h (a :: Type -> Type). CxtS h fs a l -> CxtS h fs a l Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a l -> Maybe (Cxt h (Sum fs :&: p) a l) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a l -> Maybe (CxtS h fs a l) Source #
InjF MJSSig (Maybe IdentL) JSIdentL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a (Maybe IdentL) -> CxtS h MJSSig a JSIdentL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a JSIdentL -> Maybe (Cxt h (Sum MJSSig :&: p) a (Maybe IdentL)) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a JSIdentL -> Maybe (CxtS h MJSSig a (Maybe IdentL)) Source #
InjF MLuaSig (Maybe [ExpL]) BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a (Maybe [ExpL]) -> CxtS h MLuaSig a BlockEndL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockEndL -> Maybe (Cxt h (Sum MLuaSig :&: p) a (Maybe [ExpL])) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockEndL -> Maybe (CxtS h MLuaSig a (Maybe [ExpL])) Source #
InjF MLuaSig [ExpL] LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [ExpL] RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [VarL] LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source #
InjF MPythonSig [PyLValueL] LhsL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a [PyLValueL] -> CxtS h MPythonSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a LhsL -> Maybe (Cxt h (Sum MPythonSig :&: p) a [PyLValueL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a LhsL -> Maybe (CxtS h MPythonSig a [PyLValueL]) Source #
(CDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs :-<: fs, All HFunctor fs) => InjF fs [CDeclarationSpecifierL] MultiLocalVarDeclCommonAttrsL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a [CDeclarationSpecifierL] -> CxtS h fs a MultiLocalVarDeclCommonAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a MultiLocalVarDeclCommonAttrsL -> Maybe (Cxt h (Sum fs :&: p) a [CDeclarationSpecifierL]) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a MultiLocalVarDeclCommonAttrsL -> Maybe (CxtS h fs a [CDeclarationSpecifierL]) Source #
(TupleBinder :-<: fs, All HFunctor fs) => InjF fs [IdentL] VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl Methods injF :: forall h (a :: Type -> Type). CxtS h fs a [IdentL] -> CxtS h fs a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum fs :&: p) a [IdentL]) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a VarDeclBinderL -> Maybe (CxtS h fs a [IdentL]) Source #
InjF MJavaSig ([ModifierL], TypeL) MultiLocalVarDeclCommonAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ([ModifierL], TypeL) -> CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclCommonAttrsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ([ModifierL], TypeL)) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL -> Maybe (CxtS h MJavaSig a ([ModifierL], TypeL)) Source #

injectF :: forall g (fs :: Signature) l l' h (a :: Type -> Type). (g :-<: fs, InjF fs l l') => g (CxtS h fs a) l -> CxtS h fs a l' Source #

injF but for terms. Or inject, but allowing sort injections We would like this to replace the inject function outright

fromProjF :: forall (fs :: [(Type -> Type) -> Type -> Type]) l l' h (a :: Type -> Type). InjF fs l l' => CxtS h fs a l' -> CxtS h fs a l Source #

labeledInjF :: forall m (fs :: [(Type -> Type) -> Type -> Type]) l l'. (MonadAnnotater Label m, InjF fs l l', All HTraversable fs, All HFoldable fs) => TermLab fs l -> m (TermLab fs l') Source #

injFAnnDef :: forall (fs :: [(Type -> Type) -> Type -> Type]) l l' a. (InjF fs l l', All HTraversable fs, Default a, All HFoldable fs) => AnnTerm a fs l -> AnnTerm a fs l' Source #

injectFAnnDef :: forall (fs :: [(Type -> Type) -> Type -> Type]) l l' (f :: Fragment) a. (InjF fs l l', f :-<: fs, All HTraversable fs, All HFoldable fs, Default a) => (f :&: a) (AnnTerm a fs) l -> AnnTerm a fs l' Source #

type family IsSortInjection (f :: Fragment) :: Bool Source #

Instances

Instances details

type IsSortInjection AssignIsCExpression Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection AssignIsCExpression = 'True
type IsSortInjection CAssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CAssignOpIsAssignOp = 'True
type IsSortInjection CCompoundBlockItemIsBlockItem Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CCompoundBlockItemIsBlockItem = 'True
type IsSortInjection CExpressionIsFunctionExp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CExpressionIsFunctionExp = 'True
type IsSortInjection CExpressionIsLhs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CExpressionIsLhs = 'True
type IsSortInjection CExpressionIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CExpressionIsPositionalArgExp = 'True
type IsSortInjection CExpressionIsRhs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CExpressionIsRhs = 'True
type IsSortInjection CFor Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CFor = 'False
type IsSortInjection CForInit Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CForInit = 'False
type IsSortInjection CFunDeclAttrs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CFunDeclAttrs = 'False
type IsSortInjection CFunDefAttrs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CFunDefAttrs = 'False
type IsSortInjection CFunParamAttrs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CFunParamAttrs = 'False
type IsSortInjection CFunParamAttrsIsFunctionParameterDeclAttrs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CFunParamAttrsIsFunctionParameterDeclAttrs = 'True
type IsSortInjection CFunParamAttrsIsParameterAttrs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CFunParamAttrsIsParameterAttrs = 'True
type IsSortInjection CInitializerIsLocalVarInit Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CInitializerIsLocalVarInit = 'True
type IsSortInjection CLabeledBlock Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CLabeledBlock = 'False
type IsSortInjection COldStyleParam Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection COldStyleParam = 'False
type IsSortInjection COldStyleParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection COldStyleParamIsFunctionParameter = 'True
type IsSortInjection CSpecialParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CSpecialParamIsFunctionParameter = 'True
type IsSortInjection CSpecialParamIsFunctionParameterDecl Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CSpecialParamIsFunctionParameterDecl = 'True
type IsSortInjection CStatementIsFunctionBody Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CStatementIsFunctionBody = 'True
type IsSortInjection CVarArgParam Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CVarArgParam = 'False
type IsSortInjection CVoidArg Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection CVoidArg = 'False
type IsSortInjection FunctionCallIsCExpression Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection FunctionCallIsCExpression = 'True
type IsSortInjection FunctionDeclIsCDeclarator Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection FunctionDeclIsCDeclarator = 'True
type IsSortInjection FunctionDefIsCFunctionDef Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection FunctionDefIsCFunctionDef = 'True
type IsSortInjection IdentIsIdent Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection IdentIsIdent = 'True
type IsSortInjection MultiLocalVarDeclIsCCompoundBlockItem Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type IsSortInjection MultiLocalVarDeclIsCCompoundBlockItem = 'True
type IsSortInjection CAlignmentSpecifier Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CAlignmentSpecifier = 'False
type IsSortInjection CArraySize Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CArraySize = 'False
type IsSortInjection CAssemblyOperand Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CAssemblyOperand = 'False
type IsSortInjection CAssemblyStatement Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CAssemblyStatement = 'False
type IsSortInjection CAssignOp Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CAssignOp = 'False
type IsSortInjection CAttribute Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CAttribute = 'False
type IsSortInjection CBinaryOp Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CBinaryOp = 'False
type IsSortInjection CBuiltinThing Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CBuiltinThing = 'False
type IsSortInjection CChar Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CChar = 'False
type IsSortInjection CCompoundBlockItem Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CCompoundBlockItem = 'False
type IsSortInjection CConstant Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CConstant = 'False
type IsSortInjection CDeclaration Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CDeclaration = 'False
type IsSortInjection CDeclarationSpecifier Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CDeclarationSpecifier = 'False
type IsSortInjection CDeclarator Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CDeclarator = 'False
type IsSortInjection CDerivedDeclarator Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CDerivedDeclarator = 'False
type IsSortInjection CEnumeration Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CEnumeration = 'False
type IsSortInjection CExpression Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CExpression = 'False
type IsSortInjection CExternalDeclaration Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CExternalDeclaration = 'False
type IsSortInjection CFloat Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CFloat = 'False
type IsSortInjection CFunctionDef Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CFunctionDef = 'False
type IsSortInjection CFunctionSpecifier Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CFunctionSpecifier = 'False
type IsSortInjection CInitializer Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CInitializer = 'False
type IsSortInjection CIntFlag Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CIntFlag = 'False
type IsSortInjection CIntRepr Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CIntRepr = 'False
type IsSortInjection CInteger Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CInteger = 'False
type IsSortInjection CPartDesignator Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CPartDesignator = 'False
type IsSortInjection CStatement Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CStatement = 'False
type IsSortInjection CStorageSpecifier Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CStorageSpecifier = 'False
type IsSortInjection CString Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CString = 'False
type IsSortInjection CStringLiteral Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CStringLiteral = 'False
type IsSortInjection CStructTag Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CStructTag = 'False
type IsSortInjection CStructureUnion Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CStructureUnion = 'False
type IsSortInjection CTranslationUnit Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CTranslationUnit = 'False
type IsSortInjection CTypeQualifier Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CTypeQualifier = 'False
type IsSortInjection CTypeSpecifier Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CTypeSpecifier = 'False
type IsSortInjection CUnaryOp Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection CUnaryOp = 'False
type IsSortInjection Flags Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection Flags = 'False
type IsSortInjection Name Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection Name = 'False
type IsSortInjection NodeInfo Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection NodeInfo = 'False
type IsSortInjection Position Source #
Instance details Defined in Cubix.Language.C.Parametric.Full.Types type IsSortInjection Position = 'False
type IsSortInjection ArrayDimVarDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection ArrayDimVarDeclAttrs = 'False
type IsSortInjection AssignIsExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection AssignIsExp = 'True
type IsSortInjection AssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection AssignOpIsAssignOp = 'True
type IsSortInjection BlockIsBlock Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection BlockIsBlock = 'True
type IsSortInjection BlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection BlockIsFunctionBody = 'True
type IsSortInjection BlockStmtIsBlockItem Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection BlockStmtIsBlockItem = 'True
type IsSortInjection ExpIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection ExpIsPositionalArgExp = 'True
type IsSortInjection ExpIsRhs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection ExpIsRhs = 'True
type IsSortInjection FunctionCallIsMethodInvocation Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection FunctionCallIsMethodInvocation = 'True
type IsSortInjection FunctionDeclIsMemberDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection FunctionDeclIsMemberDecl = 'True
type IsSortInjection FunctionDefIsMemberDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection FunctionDefIsMemberDecl = 'True
type IsSortInjection IdentIsIdent Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection IdentIsIdent = 'True
type IsSortInjection JavaMethodDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection JavaMethodDeclAttrs = 'False
type IsSortInjection JavaMethodDeclAttrsIsFunctionDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection JavaMethodDeclAttrsIsFunctionDeclAttrs = 'True
type IsSortInjection JavaMethodDeclAttrsIsFunctionDefAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection JavaMethodDeclAttrsIsFunctionDefAttrs = 'True
type IsSortInjection JavaParamAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection JavaParamAttrs = 'False
type IsSortInjection JavaParamAttrsIsFunctionParameterDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection JavaParamAttrsIsFunctionParameterDeclAttrs = 'True
type IsSortInjection JavaParamAttrsIsParameterAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection JavaParamAttrsIsParameterAttrs = 'True
type IsSortInjection JavaReceiver Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection JavaReceiver = 'False
type IsSortInjection JavaTypeArgs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection JavaTypeArgs = 'False
type IsSortInjection JavaVarargsParam Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection JavaVarargsParam = 'False
type IsSortInjection JavaVarargsParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection JavaVarargsParamIsFunctionParameter = 'True
type IsSortInjection JavaVarargsParamIsFunctionParameterDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection JavaVarargsParamIsFunctionParameterDecl = 'True
type IsSortInjection LhsIsLhs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection LhsIsLhs = 'True
type IsSortInjection ModifiersTypeIsMultiLocalVarDeclCommonAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection ModifiersTypeIsMultiLocalVarDeclCommonAttrs = 'False
type IsSortInjection MultiLocalVarDeclIsBlockStmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection MultiLocalVarDeclIsBlockStmt = 'True
type IsSortInjection NameIsFunctionExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection NameIsFunctionExp = 'True
type IsSortInjection VarInitIsLocalVarInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type IsSortInjection VarInitIsLocalVarInit = 'True
type IsSortInjection Annotation Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Annotation = 'False
type IsSortInjection ArrayIndex Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection ArrayIndex = 'False
type IsSortInjection ArrayInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection ArrayInit = 'False
type IsSortInjection AssignOp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection AssignOp = 'False
type IsSortInjection BlockStmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection BlockStmt = 'False
type IsSortInjection Catch Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Catch = 'False
type IsSortInjection ClassBody Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection ClassBody = 'False
type IsSortInjection ClassDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection ClassDecl = 'False
type IsSortInjection ClassType Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection ClassType = 'False
type IsSortInjection CompilationUnit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection CompilationUnit = 'False
type IsSortInjection ConstructorBody Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection ConstructorBody = 'False
type IsSortInjection Decl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Decl = 'False
type IsSortInjection Diamond Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Diamond = 'False
type IsSortInjection ElementValue Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection ElementValue = 'False
type IsSortInjection EnumBody Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection EnumBody = 'False
type IsSortInjection EnumConstant Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection EnumConstant = 'False
type IsSortInjection Exp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Exp = 'False
type IsSortInjection ExplConstrInv Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection ExplConstrInv = 'False
type IsSortInjection FieldAccess Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection FieldAccess = 'False
type IsSortInjection ForInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection ForInit = 'False
type IsSortInjection FormalParam Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection FormalParam = 'False
type IsSortInjection ImportDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection ImportDecl = 'False
type IsSortInjection InterfaceBody Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection InterfaceBody = 'False
type IsSortInjection InterfaceDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection InterfaceDecl = 'False
type IsSortInjection InterfaceKind Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection InterfaceKind = 'False
type IsSortInjection LambdaExpression Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection LambdaExpression = 'False
type IsSortInjection LambdaParams Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection LambdaParams = 'False
type IsSortInjection Lhs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Lhs = 'False
type IsSortInjection Literal Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Literal = 'False
type IsSortInjection MemberDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection MemberDecl = 'False
type IsSortInjection MethodBody Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection MethodBody = 'False
type IsSortInjection MethodInvocation Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection MethodInvocation = 'False
type IsSortInjection Modifier Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Modifier = 'False
type IsSortInjection Name Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Name = 'False
type IsSortInjection Op Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Op = 'False
type IsSortInjection PackageDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection PackageDecl = 'False
type IsSortInjection PrimType Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection PrimType = 'False
type IsSortInjection RefType Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection RefType = 'False
type IsSortInjection Stmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Stmt = 'False
type IsSortInjection SwitchBlock Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection SwitchBlock = 'False
type IsSortInjection SwitchLabel Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection SwitchLabel = 'False
type IsSortInjection Type Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection Type = 'False
type IsSortInjection TypeArgument Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection TypeArgument = 'False
type IsSortInjection TypeDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection TypeDecl = 'False
type IsSortInjection TypeDeclSpecifier Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection TypeDeclSpecifier = 'False
type IsSortInjection TypeParam Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection TypeParam = 'False
type IsSortInjection VarDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection VarDecl = 'False
type IsSortInjection VarDeclId Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection VarDeclId = 'False
type IsSortInjection VarInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection VarInit = 'False
type IsSortInjection WildcardBound Source #
Instance details Defined in Cubix.Language.Java.Parametric.Full.Types type IsSortInjection WildcardBound = 'False
type IsSortInjection AssignIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection AssignIsJSExpression = 'True
type IsSortInjection BlockIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection BlockIsJSStatement = 'True
type IsSortInjection BlockWithPrelude Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection BlockWithPrelude = 'False
type IsSortInjection FunctionCallIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection FunctionCallIsJSExpression = 'True
type IsSortInjection FunctionDefIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection FunctionDefIsJSStatement = 'True
type IsSortInjection IdentIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection IdentIsJSExpression = 'True
type IsSortInjection JSAssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection JSAssignOpIsAssignOp = 'True
type IsSortInjection JSBlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection JSBlockIsFunctionBody = 'True
type IsSortInjection JSBlockIsJSAST Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection JSBlockIsJSAST = 'True
type IsSortInjection JSExpressionIsFunctionExp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection JSExpressionIsFunctionExp = 'True
type IsSortInjection JSExpressionIsLhs Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection JSExpressionIsLhs = 'True
type IsSortInjection JSExpressionIsLocalVarInit Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection JSExpressionIsLocalVarInit = 'True
type IsSortInjection JSExpressionIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection JSExpressionIsPositionalArgExp = 'True
type IsSortInjection JSExpressionIsRhs Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection JSExpressionIsRhs = 'True
type IsSortInjection JSExpressionIsVarDeclBinder Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection JSExpressionIsVarDeclBinder = 'True
type IsSortInjection JSFor Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection JSFor = 'False
type IsSortInjection JSStatementIsBlockItem Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection JSStatementIsBlockItem = 'True
type IsSortInjection MultiLocalVarDeclIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type IsSortInjection MultiLocalVarDeclIsJSStatement = 'True
type IsSortInjection CommentAnnotation Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection CommentAnnotation = 'False
type IsSortInjection JSAST Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSAST = 'False
type IsSortInjection JSAccessor Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSAccessor = 'False
type IsSortInjection JSAnnot Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSAnnot = 'False
type IsSortInjection JSArrayElement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSArrayElement = 'False
type IsSortInjection JSAssignOp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSAssignOp = 'False
type IsSortInjection JSBinOp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSBinOp = 'False
type IsSortInjection JSBlock Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSBlock = 'False
type IsSortInjection JSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSExpression = 'False
type IsSortInjection JSObjectProperty Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSObjectProperty = 'False
type IsSortInjection JSPropertyName Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSPropertyName = 'False
type IsSortInjection JSSemi Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSSemi = 'False
type IsSortInjection JSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSStatement = 'False
type IsSortInjection JSSwitchParts Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSSwitchParts = 'False
type IsSortInjection JSTryCatch Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSTryCatch = 'False
type IsSortInjection JSTryFinally Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSTryFinally = 'False
type IsSortInjection JSUnaryOp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection JSUnaryOp = 'False
type IsSortInjection TokenPosn Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Full.Types type IsSortInjection TokenPosn = 'False
type IsSortInjection AssignIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection AssignIsStat = 'True
type IsSortInjection BlockIsBlock Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection BlockIsBlock = 'True
type IsSortInjection BlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection BlockIsFunctionBody = 'True
type IsSortInjection ExpIsExpression Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection ExpIsExpression = 'True
type IsSortInjection ExpIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection ExpIsPositionalArgExp = 'True
type IsSortInjection ExpressionIsExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection ExpressionIsExp = 'True
type IsSortInjection FunctionCallIsFunCall Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection FunctionCallIsFunCall = 'True
type IsSortInjection FunctionDefIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection FunctionDefIsStat = 'True
type IsSortInjection IdentIsName Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection IdentIsName = 'True
type IsSortInjection LuaBlockEnd Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection LuaBlockEnd = 'False
type IsSortInjection LuaFunctionAttrs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection LuaFunctionAttrs = 'False
type IsSortInjection LuaFunctionDefinedObj Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection LuaFunctionDefinedObj = 'False
type IsSortInjection LuaLhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection LuaLhs = 'False
type IsSortInjection LuaLocalVarInit Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection LuaLocalVarInit = 'False
type IsSortInjection LuaRhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection LuaRhs = 'False
type IsSortInjection LuaSpecialFunArg Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection LuaSpecialFunArg = 'False
type IsSortInjection LuaVarArgsParam Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection LuaVarArgsParam = 'False
type IsSortInjection PrefixExpIsFunctionExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection PrefixExpIsFunctionExp = 'True
type IsSortInjection PrefixExpIsReceiver Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection PrefixExpIsReceiver = 'True
type IsSortInjection SingleLocalVarDeclIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection SingleLocalVarDeclIsStat = 'True
type IsSortInjection StatIsBlockItem Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type IsSortInjection StatIsBlockItem = 'True
type IsSortInjection Binop Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection Binop = 'False
type IsSortInjection Exp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection Exp = 'False
type IsSortInjection FunArg Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection FunArg = 'False
type IsSortInjection FunBody Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection FunBody = 'False
type IsSortInjection FunCall Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection FunCall = 'False
type IsSortInjection FunDef Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection FunDef = 'False
type IsSortInjection FunName Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection FunName = 'False
type IsSortInjection NumberType Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection NumberType = 'False
type IsSortInjection PrefixExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection PrefixExp = 'False
type IsSortInjection Stat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection Stat = 'False
type IsSortInjection Table Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection Table = 'False
type IsSortInjection TableField Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection TableField = 'False
type IsSortInjection Unop Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection Unop = 'False
type IsSortInjection Var Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Full.Types type IsSortInjection Var = 'False
type IsSortInjection BoolF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base type IsSortInjection BoolF = 'False
type IsSortInjection CharF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base type IsSortInjection CharF = 'False
type IsSortInjection IntF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base type IsSortInjection IntF = 'False
type IsSortInjection IntegerF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base type IsSortInjection IntegerF = 'False
type IsSortInjection TextF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base type IsSortInjection TextF = 'False
type IsSortInjection UnitF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base type IsSortInjection UnitF = 'False
type IsSortInjection ArithBinOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection ArithBinOp = 'False
type IsSortInjection ArithShrOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection ArithShrOp = 'False
type IsSortInjection BitwiseBinOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection BitwiseBinOp = 'False
type IsSortInjection ComplementOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection ComplementOp = 'False
type IsSortInjection CondTernaryOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection CondTernaryOp = 'False
type IsSortInjection DivOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection DivOp = 'False
type IsSortInjection ExpOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection ExpOp = 'False
type IsSortInjection IDivOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection IDivOp = 'False
type IsSortInjection LogicalBinOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection LogicalBinOp = 'False
type IsSortInjection LogicalNegationOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection LogicalNegationOp = 'False
type IsSortInjection LogicalShrOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection LogicalShrOp = 'False
type IsSortInjection ModOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection ModOp = 'False
type IsSortInjection Operator Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection Operator = 'False
type IsSortInjection RelationalBinOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection RelationalBinOp = 'False
type IsSortInjection SeqOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection SeqOp = 'False
type IsSortInjection ShlOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection ShlOp = 'False
type IsSortInjection UnaryMinusOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection UnaryMinusOp = 'False
type IsSortInjection UnaryPlusOp Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Expression type IsSortInjection UnaryPlusOp = 'False
type IsSortInjection EmptyFunctionCallAttrs Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection EmptyFunctionCallAttrs = 'False
type IsSortInjection EmptyFunctionDeclAttrs Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection EmptyFunctionDeclAttrs = 'False
type IsSortInjection EmptyFunctionDefAttrs Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection EmptyFunctionDefAttrs = 'False
type IsSortInjection EmptyParameterAttrs Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection EmptyParameterAttrs = 'False
type IsSortInjection FunctionArgumentList Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection FunctionArgumentList = 'False
type IsSortInjection FunctionCall Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection FunctionCall = 'False
type IsSortInjection FunctionDecl Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection FunctionDecl = 'False
type IsSortInjection FunctionDef Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection FunctionDef = 'False
type IsSortInjection FunctionIdent Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection FunctionIdent = 'False
type IsSortInjection PositionalArgument Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection PositionalArgument = 'False
type IsSortInjection PositionalParameter Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection PositionalParameter = 'False
type IsSortInjection PositionalParameterDeclOptionalIdent Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection PositionalParameterDeclOptionalIdent = 'False
type IsSortInjection PositionalParameterDeclWithIdent Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection PositionalParameterDeclWithIdent = 'False
type IsSortInjection ReceiverArg Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection ReceiverArg = 'False
type IsSortInjection SelfParameter Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection SelfParameter = 'False
type IsSortInjection SelfParameterDecl Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function type IsSortInjection SelfParameterDecl = 'False
type IsSortInjection EitherF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Functor type IsSortInjection EitherF = 'False
type IsSortInjection ListF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Functor type IsSortInjection ListF = 'False
type IsSortInjection MaybeF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Functor type IsSortInjection MaybeF = 'False
type IsSortInjection PairF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Functor type IsSortInjection PairF = 'False
type IsSortInjection TripleF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Functor type IsSortInjection TripleF = 'False
type IsSortInjection Assign Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection Assign = 'False
type IsSortInjection AssignOpAdd Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpAdd = 'False
type IsSortInjection AssignOpArithShr Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpArithShr = 'False
type IsSortInjection AssignOpBitAnd Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpBitAnd = 'False
type IsSortInjection AssignOpBitOr Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpBitOr = 'False
type IsSortInjection AssignOpBitXor Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpBitXor = 'False
type IsSortInjection AssignOpDiv Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpDiv = 'False
type IsSortInjection AssignOpEquals Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpEquals = 'False
type IsSortInjection AssignOpLogicShr Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpLogicShr = 'False
type IsSortInjection AssignOpMod Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpMod = 'False
type IsSortInjection AssignOpMul Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpMul = 'False
type IsSortInjection AssignOpShl Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpShl = 'False
type IsSortInjection AssignOpSub Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection AssignOpSub = 'False
type IsSortInjection Block Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection Block = 'False
type IsSortInjection EmptyBlockEnd Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection EmptyBlockEnd = 'False
type IsSortInjection EmptyBlockItem Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection EmptyBlockItem = 'False
type IsSortInjection EmptyLocalVarDeclAttrs Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection EmptyLocalVarDeclAttrs = 'False
type IsSortInjection EmptyMultiLocalVarDeclCommonAttrs Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection EmptyMultiLocalVarDeclCommonAttrs = 'False
type IsSortInjection Ident Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection Ident = 'False
type IsSortInjection IdentIsVarDeclBinder Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection IdentIsVarDeclBinder = 'True
type IsSortInjection MultiLocalVarDecl Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection MultiLocalVarDecl = 'False
type IsSortInjection OptLocalVarInit Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection OptLocalVarInit = 'False
type IsSortInjection SingleLocalVarDecl Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection SingleLocalVarDecl = 'False
type IsSortInjection TupleBinder Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type IsSortInjection TupleBinder = 'False
type IsSortInjection AssignIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection AssignIsStatement = 'True
type IsSortInjection DotLValue Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection DotLValue = 'False
type IsSortInjection ExprIsFunctionExp Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection ExprIsFunctionExp = 'True
type IsSortInjection ExprIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection ExprIsPositionalArgExp = 'True
type IsSortInjection ExprIsReceiver Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection ExprIsReceiver = 'True
type IsSortInjection ExprIsRhs Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection ExprIsRhs = 'True
type IsSortInjection FunctionCallIsExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection FunctionCallIsExpr = 'True
type IsSortInjection FunctionDefIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection FunctionDefIsStatement = 'True
type IsSortInjection IdentIsIdent Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection IdentIsIdent = 'True
type IsSortInjection IdentIsPyLValue Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection IdentIsPyLValue = 'True
type IsSortInjection ListLValue Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection ListLValue = 'False
type IsSortInjection ParenLValue Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection ParenLValue = 'False
type IsSortInjection PyBlock Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyBlock = 'False
type IsSortInjection PyBlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyBlockIsFunctionBody = 'True
type IsSortInjection PyClass Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyClass = 'False
type IsSortInjection PyClassIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyClassIsStatement = 'True
type IsSortInjection PyComp Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyComp = 'False
type IsSortInjection PyCompIsExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyCompIsExpr = 'True
type IsSortInjection PyComprehension Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyComprehension = 'False
type IsSortInjection PyComprehensionExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyComprehensionExpr = 'False
type IsSortInjection PyCondExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyCondExpr = 'False
type IsSortInjection PyFunDefAttrs Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyFunDefAttrs = 'False
type IsSortInjection PyLhs Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyLhs = 'False
type IsSortInjection PyParamAttrs Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyParamAttrs = 'False
type IsSortInjection PyStringLit Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyStringLit = 'False
type IsSortInjection PyWith Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyWith = 'False
type IsSortInjection PyWithBinder Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PyWithBinder = 'False
type IsSortInjection PythonArg Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PythonArg = 'False
type IsSortInjection PythonParam Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection PythonParam = 'False
type IsSortInjection SliceLValue Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection SliceLValue = 'False
type IsSortInjection StarLValue Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection StarLValue = 'False
type IsSortInjection StatementIsBlockItem Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection StatementIsBlockItem = 'True
type IsSortInjection SubscriptLValue Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection SubscriptLValue = 'False
type IsSortInjection TupleLValue Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type IsSortInjection TupleLValue = 'False
type IsSortInjection Argument Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection Argument = 'False
type IsSortInjection CompFor Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection CompFor = 'False
type IsSortInjection CompIf Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection CompIf = 'False
type IsSortInjection CompIter Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection CompIter = 'False
type IsSortInjection Comprehension Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection Comprehension = 'False
type IsSortInjection ComprehensionExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection ComprehensionExpr = 'False
type IsSortInjection Decorator Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection Decorator = 'False
type IsSortInjection DictKeyDatumList Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection DictKeyDatumList = 'False
type IsSortInjection ExceptClause Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection ExceptClause = 'False
type IsSortInjection Expr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection Expr = 'False
type IsSortInjection FromItem Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection FromItem = 'False
type IsSortInjection FromItems Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection FromItems = 'False
type IsSortInjection Handler Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection Handler = 'False
type IsSortInjection ImportItem Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection ImportItem = 'False
type IsSortInjection ImportRelative Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection ImportRelative = 'False
type IsSortInjection Module Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection Module = 'False
type IsSortInjection Op Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection Op = 'False
type IsSortInjection ParamTuple Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection ParamTuple = 'False
type IsSortInjection Parameter Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection Parameter = 'False
type IsSortInjection RaiseExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection RaiseExpr = 'False
type IsSortInjection Slice Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection Slice = 'False
type IsSortInjection Statement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection Statement = 'False
type IsSortInjection YieldArg Source #
Instance details Defined in Cubix.Language.Python.Parametric.Full.Types type IsSortInjection YieldArg = 'False

type family SortInjectionSource (f :: Fragment) Source #

Instances

Instances details

type SortInjectionSource AssignIsCExpression Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource AssignIsCExpression = AssignL
type SortInjectionSource CAssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CAssignOpIsAssignOp = CAssignOpL
type SortInjectionSource CCompoundBlockItemIsBlockItem Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CCompoundBlockItemIsBlockItem = CCompoundBlockItemL
type SortInjectionSource CExpressionIsFunctionExp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CExpressionIsFunctionExp = CExpressionL
type SortInjectionSource CExpressionIsLhs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CExpressionIsLhs = CExpressionL
type SortInjectionSource CExpressionIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CExpressionIsPositionalArgExp = CExpressionL
type SortInjectionSource CExpressionIsRhs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CExpressionIsRhs = CExpressionL
type SortInjectionSource CFunParamAttrsIsFunctionParameterDeclAttrs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CFunParamAttrsIsFunctionParameterDeclAttrs = CFunParamAttrsL
type SortInjectionSource CFunParamAttrsIsParameterAttrs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CFunParamAttrsIsParameterAttrs = CFunParamAttrsL
type SortInjectionSource CInitializerIsLocalVarInit Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CInitializerIsLocalVarInit = CInitializerL
type SortInjectionSource COldStyleParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource COldStyleParamIsFunctionParameter = COldStyleParamL
type SortInjectionSource CSpecialParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CSpecialParamIsFunctionParameter = CSpecialParamL
type SortInjectionSource CSpecialParamIsFunctionParameterDecl Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CSpecialParamIsFunctionParameterDecl = CSpecialParamL
type SortInjectionSource CStatementIsFunctionBody Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource CStatementIsFunctionBody = CStatementL
type SortInjectionSource FunctionCallIsCExpression Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource FunctionCallIsCExpression = FunctionCallL
type SortInjectionSource FunctionDeclIsCDeclarator Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource FunctionDeclIsCDeclarator = FunctionDeclL
type SortInjectionSource FunctionDefIsCFunctionDef Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource FunctionDefIsCFunctionDef = FunctionDefL
type SortInjectionSource IdentIsIdent Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource IdentIsIdent = IdentL
type SortInjectionSource MultiLocalVarDeclIsCCompoundBlockItem Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionSource MultiLocalVarDeclIsCCompoundBlockItem = MultiLocalVarDeclL
type SortInjectionSource AssignIsExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource AssignIsExp = AssignL
type SortInjectionSource AssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource AssignOpIsAssignOp = AssignOpL
type SortInjectionSource BlockIsBlock Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource BlockIsBlock = BlockL
type SortInjectionSource BlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource BlockIsFunctionBody = BlockL
type SortInjectionSource BlockStmtIsBlockItem Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource BlockStmtIsBlockItem = BlockStmtL
type SortInjectionSource ExpIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource ExpIsPositionalArgExp = ExpL
type SortInjectionSource ExpIsRhs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource ExpIsRhs = ExpL
type SortInjectionSource FunctionCallIsMethodInvocation Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource FunctionCallIsMethodInvocation = FunctionCallL
type SortInjectionSource FunctionDeclIsMemberDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource FunctionDeclIsMemberDecl = FunctionDeclL
type SortInjectionSource FunctionDefIsMemberDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource FunctionDefIsMemberDecl = FunctionDefL
type SortInjectionSource IdentIsIdent Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource IdentIsIdent = IdentL
type SortInjectionSource JavaMethodDeclAttrsIsFunctionDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource JavaMethodDeclAttrsIsFunctionDeclAttrs = JavaMethodDeclAttrsL
type SortInjectionSource JavaMethodDeclAttrsIsFunctionDefAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource JavaMethodDeclAttrsIsFunctionDefAttrs = JavaMethodDeclAttrsL
type SortInjectionSource JavaParamAttrsIsFunctionParameterDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource JavaParamAttrsIsFunctionParameterDeclAttrs = JavaParamAttrsL
type SortInjectionSource JavaParamAttrsIsParameterAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource JavaParamAttrsIsParameterAttrs = JavaParamAttrsL
type SortInjectionSource JavaVarargsParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource JavaVarargsParamIsFunctionParameter = JavaVarargsParamL
type SortInjectionSource JavaVarargsParamIsFunctionParameterDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource JavaVarargsParamIsFunctionParameterDecl = JavaVarargsParamL
type SortInjectionSource LhsIsLhs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource LhsIsLhs
type SortInjectionSource MultiLocalVarDeclIsBlockStmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource MultiLocalVarDeclIsBlockStmt = MultiLocalVarDeclL
type SortInjectionSource NameIsFunctionExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource NameIsFunctionExp = NameL
type SortInjectionSource VarInitIsLocalVarInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionSource VarInitIsLocalVarInit = VarInitL
type SortInjectionSource AssignIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource AssignIsJSExpression = AssignL
type SortInjectionSource BlockIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource BlockIsJSStatement = BlockL
type SortInjectionSource FunctionCallIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource FunctionCallIsJSExpression = FunctionCallL
type SortInjectionSource FunctionDefIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource FunctionDefIsJSStatement = FunctionDefL
type SortInjectionSource IdentIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource IdentIsJSExpression = IdentL
type SortInjectionSource JSAssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource JSAssignOpIsAssignOp = JSAssignOpL
type SortInjectionSource JSBlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource JSBlockIsFunctionBody = JSBlockL
type SortInjectionSource JSBlockIsJSAST Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource JSBlockIsJSAST = JSBlockL
type SortInjectionSource JSExpressionIsFunctionExp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource JSExpressionIsFunctionExp = JSExpressionL
type SortInjectionSource JSExpressionIsLhs Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource JSExpressionIsLhs = JSExpressionL
type SortInjectionSource JSExpressionIsLocalVarInit Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource JSExpressionIsLocalVarInit = JSExpressionL
type SortInjectionSource JSExpressionIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource JSExpressionIsPositionalArgExp = JSExpressionL
type SortInjectionSource JSExpressionIsRhs Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource JSExpressionIsRhs = JSExpressionL
type SortInjectionSource JSExpressionIsVarDeclBinder Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource JSExpressionIsVarDeclBinder = JSExpressionL
type SortInjectionSource JSStatementIsBlockItem Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource JSStatementIsBlockItem = JSStatementL
type SortInjectionSource MultiLocalVarDeclIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionSource MultiLocalVarDeclIsJSStatement = MultiLocalVarDeclL
type SortInjectionSource AssignIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource AssignIsStat = AssignL
type SortInjectionSource BlockIsBlock Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource BlockIsBlock = BlockL
type SortInjectionSource BlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource BlockIsFunctionBody = BlockL
type SortInjectionSource ExpIsExpression Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource ExpIsExpression = ExpL
type SortInjectionSource ExpIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource ExpIsPositionalArgExp = ExpL
type SortInjectionSource ExpressionIsExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource ExpressionIsExp = ExpressionL
type SortInjectionSource FunctionCallIsFunCall Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource FunctionCallIsFunCall = FunctionCallL
type SortInjectionSource FunctionDefIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource FunctionDefIsStat = FunctionDefL
type SortInjectionSource IdentIsName Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource IdentIsName = IdentL
type SortInjectionSource PrefixExpIsFunctionExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource PrefixExpIsFunctionExp = PrefixExpL
type SortInjectionSource PrefixExpIsReceiver Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource PrefixExpIsReceiver = PrefixExpL
type SortInjectionSource SingleLocalVarDeclIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource SingleLocalVarDeclIsStat = SingleLocalVarDeclL
type SortInjectionSource StatIsBlockItem Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionSource StatIsBlockItem = StatL
type SortInjectionSource IdentIsVarDeclBinder Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type SortInjectionSource IdentIsVarDeclBinder = IdentL
type SortInjectionSource AssignIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource AssignIsStatement = AssignL
type SortInjectionSource ExprIsFunctionExp Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource ExprIsFunctionExp = ExprL
type SortInjectionSource ExprIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource ExprIsPositionalArgExp = ExprL
type SortInjectionSource ExprIsReceiver Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource ExprIsReceiver = ExprL
type SortInjectionSource ExprIsRhs Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource ExprIsRhs = ExprL
type SortInjectionSource FunctionCallIsExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource FunctionCallIsExpr = FunctionCallL
type SortInjectionSource FunctionDefIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource FunctionDefIsStatement = FunctionDefL
type SortInjectionSource IdentIsIdent Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource IdentIsIdent = IdentL
type SortInjectionSource IdentIsPyLValue Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource IdentIsPyLValue = IdentL
type SortInjectionSource PyBlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource PyBlockIsFunctionBody = PyBlockL
type SortInjectionSource PyClassIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource PyClassIsStatement = PyClassL
type SortInjectionSource PyCompIsExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource PyCompIsExpr = PyCompL
type SortInjectionSource StatementIsBlockItem Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionSource StatementIsBlockItem = StatementL

type family SortInjectionTarget (f :: Fragment) Source #

Instances

Instances details

type SortInjectionTarget AssignIsCExpression Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget AssignIsCExpression = CExpressionL
type SortInjectionTarget CAssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CAssignOpIsAssignOp = AssignOpL
type SortInjectionTarget CCompoundBlockItemIsBlockItem Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CCompoundBlockItemIsBlockItem = BlockItemL
type SortInjectionTarget CExpressionIsFunctionExp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CExpressionIsFunctionExp = FunctionExpL
type SortInjectionTarget CExpressionIsLhs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CExpressionIsLhs = LhsL
type SortInjectionTarget CExpressionIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CExpressionIsPositionalArgExp = PositionalArgExpL
type SortInjectionTarget CExpressionIsRhs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CExpressionIsRhs = RhsL
type SortInjectionTarget CFunParamAttrsIsFunctionParameterDeclAttrs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CFunParamAttrsIsFunctionParameterDeclAttrs = FunctionParameterDeclAttrsL
type SortInjectionTarget CFunParamAttrsIsParameterAttrs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CFunParamAttrsIsParameterAttrs = ParameterAttrsL
type SortInjectionTarget CInitializerIsLocalVarInit Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CInitializerIsLocalVarInit = LocalVarInitL
type SortInjectionTarget COldStyleParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget COldStyleParamIsFunctionParameter = FunctionParameterL
type SortInjectionTarget CSpecialParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CSpecialParamIsFunctionParameter = FunctionParameterL
type SortInjectionTarget CSpecialParamIsFunctionParameterDecl Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CSpecialParamIsFunctionParameterDecl = FunctionParameterDeclL
type SortInjectionTarget CStatementIsFunctionBody Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget CStatementIsFunctionBody = FunctionBodyL
type SortInjectionTarget FunctionCallIsCExpression Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget FunctionCallIsCExpression = CExpressionL
type SortInjectionTarget FunctionDeclIsCDeclarator Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget FunctionDeclIsCDeclarator = CDeclaratorL
type SortInjectionTarget FunctionDefIsCFunctionDef Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget FunctionDefIsCFunctionDef = CFunctionDefL
type SortInjectionTarget IdentIsIdent Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget IdentIsIdent
type SortInjectionTarget MultiLocalVarDeclIsCCompoundBlockItem Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type SortInjectionTarget MultiLocalVarDeclIsCCompoundBlockItem = CCompoundBlockItemL
type SortInjectionTarget AssignIsExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget AssignIsExp = ExpL
type SortInjectionTarget AssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget AssignOpIsAssignOp = AssignOpL
type SortInjectionTarget BlockIsBlock Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget BlockIsBlock
type SortInjectionTarget BlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget BlockIsFunctionBody = FunctionBodyL
type SortInjectionTarget BlockStmtIsBlockItem Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget BlockStmtIsBlockItem = BlockItemL
type SortInjectionTarget ExpIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget ExpIsPositionalArgExp = PositionalArgExpL
type SortInjectionTarget ExpIsRhs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget ExpIsRhs = RhsL
type SortInjectionTarget FunctionCallIsMethodInvocation Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget FunctionCallIsMethodInvocation = MethodInvocationL
type SortInjectionTarget FunctionDeclIsMemberDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget FunctionDeclIsMemberDecl = MemberDeclL
type SortInjectionTarget FunctionDefIsMemberDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget FunctionDefIsMemberDecl = MemberDeclL
type SortInjectionTarget IdentIsIdent Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget IdentIsIdent
type SortInjectionTarget JavaMethodDeclAttrsIsFunctionDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget JavaMethodDeclAttrsIsFunctionDeclAttrs = FunctionDeclAttrsL
type SortInjectionTarget JavaMethodDeclAttrsIsFunctionDefAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget JavaMethodDeclAttrsIsFunctionDefAttrs = FunctionDefAttrsL
type SortInjectionTarget JavaParamAttrsIsFunctionParameterDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget JavaParamAttrsIsFunctionParameterDeclAttrs = FunctionParameterDeclAttrsL
type SortInjectionTarget JavaParamAttrsIsParameterAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget JavaParamAttrsIsParameterAttrs = ParameterAttrsL
type SortInjectionTarget JavaVarargsParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget JavaVarargsParamIsFunctionParameter = FunctionParameterL
type SortInjectionTarget JavaVarargsParamIsFunctionParameterDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget JavaVarargsParamIsFunctionParameterDecl = FunctionParameterDeclL
type SortInjectionTarget LhsIsLhs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget LhsIsLhs = LhsL
type SortInjectionTarget MultiLocalVarDeclIsBlockStmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget MultiLocalVarDeclIsBlockStmt = BlockStmtL
type SortInjectionTarget NameIsFunctionExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget NameIsFunctionExp = FunctionExpL
type SortInjectionTarget VarInitIsLocalVarInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type SortInjectionTarget VarInitIsLocalVarInit = LocalVarInitL
type SortInjectionTarget AssignIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget AssignIsJSExpression = JSExpressionL
type SortInjectionTarget BlockIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget BlockIsJSStatement = JSStatementL
type SortInjectionTarget FunctionCallIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget FunctionCallIsJSExpression = JSExpressionL
type SortInjectionTarget FunctionDefIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget FunctionDefIsJSStatement = JSStatementL
type SortInjectionTarget IdentIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget IdentIsJSExpression = JSExpressionL
type SortInjectionTarget JSAssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget JSAssignOpIsAssignOp = AssignOpL
type SortInjectionTarget JSBlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget JSBlockIsFunctionBody = FunctionBodyL
type SortInjectionTarget JSBlockIsJSAST Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget JSBlockIsJSAST = JSASTL
type SortInjectionTarget JSExpressionIsFunctionExp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget JSExpressionIsFunctionExp = FunctionExpL
type SortInjectionTarget JSExpressionIsLhs Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget JSExpressionIsLhs = LhsL
type SortInjectionTarget JSExpressionIsLocalVarInit Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget JSExpressionIsLocalVarInit = LocalVarInitL
type SortInjectionTarget JSExpressionIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget JSExpressionIsPositionalArgExp = PositionalArgExpL
type SortInjectionTarget JSExpressionIsRhs Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget JSExpressionIsRhs = RhsL
type SortInjectionTarget JSExpressionIsVarDeclBinder Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget JSExpressionIsVarDeclBinder = VarDeclBinderL
type SortInjectionTarget JSStatementIsBlockItem Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget JSStatementIsBlockItem = BlockItemL
type SortInjectionTarget MultiLocalVarDeclIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type SortInjectionTarget MultiLocalVarDeclIsJSStatement = JSStatementL
type SortInjectionTarget AssignIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget AssignIsStat = StatL
type SortInjectionTarget BlockIsBlock Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget BlockIsBlock
type SortInjectionTarget BlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget BlockIsFunctionBody = FunctionBodyL
type SortInjectionTarget ExpIsExpression Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget ExpIsExpression = ExpressionL
type SortInjectionTarget ExpIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget ExpIsPositionalArgExp = PositionalArgExpL
type SortInjectionTarget ExpressionIsExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget ExpressionIsExp = ExpL
type SortInjectionTarget FunctionCallIsFunCall Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget FunctionCallIsFunCall = FunCallL
type SortInjectionTarget FunctionDefIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget FunctionDefIsStat = StatL
type SortInjectionTarget IdentIsName Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget IdentIsName
type SortInjectionTarget PrefixExpIsFunctionExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget PrefixExpIsFunctionExp = FunctionExpL
type SortInjectionTarget PrefixExpIsReceiver Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget PrefixExpIsReceiver = ReceiverL
type SortInjectionTarget SingleLocalVarDeclIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget SingleLocalVarDeclIsStat = StatL
type SortInjectionTarget StatIsBlockItem Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type SortInjectionTarget StatIsBlockItem = BlockItemL
type SortInjectionTarget IdentIsVarDeclBinder Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl type SortInjectionTarget IdentIsVarDeclBinder = VarDeclBinderL
type SortInjectionTarget AssignIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget AssignIsStatement = StatementL
type SortInjectionTarget ExprIsFunctionExp Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget ExprIsFunctionExp = FunctionExpL
type SortInjectionTarget ExprIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget ExprIsPositionalArgExp = PositionalArgExpL
type SortInjectionTarget ExprIsReceiver Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget ExprIsReceiver = ReceiverL
type SortInjectionTarget ExprIsRhs Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget ExprIsRhs = RhsL
type SortInjectionTarget FunctionCallIsExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget FunctionCallIsExpr = ExprL
type SortInjectionTarget FunctionDefIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget FunctionDefIsStatement = StatementL
type SortInjectionTarget IdentIsIdent Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget IdentIsIdent
type SortInjectionTarget IdentIsPyLValue Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget IdentIsPyLValue = PyLValueL
type SortInjectionTarget PyBlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget PyBlockIsFunctionBody = FunctionBodyL
type SortInjectionTarget PyClassIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget PyClassIsStatement = StatementL
type SortInjectionTarget PyCompIsExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget PyCompIsExpr = ExprL
type SortInjectionTarget StatementIsBlockItem Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type SortInjectionTarget StatementIsBlockItem = BlockItemL

class RemoveSortInjectionNode (f :: (Type -> Type) -> Sort -> Type) where Source #

Methods

removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. f (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource f) Source #

Instances

Instances details

RemoveSortInjectionNode AssignIsCExpression Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. AssignIsCExpression (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource AssignIsCExpression) Source #
RemoveSortInjectionNode CAssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CAssignOpIsAssignOp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CAssignOpIsAssignOp) Source #
RemoveSortInjectionNode CCompoundBlockItemIsBlockItem Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CCompoundBlockItemIsBlockItem (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CCompoundBlockItemIsBlockItem) Source #
RemoveSortInjectionNode CExpressionIsFunctionExp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CExpressionIsFunctionExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CExpressionIsFunctionExp) Source #
RemoveSortInjectionNode CExpressionIsLhs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CExpressionIsLhs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CExpressionIsLhs) Source #
RemoveSortInjectionNode CExpressionIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CExpressionIsPositionalArgExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CExpressionIsPositionalArgExp) Source #
RemoveSortInjectionNode CExpressionIsRhs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CExpressionIsRhs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CExpressionIsRhs) Source #
RemoveSortInjectionNode CFunParamAttrsIsFunctionParameterDeclAttrs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CFunParamAttrsIsFunctionParameterDeclAttrs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CFunParamAttrsIsFunctionParameterDeclAttrs) Source #
RemoveSortInjectionNode CFunParamAttrsIsParameterAttrs Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CFunParamAttrsIsParameterAttrs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CFunParamAttrsIsParameterAttrs) Source #
RemoveSortInjectionNode CInitializerIsLocalVarInit Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CInitializerIsLocalVarInit (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CInitializerIsLocalVarInit) Source #
RemoveSortInjectionNode COldStyleParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. COldStyleParamIsFunctionParameter (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource COldStyleParamIsFunctionParameter) Source #
RemoveSortInjectionNode CSpecialParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CSpecialParamIsFunctionParameter (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CSpecialParamIsFunctionParameter) Source #
RemoveSortInjectionNode CSpecialParamIsFunctionParameterDecl Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CSpecialParamIsFunctionParameterDecl (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CSpecialParamIsFunctionParameterDecl) Source #
RemoveSortInjectionNode CStatementIsFunctionBody Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. CStatementIsFunctionBody (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource CStatementIsFunctionBody) Source #
RemoveSortInjectionNode FunctionCallIsCExpression Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionCallIsCExpression (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionCallIsCExpression) Source #
RemoveSortInjectionNode FunctionDeclIsCDeclarator Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionDeclIsCDeclarator (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionDeclIsCDeclarator) Source #
RemoveSortInjectionNode FunctionDefIsCFunctionDef Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionDefIsCFunctionDef (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionDefIsCFunctionDef) Source #
RemoveSortInjectionNode IdentIsIdent Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. IdentIsIdent (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource IdentIsIdent) Source #
RemoveSortInjectionNode MultiLocalVarDeclIsCCompoundBlockItem Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. MultiLocalVarDeclIsCCompoundBlockItem (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource MultiLocalVarDeclIsCCompoundBlockItem) Source #
RemoveSortInjectionNode AssignIsExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. AssignIsExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource AssignIsExp) Source #
RemoveSortInjectionNode AssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. AssignOpIsAssignOp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource AssignOpIsAssignOp) Source #
RemoveSortInjectionNode BlockIsBlock Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. BlockIsBlock (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource BlockIsBlock) Source #
RemoveSortInjectionNode BlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. BlockIsFunctionBody (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource BlockIsFunctionBody) Source #
RemoveSortInjectionNode BlockStmtIsBlockItem Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. BlockStmtIsBlockItem (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource BlockStmtIsBlockItem) Source #
RemoveSortInjectionNode ExpIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. ExpIsPositionalArgExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource ExpIsPositionalArgExp) Source #
RemoveSortInjectionNode ExpIsRhs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. ExpIsRhs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource ExpIsRhs) Source #
RemoveSortInjectionNode FunctionCallIsMethodInvocation Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionCallIsMethodInvocation (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionCallIsMethodInvocation) Source #
RemoveSortInjectionNode FunctionDeclIsMemberDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionDeclIsMemberDecl (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionDeclIsMemberDecl) Source #
RemoveSortInjectionNode FunctionDefIsMemberDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionDefIsMemberDecl (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionDefIsMemberDecl) Source #
RemoveSortInjectionNode IdentIsIdent Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. IdentIsIdent (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource IdentIsIdent) Source #
RemoveSortInjectionNode JavaMethodDeclAttrsIsFunctionDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JavaMethodDeclAttrsIsFunctionDeclAttrs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JavaMethodDeclAttrsIsFunctionDeclAttrs) Source #
RemoveSortInjectionNode JavaMethodDeclAttrsIsFunctionDefAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JavaMethodDeclAttrsIsFunctionDefAttrs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JavaMethodDeclAttrsIsFunctionDefAttrs) Source #
RemoveSortInjectionNode JavaParamAttrsIsFunctionParameterDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JavaParamAttrsIsFunctionParameterDeclAttrs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JavaParamAttrsIsFunctionParameterDeclAttrs) Source #
RemoveSortInjectionNode JavaParamAttrsIsParameterAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JavaParamAttrsIsParameterAttrs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JavaParamAttrsIsParameterAttrs) Source #
RemoveSortInjectionNode JavaVarargsParamIsFunctionParameter Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JavaVarargsParamIsFunctionParameter (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JavaVarargsParamIsFunctionParameter) Source #
RemoveSortInjectionNode JavaVarargsParamIsFunctionParameterDecl Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JavaVarargsParamIsFunctionParameterDecl (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JavaVarargsParamIsFunctionParameterDecl) Source #
RemoveSortInjectionNode LhsIsLhs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. LhsIsLhs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource LhsIsLhs) Source #
RemoveSortInjectionNode MultiLocalVarDeclIsBlockStmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. MultiLocalVarDeclIsBlockStmt (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource MultiLocalVarDeclIsBlockStmt) Source #
RemoveSortInjectionNode NameIsFunctionExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. NameIsFunctionExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource NameIsFunctionExp) Source #
RemoveSortInjectionNode VarInitIsLocalVarInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. VarInitIsLocalVarInit (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource VarInitIsLocalVarInit) Source #
RemoveSortInjectionNode AssignIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. AssignIsJSExpression (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource AssignIsJSExpression) Source #
RemoveSortInjectionNode BlockIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. BlockIsJSStatement (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource BlockIsJSStatement) Source #
RemoveSortInjectionNode FunctionCallIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionCallIsJSExpression (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionCallIsJSExpression) Source #
RemoveSortInjectionNode FunctionDefIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionDefIsJSStatement (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionDefIsJSStatement) Source #
RemoveSortInjectionNode IdentIsJSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. IdentIsJSExpression (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource IdentIsJSExpression) Source #
RemoveSortInjectionNode JSAssignOpIsAssignOp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JSAssignOpIsAssignOp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JSAssignOpIsAssignOp) Source #
RemoveSortInjectionNode JSBlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JSBlockIsFunctionBody (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JSBlockIsFunctionBody) Source #
RemoveSortInjectionNode JSBlockIsJSAST Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JSBlockIsJSAST (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JSBlockIsJSAST) Source #
RemoveSortInjectionNode JSExpressionIsFunctionExp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JSExpressionIsFunctionExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JSExpressionIsFunctionExp) Source #
RemoveSortInjectionNode JSExpressionIsLhs Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JSExpressionIsLhs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JSExpressionIsLhs) Source #
RemoveSortInjectionNode JSExpressionIsLocalVarInit Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JSExpressionIsLocalVarInit (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JSExpressionIsLocalVarInit) Source #
RemoveSortInjectionNode JSExpressionIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JSExpressionIsPositionalArgExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JSExpressionIsPositionalArgExp) Source #
RemoveSortInjectionNode JSExpressionIsRhs Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JSExpressionIsRhs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JSExpressionIsRhs) Source #
RemoveSortInjectionNode JSExpressionIsVarDeclBinder Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JSExpressionIsVarDeclBinder (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JSExpressionIsVarDeclBinder) Source #
RemoveSortInjectionNode JSStatementIsBlockItem Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. JSStatementIsBlockItem (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource JSStatementIsBlockItem) Source #
RemoveSortInjectionNode MultiLocalVarDeclIsJSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. MultiLocalVarDeclIsJSStatement (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource MultiLocalVarDeclIsJSStatement) Source #
RemoveSortInjectionNode AssignIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. AssignIsStat (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource AssignIsStat) Source #
RemoveSortInjectionNode BlockIsBlock Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. BlockIsBlock (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource BlockIsBlock) Source #
RemoveSortInjectionNode BlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. BlockIsFunctionBody (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource BlockIsFunctionBody) Source #
RemoveSortInjectionNode ExpIsExpression Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. ExpIsExpression (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource ExpIsExpression) Source #
RemoveSortInjectionNode ExpIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. ExpIsPositionalArgExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource ExpIsPositionalArgExp) Source #
RemoveSortInjectionNode ExpressionIsExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. ExpressionIsExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource ExpressionIsExp) Source #
RemoveSortInjectionNode FunctionCallIsFunCall Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionCallIsFunCall (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionCallIsFunCall) Source #
RemoveSortInjectionNode FunctionDefIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionDefIsStat (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionDefIsStat) Source #
RemoveSortInjectionNode IdentIsName Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. IdentIsName (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource IdentIsName) Source #
RemoveSortInjectionNode PrefixExpIsFunctionExp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. PrefixExpIsFunctionExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource PrefixExpIsFunctionExp) Source #
RemoveSortInjectionNode PrefixExpIsReceiver Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. PrefixExpIsReceiver (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource PrefixExpIsReceiver) Source #
RemoveSortInjectionNode SingleLocalVarDeclIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. SingleLocalVarDeclIsStat (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource SingleLocalVarDeclIsStat) Source #
RemoveSortInjectionNode StatIsBlockItem Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. StatIsBlockItem (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource StatIsBlockItem) Source #
RemoveSortInjectionNode IdentIsVarDeclBinder Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.VarDecl Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. IdentIsVarDeclBinder (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource IdentIsVarDeclBinder) Source #
RemoveSortInjectionNode AssignIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. AssignIsStatement (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource AssignIsStatement) Source #
RemoveSortInjectionNode ExprIsFunctionExp Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. ExprIsFunctionExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource ExprIsFunctionExp) Source #
RemoveSortInjectionNode ExprIsPositionalArgExp Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. ExprIsPositionalArgExp (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource ExprIsPositionalArgExp) Source #
RemoveSortInjectionNode ExprIsReceiver Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. ExprIsReceiver (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource ExprIsReceiver) Source #
RemoveSortInjectionNode ExprIsRhs Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. ExprIsRhs (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource ExprIsRhs) Source #
RemoveSortInjectionNode FunctionCallIsExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionCallIsExpr (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionCallIsExpr) Source #
RemoveSortInjectionNode FunctionDefIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. FunctionDefIsStatement (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource FunctionDefIsStatement) Source #
RemoveSortInjectionNode IdentIsIdent Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. IdentIsIdent (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource IdentIsIdent) Source #
RemoveSortInjectionNode IdentIsPyLValue Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. IdentIsPyLValue (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource IdentIsPyLValue) Source #
RemoveSortInjectionNode PyBlockIsFunctionBody Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. PyBlockIsFunctionBody (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource PyBlockIsFunctionBody) Source #
RemoveSortInjectionNode PyClassIsStatement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. PyClassIsStatement (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource PyClassIsStatement) Source #
RemoveSortInjectionNode PyCompIsExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. PyCompIsExpr (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource PyCompIsExpr) Source #
RemoveSortInjectionNode StatementIsBlockItem Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods removeSortInjectionNode :: forall h (fs :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) l. StatementIsBlockItem (Cxt h fs a) l -> Cxt h fs a (SortInjectionSource StatementIsBlockItem) Source #

type family InjectableSorts (fs :: Signature) l :: [Sort] Source #

Instances

Instances details

type InjectableSorts MCSig MultiLocalVarDeclL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type InjectableSorts MCSig MultiLocalVarDeclL = '[CCompoundBlockItemL]
type InjectableSorts MJavaSig MultiLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type InjectableSorts MJavaSig MultiLocalVarDeclL = '[] :: [Sort]
type InjectableSorts MJSSig AssignL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type InjectableSorts MJSSig AssignL = '[JSExpressionL, BlockItemL]
type InjectableSorts MJSSig MultiLocalVarDeclL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types type InjectableSorts MJSSig MultiLocalVarDeclL = '[JSStatementL, BlockItemL]
type InjectableSorts MLuaSig AssignL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig AssignL = '[StatL]
type InjectableSorts MLuaSig SingleLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig SingleLocalVarDeclL = '[StatL]
type InjectableSorts MPythonSig AssignL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type InjectableSorts MPythonSig AssignL = '[StatementL]

class AInjF (fs :: Signature) l where Source #

Methods

ainjF :: MonadAnnotater Label m => TermLab fs l' -> Maybe (TermLab fs l, TermLab fs l -> m (TermLab fs l')) Source #

Instances

Instances details

AInjF' fs l (InjectableSorts fs l) => AInjF fs l Source #
Instance details Defined in Cubix.Language.Parametric.InjF Methods ainjF :: MonadAnnotater Label m => TermLab fs l' -> Maybe (TermLab fs l, TermLab fs l -> m (TermLab fs l')) Source #

promoteInjRF :: forall (fs :: Signature) l m. (AInjF fs l, MonadPlus m, MonadAnnotater Label m) => RewriteM m (TermLab fs) l -> GRewriteM m (TermLab fs) Source #