Safe Haskell	None
Language	Haskell2010

Cubix.Language.Parametric.Semantics.SemanticProperties

Documentation

data Place Source #

Constructors

Place Int
NegPlace Int

data Strictness Source #

Constructors

Strict
GuardedBy Place
NoEval

class GetStrictness' gs f where Source #

Methods

getStrictness' :: f (Term gs) l -> [Strictness] Source #

Instances

Instances details

HFoldable f => GetStrictness' gs f Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Methods getStrictness' :: f (Term gs) l -> [Strictness] Source #
GetStrictness' g PyCondExpr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods getStrictness' :: PyCondExpr (Term g) l -> [Strictness] Source #
Op :-<: gs => GetStrictness' gs Expr Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods getStrictness' :: Expr (Term gs) l -> [Strictness] Source #
Binop :-<: gs => GetStrictness' gs Exp Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods getStrictness' :: Exp (Term gs) l -> [Strictness] Source #
JSBinOp :-<: gs => GetStrictness' gs JSExpression Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics Methods getStrictness' :: JSExpression (Term gs) l -> [Strictness] Source #
Op :-<: gs => GetStrictness' gs Exp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Semantics Methods getStrictness' :: Exp (Term gs) l -> [Strictness] Source #
CBinaryOp :-<: gs => GetStrictness' gs CExpression Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Semantics Methods getStrictness' :: CExpression (Term gs) l -> [Strictness] Source #
All (GetStrictness' gs) fs => GetStrictness' gs (Sum fs) Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Methods getStrictness' :: Sum fs (Term gs) l -> [Strictness] Source #

class GetStrictness fs where Source #

Methods

getStrictness :: Term fs l -> [Strictness] Source #

Instances

Instances details

GetStrictness' fs (Sum fs) => GetStrictness fs Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Methods getStrictness :: Term fs l -> [Strictness] Source #

defaultGetStrictness :: HFoldable f => f e l -> [Strictness] Source #

data NodeEvaluationPoint Source #

Constructors

EnterEvalPoint
LoopEntryPoint
BeforeIntermediateEvalPoint Int
ExitEvalPoint

Instances

Instances details

Eq NodeEvaluationPoint Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Methods (==) :: NodeEvaluationPoint -> NodeEvaluationPoint -> Bool # (/=) :: NodeEvaluationPoint -> NodeEvaluationPoint -> Bool #
Ord NodeEvaluationPoint Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Methods compare :: NodeEvaluationPoint -> NodeEvaluationPoint -> Ordering # (<) :: NodeEvaluationPoint -> NodeEvaluationPoint -> Bool # (<=) :: NodeEvaluationPoint -> NodeEvaluationPoint -> Bool # (>) :: NodeEvaluationPoint -> NodeEvaluationPoint -> Bool # (>=) :: NodeEvaluationPoint -> NodeEvaluationPoint -> Bool # max :: NodeEvaluationPoint -> NodeEvaluationPoint -> NodeEvaluationPoint # min :: NodeEvaluationPoint -> NodeEvaluationPoint -> NodeEvaluationPoint #
Show NodeEvaluationPoint Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Methods showsPrec :: Int -> NodeEvaluationPoint -> ShowS # show :: NodeEvaluationPoint -> String # showList :: [NodeEvaluationPoint] -> ShowS #
Generic NodeEvaluationPoint Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Associated Types type Rep NodeEvaluationPoint :: Type -> Type # Methods from :: NodeEvaluationPoint -> Rep NodeEvaluationPoint x # to :: Rep NodeEvaluationPoint x -> NodeEvaluationPoint #
NFData NodeEvaluationPoint Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Methods rnf :: NodeEvaluationPoint -> () #
type Rep NodeEvaluationPoint Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties type Rep NodeEvaluationPoint = D1 ('MetaData "NodeEvaluationPoint" "Cubix.Language.Parametric.Semantics.SemanticProperties" "cubix-0.1.0.0-GE3qzSJT6A0CUj1veI8jGO" 'False) ((C1 ('MetaCons "EnterEvalPoint" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LoopEntryPoint" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BeforeIntermediateEvalPoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "ExitEvalPoint" 'PrefixI 'False) (U1 :: Type -> Type)))

class DynCase (Term gs) l => InsertAt' gs l f where Source #

Methods

insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a gs l -> (f :&: a) (AnnTerm a gs) i -> m (AnnTerm a gs i) Source #

canInsertAt' :: NodeEvaluationPoint -> Proxy l -> (f :&: a) (AnnTerm a gs) i -> Bool Source #

Instances

Instances details

(ListF :-<: gs, All HFunctor gs, KDynCase (Sum gs) l, KDynCase (Sum gs) [l], Typeable l) => InsertAt' gs l ListF Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a gs l -> (ListF :&: a) (AnnTerm a gs) i -> m (AnnTerm a gs i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy l -> (ListF :&: a) (AnnTerm a gs) i -> Bool Source #
(f :-<: gs, DynCase (Term gs) l) => InsertAt' gs l f Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a gs l -> (f :&: a) (AnnTerm a gs) i -> m (AnnTerm a gs i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy l -> (f :&: a) (AnnTerm a gs) i -> Bool Source #
InsertAt' MPythonSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig BlockItemL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig BlockItemL Statement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig BlockItemL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig BlockItemL PyWith Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig BlockItemL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig StatementL ListF Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig StatementL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy StatementL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig StatementL Statement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig StatementL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy StatementL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig StatementL PyWith Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig StatementL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy StatementL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MLuaSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MLuaSig BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> m (AnnTerm a MLuaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> Bool Source #
InsertAt' MJSSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJSSig BlockItemL -> (ListF :&: a) (AnnTerm a MJSSig) i -> m (AnnTerm a MJSSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MJSSig) i -> Bool Source #
InsertAt' MJSSig BlockItemL JSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJSSig BlockItemL -> (JSStatement :&: a) (AnnTerm a MJSSig) i -> m (AnnTerm a MJSSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (JSStatement :&: a) (AnnTerm a MJSSig) i -> Bool Source #
InsertAt' MJSSig JSStatementL ListF Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJSSig JSStatementL -> (ListF :&: a) (AnnTerm a MJSSig) i -> m (AnnTerm a MJSSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy JSStatementL -> (ListF :&: a) (AnnTerm a MJSSig) i -> Bool Source #
InsertAt' MJSSig JSStatementL JSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJSSig JSStatementL -> (JSStatement :&: a) (AnnTerm a MJSSig) i -> m (AnnTerm a MJSSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy JSStatementL -> (JSStatement :&: a) (AnnTerm a MJSSig) i -> Bool Source #
InsertAt' MJavaSig BlockItemL Stmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJavaSig BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> m (AnnTerm a MJavaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> Bool Source #
InsertAt' MCSig BlockItemL CStatement Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MCSig BlockItemL -> (CStatement :&: a) (AnnTerm a MCSig) i -> m (AnnTerm a MCSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (CStatement :&: a) (AnnTerm a MCSig) i -> Bool Source #
(All (InsertAt' gs l) fs, DynCase (Term gs) l) => InsertAt' gs l (Sum fs) Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a gs l -> (Sum fs :&: a) (AnnTerm a gs) i -> m (AnnTerm a gs i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy l -> (Sum fs :&: a) (AnnTerm a gs) i -> Bool Source #

class InsertAt gs l where Source #

Methods

insertAt :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a gs l -> AnnTerm a gs i -> m (AnnTerm a gs i) Source #

canInsertAt :: NodeEvaluationPoint -> Proxy l -> AnnTerm a gs i -> Bool Source #

Instances

Instances details

InsertAt' gs l (Sum gs) => InsertAt gs l Source #
Instance details Defined in Cubix.Language.Parametric.Semantics.SemanticProperties Methods insertAt :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a gs l -> AnnTerm a gs i -> m (AnnTerm a gs i) Source # canInsertAt :: NodeEvaluationPoint -> Proxy l -> AnnTerm a gs i -> Bool Source #

insertBefore :: (InsertAt gs l, MonadAnnotater a m) => AnnTerm a gs l -> AnnTerm a gs i -> m (AnnTerm a gs i) Source #

canInsertBefore :: InsertAt gs l => Proxy l -> AnnTerm a gs i -> Bool Source #