Language.Expression.GeneralOp

Documentation

data GeneralOp op t a where

Constructors

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

Instances

EvalOpAt k2 op => HFoldableAt (k2 :: k1 -> Type) (GeneralOp op :: (k1 -> Type) -> k1 -> Type)

Defined in Language.Expression.GeneralOp

Methods

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

PrettyOp op => Pretty2 (GeneralOp op :: (k1 -> Type) -> k2 -> Type)

Defined in Language.Expression.GeneralOp

Methods

pretty2 :: forall (t :: k -> Type) (a :: k). Pretty1 t => GeneralOp op t a -> String

prettys2Prec :: forall (t :: k -> Type) (a :: k). Pretty1 t => Int -> GeneralOp op t a -> ShowS

HTraversable (GeneralOp op :: (u -> Type) -> u -> Type)

Defined in Language.Expression.GeneralOp

Methods

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

hsequence :: forall f (t :: u0 -> Type) (a :: u0). Applicative f => GeneralOp op (Compose f t) a -> f (GeneralOp op t a)

HFunctor (GeneralOp op :: (u -> Type) -> u -> Type)

Defined in Language.Expression.GeneralOp

Methods

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

Num (WhileExpr l AlgReal)

Defined in Language.While.Syntax

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)

Defined in Language.While.Syntax

Methods

fromString :: String -> WhileExpr s AlgReal

class EvalOpAt k op where

Methods

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

Instances

EvalOpAt Identity WhileOpKind

Defined in Language.While.Syntax

Methods

evalMany :: forall (as :: [k]) (r :: k). WhileOpKind as r -> Rec Identity as -> Identity r

EvalOpAt SBV WhileOpKind

Defined in Language.While.Syntax

Methods

evalMany :: forall (as :: [k]) (r :: k). WhileOpKind as r -> Rec SBV as -> SBV r

class PrettyOp op where

Methods

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

Instances

PrettyOp WhileOpKind

Defined in Language.While.Syntax

Methods

prettysPrecOp :: forall (t :: u -> Type) (as :: [u]) (a :: k). Pretty1 t => Int -> WhileOpKind as a -> Rec t as -> ShowS