Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Cons (Vector n a) |
Instances
(Eq a, Positive n) => Eq (T n a) Source # | |
(Num a, Positive n) => Num (T n a) Source # | |
(Positive n, Storable a) => Storable (T n a) Source # | |
Vector n a => C (T n a) Source # | |
(Positive n, C a) => C (T n a) Source # | |
(Positive n, Additive a) => Additive (T n a) Source # | |
(Positive n, Fraction a) => Fraction (T n a) Source # | |
(Positive n, Real a) => Real (T n a) Source # | |
(Positive n, IntegerConstant a) => IntegerConstant (T n a) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Code fromInteger' :: Integer -> T0 (T n a) | |
(Positive n, PseudoRing a) => PseudoRing (T n a) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Code | |
(Positive n, RationalConstant a) => RationalConstant (T n a) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Code fromRational' :: Rational -> T0 (T n a) | |
(Positive n, Algebraic a) => Algebraic (T n a) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Code | |
(Positive n, Field a) => Field (T n a) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Code | |
(Positive n, Transcendental a) => Transcendental (T n a) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Code pi :: CodeGenFunction r (T0 (T n a)) sin :: T0 (T n a) -> CodeGenFunction r (T0 (T n a)) cos :: T0 (T n a) -> CodeGenFunction r (T0 (T n a)) exp :: T0 (T n a) -> CodeGenFunction r (T0 (T n a)) log :: T0 (T n a) -> CodeGenFunction r (T0 (T n a)) pow :: T0 (T n a) -> T0 (T n a) -> CodeGenFunction r (T0 (T n a)) | |
(Positive n, Vector a, C a) => C (T n a) Source # | |
(Positive n, n ~ m, NativeFloating n a ar, NativeFloating a ar) => NativeFloating (T n a) (Vector m ar) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Code | |
(Positive n, n ~ m, NativeInteger n a ar, NativeInteger a ar) => NativeInteger (T n a) (Vector m ar) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Code | |
type Repr (T n a) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Code type Repr (T n a) = Repr n a |
fromOrdinary :: T (Vector n a) -> Value n a Source #
toOrdinary :: Value n a -> T (Vector n a) Source #
fromMultiVector :: T n a -> Value n a Source #
toMultiVector :: Value n a -> T n a Source #
extract :: (Positive n, C x, T x ~ a, Value n x ~ v) => Value Word32 -> v -> CodeGenFunction r a Source #
insert :: (Positive n, C x, T x ~ a, Value n x ~ v) => Value Word32 -> a -> v -> CodeGenFunction r v Source #
modify :: (Positive n, C x, T x ~ a, Value n x ~ v) => Value Word32 -> (a -> CodeGenFunction r a) -> v -> CodeGenFunction r v Source #
shiftDown :: (Positive n, C x, T x ~ a, Value n x ~ v) => a -> v -> CodeGenFunction r (a, v) Source #
cumulate :: (Positive n, Additive a) => T a -> Value n a -> CodeGenFunction r (T a, Value n a) Source #