LLVM.Extra.Nice.Vector.Instance

Documentation

type NVVector n a = T (Vector n a)

toNiceValue :: T n a -> NVVector n a

fromNiceValue :: NVVector n a -> T n a

liftNiceValueM :: Functor f => (T n a -> f (T m b)) -> NVVector n a -> f (NVVector m b)

liftNiceValueM2 :: Functor f => (T n a -> T m b -> f (T k c)) -> NVVector n a -> NVVector m b -> f (NVVector k c)

liftNiceValueM3 :: Functor f => (T n a -> T m b -> T m c -> f (T k d)) -> NVVector n a -> NVVector m b -> NVVector m c -> f (NVVector 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))