Futhark.Analysis.PrimExp

A primitive expression is an expression where the non-leaves are primitive operators. Our representation does not guarantee that the expression is type-correct.

Documentation

data PrimExp v

A primitive expression parametrised over the representation of free variables. Note that the Functor, Traversable, and Num instances perform automatic (but simple) constant folding.

Note also that the Num instance assumes OverflowUndef semantics!

Constructors

LeafExp v PrimType

ValueExp PrimValue

BinOpExp BinOp (PrimExp v) (PrimExp v)

CmpOpExp CmpOp (PrimExp v) (PrimExp v)

UnOpExp UnOp (PrimExp v)

ConvOpExp ConvOp (PrimExp v)

FunExp String [PrimExp v] PrimType

Instances

Foldable PrimExp

Defined in Futhark.Analysis.PrimExp

Methods

fold :: Monoid m => PrimExp m -> m

foldMap :: Monoid m => (a -> m) -> PrimExp a -> m

foldMap' :: Monoid m => (a -> m) -> PrimExp a -> m

foldr :: (a -> b -> b) -> b -> PrimExp a -> b

foldr' :: (a -> b -> b) -> b -> PrimExp a -> b

foldl :: (b -> a -> b) -> b -> PrimExp a -> b

foldl' :: (b -> a -> b) -> b -> PrimExp a -> b

foldr1 :: (a -> a -> a) -> PrimExp a -> a

foldl1 :: (a -> a -> a) -> PrimExp a -> a

toList :: PrimExp a -> [a]

null :: PrimExp a -> Bool

length :: PrimExp a -> Int

elem :: Eq a => a -> PrimExp a -> Bool

maximum :: Ord a => PrimExp a -> a

minimum :: Ord a => PrimExp a -> a

sum :: Num a => PrimExp a -> a

product :: Num a => PrimExp a -> a

Traversable PrimExp

Defined in Futhark.Analysis.PrimExp

Methods

traverse :: Applicative f => (a -> f b) -> PrimExp a -> f (PrimExp b)

sequenceA :: Applicative f => PrimExp (f a) -> f (PrimExp a)

mapM :: Monad m => (a -> m b) -> PrimExp a -> m (PrimExp b)

sequence :: Monad m => PrimExp (m a) -> m (PrimExp a)

Functor PrimExp

Defined in Futhark.Analysis.PrimExp

Methods

fmap :: (a -> b) -> PrimExp a -> PrimExp b

(<$) :: a -> PrimExp b -> PrimExp a

Show v => Show (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

showsPrec :: Int -> PrimExp v -> ShowS

show :: PrimExp v -> String

showList :: [PrimExp v] -> ShowS

ToExp (PrimExp VName)

Defined in Futhark.CodeGen.ImpGen

Methods

toExp :: PrimExp VName -> ImpM rep r op Exp

toExp' :: PrimType -> PrimExp VName -> Exp

ToExp v => ToExp (PrimExp v)

Defined in Futhark.Analysis.PrimExp.Convert

Methods

toExp :: MonadBuilder m => PrimExp v -> m (Exp (Rep m))

FreeIn v => FreeIn (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

freeIn' :: PrimExp v -> FV

Substitute v => Substitute (PrimExp v)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> PrimExp v -> PrimExp v

Eq v => Eq (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

(==) :: PrimExp v -> PrimExp v -> Bool

(/=) :: PrimExp v -> PrimExp v -> Bool

Ord v => Ord (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

compare :: PrimExp v -> PrimExp v -> Ordering

(<) :: PrimExp v -> PrimExp v -> Bool

(<=) :: PrimExp v -> PrimExp v -> Bool

(>) :: PrimExp v -> PrimExp v -> Bool

(>=) :: PrimExp v -> PrimExp v -> Bool

max :: PrimExp v -> PrimExp v -> PrimExp v

min :: PrimExp v -> PrimExp v -> PrimExp v

Pretty v => Pretty (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

pretty :: PrimExp v -> Doc ann

prettyList :: [PrimExp v] -> Doc ann

newtype TPrimExp t v

A PrimExp tagged with a phantom type used to provide type-safe construction. Does not guarantee that the underlying expression is actually type correct.

Constructors

TPrimExp

Fields

• untyped :: PrimExp v

Instances

Foldable (TPrimExp t)

Defined in Futhark.Analysis.PrimExp

Methods

fold :: Monoid m => TPrimExp t m -> m

foldMap :: Monoid m => (a -> m) -> TPrimExp t a -> m

foldMap' :: Monoid m => (a -> m) -> TPrimExp t a -> m

foldr :: (a -> b -> b) -> b -> TPrimExp t a -> b

foldr' :: (a -> b -> b) -> b -> TPrimExp t a -> b

foldl :: (b -> a -> b) -> b -> TPrimExp t a -> b

foldl' :: (b -> a -> b) -> b -> TPrimExp t a -> b

foldr1 :: (a -> a -> a) -> TPrimExp t a -> a

foldl1 :: (a -> a -> a) -> TPrimExp t a -> a

toList :: TPrimExp t a -> [a]

null :: TPrimExp t a -> Bool

length :: TPrimExp t a -> Int

elem :: Eq a => a -> TPrimExp t a -> Bool

maximum :: Ord a => TPrimExp t a -> a

minimum :: Ord a => TPrimExp t a -> a

sum :: Num a => TPrimExp t a -> a

product :: Num a => TPrimExp t a -> a

Traversable (TPrimExp t)

Defined in Futhark.Analysis.PrimExp

Methods

traverse :: Applicative f => (a -> f b) -> TPrimExp t a -> f (TPrimExp t b)

sequenceA :: Applicative f => TPrimExp t (f a) -> f (TPrimExp t a)

mapM :: Monad m => (a -> m b) -> TPrimExp t a -> m (TPrimExp t b)

sequence :: Monad m => TPrimExp t (m a) -> m (TPrimExp t a)

Functor (TPrimExp t)

Defined in Futhark.Analysis.PrimExp

Methods

fmap :: (a -> b) -> TPrimExp t a -> TPrimExp t b

(<$) :: a -> TPrimExp t b -> TPrimExp t a

ToExp (TExp t)

Defined in Futhark.CodeGen.Backends.GenericC.Code

Methods

toExp :: TExp t -> SrcLoc -> Exp

Pretty v => Floating (TPrimExp Half v)

Defined in Futhark.Analysis.PrimExp

Methods

pi :: TPrimExp Half v

exp :: TPrimExp Half v -> TPrimExp Half v

log :: TPrimExp Half v -> TPrimExp Half v

sqrt :: TPrimExp Half v -> TPrimExp Half v

(**) :: TPrimExp Half v -> TPrimExp Half v -> TPrimExp Half v

logBase :: TPrimExp Half v -> TPrimExp Half v -> TPrimExp Half v

sin :: TPrimExp Half v -> TPrimExp Half v

cos :: TPrimExp Half v -> TPrimExp Half v

tan :: TPrimExp Half v -> TPrimExp Half v

asin :: TPrimExp Half v -> TPrimExp Half v

acos :: TPrimExp Half v -> TPrimExp Half v

atan :: TPrimExp Half v -> TPrimExp Half v

sinh :: TPrimExp Half v -> TPrimExp Half v

cosh :: TPrimExp Half v -> TPrimExp Half v

tanh :: TPrimExp Half v -> TPrimExp Half v

asinh :: TPrimExp Half v -> TPrimExp Half v

acosh :: TPrimExp Half v -> TPrimExp Half v

atanh :: TPrimExp Half v -> TPrimExp Half v

log1p :: TPrimExp Half v -> TPrimExp Half v

expm1 :: TPrimExp Half v -> TPrimExp Half v

log1pexp :: TPrimExp Half v -> TPrimExp Half v

log1mexp :: TPrimExp Half v -> TPrimExp Half v

Pretty v => Floating (TPrimExp Double v)

Defined in Futhark.Analysis.PrimExp

Methods

pi :: TPrimExp Double v

exp :: TPrimExp Double v -> TPrimExp Double v

log :: TPrimExp Double v -> TPrimExp Double v

sqrt :: TPrimExp Double v -> TPrimExp Double v

(**) :: TPrimExp Double v -> TPrimExp Double v -> TPrimExp Double v

logBase :: TPrimExp Double v -> TPrimExp Double v -> TPrimExp Double v

sin :: TPrimExp Double v -> TPrimExp Double v

cos :: TPrimExp Double v -> TPrimExp Double v

tan :: TPrimExp Double v -> TPrimExp Double v

asin :: TPrimExp Double v -> TPrimExp Double v

acos :: TPrimExp Double v -> TPrimExp Double v

atan :: TPrimExp Double v -> TPrimExp Double v

sinh :: TPrimExp Double v -> TPrimExp Double v

cosh :: TPrimExp Double v -> TPrimExp Double v

tanh :: TPrimExp Double v -> TPrimExp Double v

asinh :: TPrimExp Double v -> TPrimExp Double v

acosh :: TPrimExp Double v -> TPrimExp Double v

atanh :: TPrimExp Double v -> TPrimExp Double v

log1p :: TPrimExp Double v -> TPrimExp Double v

expm1 :: TPrimExp Double v -> TPrimExp Double v

log1pexp :: TPrimExp Double v -> TPrimExp Double v

log1mexp :: TPrimExp Double v -> TPrimExp Double v

Pretty v => Floating (TPrimExp Float v)

Defined in Futhark.Analysis.PrimExp

Methods

pi :: TPrimExp Float v

exp :: TPrimExp Float v -> TPrimExp Float v

log :: TPrimExp Float v -> TPrimExp Float v

sqrt :: TPrimExp Float v -> TPrimExp Float v

(**) :: TPrimExp Float v -> TPrimExp Float v -> TPrimExp Float v

logBase :: TPrimExp Float v -> TPrimExp Float v -> TPrimExp Float v

sin :: TPrimExp Float v -> TPrimExp Float v

cos :: TPrimExp Float v -> TPrimExp Float v

tan :: TPrimExp Float v -> TPrimExp Float v

asin :: TPrimExp Float v -> TPrimExp Float v

acos :: TPrimExp Float v -> TPrimExp Float v

atan :: TPrimExp Float v -> TPrimExp Float v

sinh :: TPrimExp Float v -> TPrimExp Float v

cosh :: TPrimExp Float v -> TPrimExp Float v

tanh :: TPrimExp Float v -> TPrimExp Float v

asinh :: TPrimExp Float v -> TPrimExp Float v

acosh :: TPrimExp Float v -> TPrimExp Float v

atanh :: TPrimExp Float v -> TPrimExp Float v

log1p :: TPrimExp Float v -> TPrimExp Float v

expm1 :: TPrimExp Float v -> TPrimExp Float v

log1pexp :: TPrimExp Float v -> TPrimExp Float v

log1mexp :: TPrimExp Float v -> TPrimExp Float v

(NumExp t, Pretty v) => Num (TPrimExp t v)

Defined in Futhark.Analysis.PrimExp

Methods

(+) :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

(-) :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

(*) :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

negate :: TPrimExp t v -> TPrimExp t v

abs :: TPrimExp t v -> TPrimExp t v

signum :: TPrimExp t v -> TPrimExp t v

fromInteger :: Integer -> TPrimExp t v

(FloatExp t, Pretty v) => Fractional (TPrimExp t v)

Defined in Futhark.Analysis.PrimExp

Methods

(/) :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

recip :: TPrimExp t v -> TPrimExp t v

fromRational :: Rational -> TPrimExp t v

Show v => Show (TPrimExp t v)

Defined in Futhark.Analysis.PrimExp

Methods

showsPrec :: Int -> TPrimExp t v -> ShowS

show :: TPrimExp t v -> String

showList :: [TPrimExp t v] -> ShowS

ToExp v => ToExp (TPrimExp t v)

Defined in Futhark.Analysis.PrimExp.Convert

Methods

toExp :: MonadBuilder m => TPrimExp t v -> m (Exp (Rep m))

FreeIn v => FreeIn (TPrimExp t v)

Defined in Futhark.Analysis.PrimExp

Methods

freeIn' :: TPrimExp t v -> FV

Substitute v => Substitute (TPrimExp t v)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> TPrimExp t v -> TPrimExp t v

(IntExp t, Pretty v) => IntegralExp (TPrimExp t v)

Defined in Futhark.Analysis.PrimExp

Methods

quot :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

rem :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

div :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

mod :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

sgn :: TPrimExp t v -> Maybe Int

pow :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

divUp :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

nextMul :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

Eq v => Eq (TPrimExp t v)

Defined in Futhark.Analysis.PrimExp

Methods

(==) :: TPrimExp t v -> TPrimExp t v -> Bool

(/=) :: TPrimExp t v -> TPrimExp t v -> Bool

Ord v => Ord (TPrimExp t v)

Defined in Futhark.Analysis.PrimExp

Methods

compare :: TPrimExp t v -> TPrimExp t v -> Ordering

(<) :: TPrimExp t v -> TPrimExp t v -> Bool

(<=) :: TPrimExp t v -> TPrimExp t v -> Bool

(>) :: TPrimExp t v -> TPrimExp t v -> Bool

(>=) :: TPrimExp t v -> TPrimExp t v -> Bool

max :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

min :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v

Pretty v => Pretty (TPrimExp t v)

Defined in Futhark.Analysis.PrimExp

Methods

pretty :: TPrimExp t v -> Doc ann

prettyList :: [TPrimExp t v] -> Doc ann

isInt8 :: PrimExp v -> TPrimExp Int8 v

This expression is of type Int8.

isInt16 :: PrimExp v -> TPrimExp Int16 v

This expression is of type Int16.

isInt32 :: PrimExp v -> TPrimExp Int32 v

This expression is of type Int32.

isInt64 :: PrimExp v -> TPrimExp Int64 v

This expression is of type Int64.

isBool :: PrimExp v -> TPrimExp Bool v

This is a boolean expression.

isF16 :: PrimExp v -> TPrimExp Half v

This expression is of type Half.

isF32 :: PrimExp v -> TPrimExp Float v

This expression is of type Float.

isF64 :: PrimExp v -> TPrimExp Double v

This expression is of type Double.

evalPrimExp :: (Pretty v, MonadFail m) => (v -> m PrimValue) -> PrimExp v -> m PrimValue

Evaluate a PrimExp in the given monad. Invokes fail on type errors.

primExpType :: PrimExp v -> PrimType

The type of values returned by a PrimExp. This function returning does not imply that the PrimExp is type-correct.

primExpSizeAtLeast :: Int -> PrimExp v -> Bool

True if the PrimExp has at least this many nodes. This can be much more efficient than comparing with length for large PrimExps, as this function is lazy.

coerceIntPrimExp :: IntType -> PrimExp v -> PrimExp v

If the given PrimExp is a constant of the wrong integer type, coerce it to the given integer type. This is a workaround for an issue in the Num instance.

leafExpTypes :: Ord a => PrimExp a -> Set (a, PrimType)

Produce a mapping from the leaves of the PrimExp to their designated types.

true :: TPrimExp Bool v

Boolean-valued PrimExps.

false :: TPrimExp Bool v

Boolean-valued PrimExps.

fromBool :: Bool -> TPrimExp Bool v

Conversion from Bool to TPrimExp

constFoldPrimExp :: PrimExp v -> PrimExp v

Perform quick and dirty constant folding on the top level of a PrimExp. This is necessary because we want to consider e.g. equality modulo constant folding.

Construction

module Language.Futhark.Primitive

class NumExp t where

The class of numeric types that can be used for constructing TPrimExps.

Methods

fromInteger' :: Integer -> TPrimExp t v

Construct a typed expression from an integer.

fromBoolExp :: TPrimExp Bool v -> TPrimExp t v

Construct a numeric expression from a boolean expression. This can be used to encode arithmetic control flow.

Instances

NumExp Int16

Defined in Futhark.Analysis.PrimExp

Methods

fromInteger' :: Integer -> TPrimExp Int16 v

fromBoolExp :: TPrimExp Bool v -> TPrimExp Int16 v

NumExp Int32

Defined in Futhark.Analysis.PrimExp

Methods

fromInteger' :: Integer -> TPrimExp Int32 v

fromBoolExp :: TPrimExp Bool v -> TPrimExp Int32 v

NumExp Int64

Defined in Futhark.Analysis.PrimExp

Methods

fromInteger' :: Integer -> TPrimExp Int64 v

fromBoolExp :: TPrimExp Bool v -> TPrimExp Int64 v

NumExp Int8

Defined in Futhark.Analysis.PrimExp

Methods

fromInteger' :: Integer -> TPrimExp Int8 v

fromBoolExp :: TPrimExp Bool v -> TPrimExp Int8 v

NumExp Half

Defined in Futhark.Analysis.PrimExp

Methods

fromInteger' :: Integer -> TPrimExp Half v

fromBoolExp :: TPrimExp Bool v -> TPrimExp Half v

NumExp Double

Defined in Futhark.Analysis.PrimExp

Methods

fromInteger' :: Integer -> TPrimExp Double v

fromBoolExp :: TPrimExp Bool v -> TPrimExp Double v

NumExp Float

Defined in Futhark.Analysis.PrimExp

Methods

fromInteger' :: Integer -> TPrimExp Float v

fromBoolExp :: TPrimExp Bool v -> TPrimExp Float v

class NumExp t => IntExp t where

The class of integer types that can be used for constructing TPrimExps.

Methods

expIntType :: TPrimExp t v -> IntType

The type of an expression, known to be an integer type.

Instances

IntExp Int16

Defined in Futhark.Analysis.PrimExp

Methods

expIntType :: TPrimExp Int16 v -> IntType

IntExp Int32

Defined in Futhark.Analysis.PrimExp

Methods

expIntType :: TPrimExp Int32 v -> IntType

IntExp Int64

Defined in Futhark.Analysis.PrimExp

Methods

expIntType :: TPrimExp Int64 v -> IntType

IntExp Int8

Defined in Futhark.Analysis.PrimExp

Methods

expIntType :: TPrimExp Int8 v -> IntType

class NumExp t => FloatExp t where

The class of floating-point types that can be used for constructing TPrimExps.

Methods

fromRational' :: Rational -> TPrimExp t v

Construct a typed expression from a rational.

expFloatType :: TPrimExp t v -> FloatType

The type of an expression, known to be a floating-point type.

Instances

FloatExp Half

Defined in Futhark.Analysis.PrimExp

Methods

fromRational' :: Rational -> TPrimExp Half v

expFloatType :: TPrimExp Half v -> FloatType

FloatExp Double

Defined in Futhark.Analysis.PrimExp

Methods

fromRational' :: Rational -> TPrimExp Double v

expFloatType :: TPrimExp Double v -> FloatType

FloatExp Float

Defined in Futhark.Analysis.PrimExp

Methods

fromRational' :: Rational -> TPrimExp Float v

expFloatType :: TPrimExp Float v -> FloatType

sExt :: IntType -> PrimExp v -> PrimExp v

Untyped smart constructor for sign extension that does a bit of constant folding.

zExt :: IntType -> PrimExp v -> PrimExp v

Untyped smart constructor for zero extension that does a bit of constant folding.

(.&&.) :: Eq v => TPrimExp Bool v -> TPrimExp Bool v -> TPrimExp Bool v infixr 3

Lifted logical conjunction.

(.||.) :: Eq v => TPrimExp Bool v -> TPrimExp Bool v -> TPrimExp Bool v infixr 2

Lifted logical conjunction.

(.<.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v infix 4

Lifted relational operators; assuming signed numbers in case of integers.

(.<=.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v infix 4

Lifted relational operators; assuming signed numbers in case of integers.

(.>.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v infix 4

Lifted relational operators; assuming signed numbers in case of integers.

(.>=.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v infix 4

Lifted relational operators; assuming signed numbers in case of integers.

(.==.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v infix 4

Lifted relational operators; assuming signed numbers in case of integers.

(.&.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp t v

Lifted bitwise operators. The right-shift is logical, *not* arithmetic.

(.|.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp t v

Lifted bitwise operators. The right-shift is logical, *not* arithmetic.

(.^.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp t v

Lifted bitwise operators. The right-shift is logical, *not* arithmetic.

(.>>.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp t v

Lifted bitwise operators. The right-shift is logical, *not* arithmetic.

(.<<.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp t v

Lifted bitwise operators. The right-shift is logical, *not* arithmetic.

bNot :: TPrimExp Bool v -> TPrimExp Bool v

Boolean negation smart constructor.

sMax32 :: TPrimExp Int32 v -> TPrimExp Int32 v -> TPrimExp Int32 v

SMax on 32-bit integers.

sMin32 :: TPrimExp Int32 v -> TPrimExp Int32 v -> TPrimExp Int32 v

SMin on 32-bit integers.

sMax64 :: TPrimExp Int64 v -> TPrimExp Int64 v -> TPrimExp Int64 v

SMax on 64-bit integers.

sMin64 :: TPrimExp Int64 v -> TPrimExp Int64 v -> TPrimExp Int64 v

SMin on 64-bit integers.

sExt32 :: IntExp t => TPrimExp t v -> TPrimExp Int32 v

Sign-extend to 32 bit integer.

sExt64 :: IntExp t => TPrimExp t v -> TPrimExp Int64 v

Sign-extend to 64 bit integer.

zExt32 :: IntExp t => TPrimExp t v -> TPrimExp Int32 v

Zero-extend to 32 bit integer.

zExt64 :: IntExp t => TPrimExp t v -> TPrimExp Int64 v

Zero-extend to 64 bit integer.

sExtAs :: (IntExp to, IntExp from) => TPrimExp from v -> TPrimExp to v -> TPrimExp to v

Convert result of some integer expression to have the same type as another, using sign extension.

fMin16 :: TPrimExp Half v -> TPrimExp Half v -> TPrimExp Half v

16-bit float minimum.

fMin32 :: TPrimExp Float v -> TPrimExp Float v -> TPrimExp Float v

32-bit float minimum.

fMin64 :: TPrimExp Double v -> TPrimExp Double v -> TPrimExp Double v

64-bit float minimum.

fMax16 :: TPrimExp Half v -> TPrimExp Half v -> TPrimExp Half v

16-bit float maximum.

fMax32 :: TPrimExp Float v -> TPrimExp Float v -> TPrimExp Float v

32-bit float maximum.

fMax64 :: TPrimExp Double v -> TPrimExp Double v -> TPrimExp Double v

64-bit float maximum.

Untyped construction

(~*~) :: PrimExp v -> PrimExp v -> PrimExp v infix 7

Multiplication of untyped PrimExps, which must have the same type. Uses OverflowWrap for integer operations.

(~/~) :: PrimExp v -> PrimExp v -> PrimExp v infix 7

Division of untyped PrimExps, which must have the same type. For integers, this is unsafe signed division.

(~+~) :: PrimExp v -> PrimExp v -> PrimExp v infix 6

Addition of untyped PrimExps, which must have the same type. Uses OverflowWrap for integer operations.

(~-~) :: PrimExp v -> PrimExp v -> PrimExp v infix 6

Subtraction of untyped PrimExps, which must have the same type. Uses OverflowWrap for integer operations.

(~==~) :: PrimExp v -> PrimExp v -> PrimExp v infix 4

Equality of untyped PrimExps, which must have the same type.