Language.Expression.GeneralOp

Documentation

data GeneralOp op t a where

Constructors

Op :: op as r -> Rec t as -> GeneralOp op t r

Instances

EvalOpAt k1 k2 op => HFoldableAt k1 k2 (GeneralOp k1 k1 op)

Methods

hfoldMap :: (forall (b :: k2). t b -> GeneralOp k1 k1 op b) -> h t a -> GeneralOp k1 k1 op a

PrettyOp k1 k2 op => Pretty2 k1 k2 (GeneralOp k1 k2 op)

Methods

pretty2 :: Pretty1 (GeneralOp k1 k2 op) t => op t a -> String

prettys2Prec :: Pretty1 (GeneralOp k1 k2 op) t => Int -> op t a -> ShowS

HTraversable u (GeneralOp u u op)

Methods

htraverse :: Applicative f => (forall (b :: GeneralOp u u op). t b -> f (t' b)) -> h t a -> f (h t' a)

hsequence :: Applicative f => h (Compose * (GeneralOp u u op) f t) a -> f (h t a)

HFunctor u (GeneralOp u u op)

Methods

hmap :: (forall (b :: GeneralOp u u op). t b -> t' b) -> h t a -> h t' a

Num (WhileExpr l AlgReal)

Methods

(+) :: WhileExpr l AlgReal -> WhileExpr l AlgReal -> WhileExpr l AlgReal

(-) :: WhileExpr l AlgReal -> WhileExpr l AlgReal -> WhileExpr l AlgReal

(*) :: WhileExpr l AlgReal -> WhileExpr l AlgReal -> WhileExpr l AlgReal

negate :: WhileExpr l AlgReal -> WhileExpr l AlgReal

abs :: WhileExpr l AlgReal -> WhileExpr l AlgReal

signum :: WhileExpr l AlgReal -> WhileExpr l AlgReal

fromInteger :: Integer -> WhileExpr l AlgReal

IsString s => IsString (WhileExpr s AlgReal)

Methods

fromString :: String -> WhileExpr s AlgReal

class EvalOpAt k op where

Minimal complete definition

evalMany

Methods

evalMany :: op as r -> Rec k as -> k r

Instances

EvalOpAt * Identity WhileOpKind

Methods

evalMany :: op as r -> Rec Identity WhileOpKind as -> WhileOpKind r

EvalOpAt * SBV WhileOpKind

Methods

evalMany :: op as r -> Rec SBV WhileOpKind as -> WhileOpKind r

class PrettyOp op where

Minimal complete definition

prettysPrecOp

Methods

prettysPrecOp :: Pretty1 t => Int -> op as a -> Rec t as -> ShowS

Instances

PrettyOp * * WhileOpKind

Methods

prettysPrecOp :: Pretty1 WhileOpKind t => Int -> op as a -> Rec WhileOpKind t as -> ShowS