LLVM.Extra.Multi.Vector.Instance

Documentation

type MVVector n a = T (Vector n a)

toMultiValue :: T n a -> MVVector n a

fromMultiValue :: MVVector n a -> T n a

liftMultiValueM :: Functor f => (T n a -> f (T m b)) -> MVVector n a -> f (MVVector m b)

liftMultiValueM2 :: Functor f => (T n a -> T m b -> f (T k c)) -> MVVector n a -> MVVector m b -> f (MVVector k c)

liftMultiValueM3 :: Functor f => (T n a -> T m b -> T m c -> f (T k d)) -> MVVector n a -> MVVector m b -> MVVector m c -> f (MVVector k d)

Orphan instances

(Positive n, Additive a) => Additive (Vector n a)

Methods

add :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

sub :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

neg :: T (Vector n a) -> CodeGenFunction r (T (Vector n a))

(Positive n, BitShift a) => BitShift (Vector n a)

Methods

shl :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

shr :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

(Positive n, C a) => C (Vector n a)

Associated Types

type Repr (Vector n a)

Methods

cons :: Vector n a -> T (Vector n a)

undef :: T (Vector n a)

zero :: T (Vector n a)

phi :: BasicBlock -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

addPhi :: BasicBlock -> T (Vector n a) -> T (Vector n a) -> CodeGenFunction r ()

(Positive n, Fraction a) => Fraction (Vector n a)

Methods

truncate :: T (Vector n a) -> CodeGenFunction r (T (Vector n a))

fraction :: T (Vector n a) -> CodeGenFunction r (T (Vector n a))

(Positive n, IntegerConstant a) => IntegerConstant (Vector n a)

Methods

fromInteger' :: Integer -> T (Vector n a)

(Positive n, Logic a) => Logic (Vector n a)

Methods

and :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

or :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

xor :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

inv :: T (Vector n a) -> CodeGenFunction r (T (Vector n a))

(Positive n, PseudoRing a) => PseudoRing (Vector n a)

Methods

mul :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

(Positive n, RationalConstant a) => RationalConstant (Vector n a)

Methods

fromRational' :: Rational -> T (Vector n a)

(Positive n, Real a) => Real (Vector n a)

Methods

min :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

max :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

abs :: T (Vector n a) -> CodeGenFunction r (T (Vector n a))

signum :: T (Vector n a) -> CodeGenFunction r (T (Vector n a))