type instance IsExpr (Variable vn) = True
type instance IsCommonExpr (Variable vn) = True
type instance IsIterativeExpr (Variable vn) = True
-type instance MentionedVars (Variable vn) = vn :*: HNil
+type instance MentionedVars (Variable vn) = vn :&: HNil
type family IsVariableSet vs
type instance IsVariableSet HNil = True
type instance IsExpr (TrendOp vn e) = IsVarName vn :&&: IsExpr e
type instance IsCommonExpr (TrendOp vn e) = IsVarName vn :&&: IsCommonExpr e
type instance IsIterativeExpr (TrendOp vn e) = IsVarName vn :&&: IsIterativeExpr e
-type instance MentionedVars (TrendOp vn e) = vn :*: MentionedVars e
+type instance MentionedVars (TrendOp vn e) = vn :&: MentionedVars e
-- VariableShiftPredictOp
data VariableShiftPredictOp ss w vn
= IsIterativeExprSet ss :&&: IsIterativeExpr w :&&: IsVarName vn
type instance MentionedVars (VariableShiftPredictOp ss w vn)
- = vn :*: (MentionedVars ss :++: MentionedVars w)
+ = vn :&: (MentionedVars ss :++: MentionedVars w)
-- FixedShiftPredictOp
data FixedShiftPredictOp sm w vn
= IsIterativeExpr sm :&&: IsIterativeExpr w :&&: IsVarName vn
type instance MentionedVars (FixedShiftPredictOp sm w vn)
- = vn :*: (MentionedVars sm :++: MentionedVars w)
+ = vn :&: (MentionedVars sm :++: MentionedVars w)
-- Common special values
data CommonValue
type instance IsExpr (IterativeValueOf vn) = IsVarName vn
type instance IsCommonExpr (IterativeValueOf vn) = False
type instance IsIterativeExpr (IterativeValueOf vn) = IsVarName vn
-type instance MentionedVars (IterativeValueOf vn) = vn :*: HNil
+type instance MentionedVars (IterativeValueOf vn) = vn :&: HNil
-- Aggregative operators (fairly restricted due to rrdtool's
-- restriction)
| LSLCorrel !(Variable vn)
deriving (Show, Eq, Ord)
-type instance MentionedVars (AggregativeUnaryOp vn) = vn :*: HNil
+type instance MentionedVars (AggregativeUnaryOp vn) = vn :&: HNil