Synthesizer.LLVM.Filter.Universal
Documentation
data Result a
Instances
| Functor Result | |
| Applicative Result | |
| Foldable Result | |
| Traversable Result | |
| ShuffleMatch d v => ShuffleMatch d (Result v) | |
| C a v => C a (Result v) | |
| Access d a v => Access d (Result a) (Result v) | |
| Storable a => Storable (Result a) | |
| Phi a => Phi (Result a) | |
| ValueTuple a => ValueTuple (Result a) | |
| Undefined a => Undefined (Result a) | |
| IsTuple a => IsTuple (Result a) | |
| C v => C (Result v) | |
| MakeValueTuple ah al => MakeValueTuple (Result ah) (Result al) | |
| Flatten ah al => Flatten (Result ah) (Result al) | |
| (C a, IsFirstClass a, IsArithmetic a, IsConst a, IsPowerOf2 d, IsPrimitive a, IsSized a as) => C (Parameter (Value a)) (Value (Vector d a)) (Result (Value (Vector d a))) | |
| (C a, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic v) => C (Parameter (Value a)) (Value v) (Result (Value v)) |
data Parameter a
Instances
| Functor Parameter | |
| Applicative Parameter | |
| Foldable Parameter | |
| Traversable Parameter | |
| ShuffleMatch d v => ShuffleMatch d (Parameter v) | |
| C a v => C a (Parameter v) | |
| Access d a v => Access d (Parameter a) (Parameter v) | |
| Storable a => Storable (Parameter a) | |
| Phi a => Phi (Parameter a) | |
| ValueTuple a => ValueTuple (Parameter a) | |
| Undefined a => Undefined (Parameter a) | |
| IsTuple a => IsTuple (Parameter a) | |
| MakeValueTuple ah al => MakeValueTuple (Parameter ah) (Parameter al) | |
| (Memory a s, IsSized s ss) => Memory (Parameter a) (Struct (s, (s, (s, (s, (s, (s, ()))))))) | |
| Flatten ah al => Flatten (Parameter ah) (Parameter al) | |
| (C a, IsFirstClass a, IsArithmetic a, IsConst a, IsPowerOf2 d, IsPrimitive a, IsSized a as) => C (Parameter (Value a)) (Value (Vector d a)) (Result (Value (Vector d a))) | |
| (C a, C (T a) (T v), IsFirstClass a, IsSized a as, IsConst a, IsArithmetic a, IsFirstClass v, IsSized v vs, IsConst v, IsArithmetic v) => C (Parameter (Value a)) (Value v) (Result (Value v)) |
parameter :: (C a, IsConst a, IsFloating a) => Value a -> Value a -> CodeGenFunction r (Parameter (Value a))Source