Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Instances
Functor T | |
Applicative T | |
(Additive a, IntegerConstant a) => Enum (T a) | |
(Transcendental a, Real a, RationalConstant a) => Floating (T a) | |
(Field a, Real a, RationalConstant a) => Fractional (T a) | |
(PseudoRing a, Real a, IntegerConstant a) => Num (T a) | |
(Transcendental a, RationalConstant a) => C (T a) | |
(Transcendental a, RationalConstant a) => C (T a) | |
(Field a, RationalConstant a) => C (T a) | |
(Real a, PseudoRing a, IntegerConstant a) => C (T a) | |
(PseudoRing a, IntegerConstant a) => C (T a) | |
Additive a => C (T a) | |
Flatten (T a) | |
(Real a, IntegerConstant a, a ~ Scalar a, PseudoModule a) => Sqr (T a) (T a) | |
Defined in LLVM.DSL.Value | |
(Sqr (T a) (T v), RationalConstant a, Algebraic a) => C (T a) (T v) | |
Defined in LLVM.DSL.Value | |
(Real a, IntegerConstant a, a ~ Scalar a, PseudoModule a) => C (T a) (T a) | |
Defined in LLVM.DSL.Value | |
(a ~ Scalar v, PseudoModule v, IntegerConstant a) => C (T a) (T v) | |
type Registers (T a) | |
Defined in LLVM.DSL.Value |
(??) :: (IsFirstClass a, CmpRet a) => T (Value (CmpResult a)) -> (T (Value a), T (Value a)) -> T (Value a) #
unlift2 :: Flatten value => (T a -> T b -> value) -> forall r. a -> b -> CodeGenFunction r (Registers value) #
unlift3 :: Flatten value => (T a -> T b -> T c -> value) -> forall r. a -> b -> c -> CodeGenFunction r (Registers value) #
unlift4 :: Flatten value => (T a -> T b -> T c -> T d -> value) -> forall r. a -> b -> c -> d -> CodeGenFunction r (Registers value) #
unlift5 :: Flatten value => (T a -> T b -> T c -> T d -> T e -> value) -> forall r. a -> b -> c -> d -> e -> CodeGenFunction r (Registers value) #
constantValue :: a -> T a #
fromInteger' :: IntegerConstant a => Integer -> T a #
fromRational' :: RationalConstant a => Rational -> T a #
flattenCode :: value -> Compute r (Registers value) #
unfoldCode :: T (Registers value) -> value #
Instances
type family Registers value :: Type #
Instances
type Registers () | |
Defined in LLVM.DSL.Value type Registers () = () | |
type Registers (T a) | |
Defined in LLVM.DSL.Value | |
type Registers (T a) Source # | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
type Registers (Parameter a) Source # | |
Defined in Synthesizer.LLVM.Filter.Universal | |
type Registers (Result a) Source # | |
Defined in Synthesizer.LLVM.Filter.Universal | |
type Registers (Parameter a) Source # | |
Defined in Synthesizer.LLVM.Filter.SecondOrder | |
type Registers (State a) Source # | |
Defined in Synthesizer.LLVM.Filter.SecondOrder | |
type Registers (T a) Source # | |
Defined in Synthesizer.LLVM.Value | |
type Registers (T a) | |
Defined in LLVM.DSL.Value | |
type Registers (Parameter a) Source # | |
Defined in Synthesizer.LLVM.Filter.ComplexFirstOrder | |
type Registers (ParameterPacked a) Source # | |
Defined in Synthesizer.LLVM.Causal.Exponential2 | |
type Registers (Parameter a) Source # | |
Defined in Synthesizer.LLVM.Causal.Exponential2 | |
type Registers (a, b) | |
Defined in LLVM.DSL.Value | |
type Registers (a, b, c) | |
Defined in LLVM.DSL.Value |
flattenCodeTraversable :: (Flatten value, Traversable f) => f value -> Compute r (f (Registers value)) #
unfoldCodeTraversable :: (Flatten value, Traversable f, Applicative f) => T (f (Registers value)) -> f value #
flattenFunction :: (Flatten a, Flatten b) => (a -> b) -> Registers a -> CodeGenFunction r (Registers b) #