Safe Haskell | None |
---|
- data T p a
Documentation
data T p a
This data type is for parameters of parameterized LLVM code.
It is better than using plain functions of type p -> a
since it allows for numeric instances
and we can make explicit,
whether a parameter is constant.
We recommend to use parameters for atomic types.
Although a parameter of type T p (a,b)
is possible,
it means that the whole parameter is variable
if only one of the pair elements is variable.
This way you may miss opportunities for constant folding.
Arrow T |
|
Category T |
|
Monad (T p) | |
Functor (T p) | Useful for splitting |
Applicative (T p) | Useful for combining |
Floating a => Floating (T p a) | |
Fractional a => Fractional (T p a) | |
Num a => Num (T p a) | |
Tuple (T p a) | |
C a => C (T p a) | |
C a => C (T p a) | |
C a => C (T p a) | |
C a => C (T p a) | |
C a => C (T p a) |