-instance (Expr sm, Expr w)
- => Expr (FixedShiftPredictOp sm w)
-instance (CommonExpr sm, CommonExpr w)
- => CommonExpr (FixedShiftPredictOp sm w)
+instance (ExprSet ss, Expr w, Variable v)
+ => Expr (VariableShiftPredictOp ss w v)
+instance (CommonExprSet ss, CommonExpr w, Variable v)
+ => CommonExpr (VariableShiftPredictOp ss w v)
+
+data FixedShiftPredictOp sm w v
+ = FixedShiftPredictAverage !sm !w !v
+ | FixedShiftPredictSigma !sm !w !v
+ deriving (Show, Eq, Ord)
+instance (Expr sm, Expr w, Variable v)
+ => Expr (FixedShiftPredictOp sm w v)
+instance (CommonExpr sm, CommonExpr w, Variable v)
+ => CommonExpr (FixedShiftPredictOp sm w v)