Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
phi :: BasicBlock -> a -> CodeGenFunction r a Source #
addPhi :: BasicBlock -> a -> a -> CodeGenFunction r () Source #
Instances
Phi () Source # | |
Phi a => Phi (Complex a) Source # | |
IsFirstClass a => Phi (Value a) Source # | |
Phi a => Phi (T a) Source # | |
Phi struct => Phi (T struct) Source # | |
Phi a => Phi (T a) Source # | |
C a => Phi (T a) Source # | |
(Phi a, Phi b) => Phi (a, b) Source # | |
(Natural n, Phi a) => Phi (T n a) Source # | |
(Phi a, Phi b) => Phi (T a b) Source # | |
Phi a => Phi (Constant n a) Source # | |
(Positive n, C a) => Phi (T n a) Source # | |
(Phi a, Phi b, Phi c) => Phi (a, b, c) Source # | |
(Phi a, Phi b, Phi c, Phi d) => Phi (a, b, c, d) Source # | |
phiTraversable :: (Phi a, Traversable f) => BasicBlock -> f a -> CodeGenFunction r (f a) Source #
addPhiFoldable :: (Phi a, Foldable f, Applicative f) => BasicBlock -> f a -> f a -> CodeGenFunction r () Source #
class Undefined a where Source #
Instances
undefPointed :: (Undefined a, Applicative f) => f a Source #
Instances
Zero () Source # | |
Defined in LLVM.Extra.TuplePrivate | |
Zero a => Zero (Complex a) Source # | |
Defined in LLVM.Extra.TuplePrivate | |
IsFirstClass a => Zero (ConstValue a) Source # | |
Defined in LLVM.Extra.TuplePrivate | |
IsFirstClass a => Zero (Value a) Source # | |
Defined in LLVM.Extra.TuplePrivate | |
Zero struct => Zero (T struct) Source # | |
Defined in LLVM.Extra.Struct | |
Zero a => Zero (T a) Source # | |
Defined in LLVM.Extra.Scalar | |
C a => Zero (T a) Source # | |
Defined in LLVM.Extra.Multi.Value.Private | |
(Zero a, Zero b) => Zero (a, b) Source # | |
Defined in LLVM.Extra.TuplePrivate | |
(Natural n, Zero a) => Zero (T n a) Source # | |
Defined in LLVM.Extra.TuplePrivate | |
(Positive n, C a) => Zero (T n a) Source # | |
Defined in LLVM.Extra.Multi.Vector | |
(Flags flags, Zero a, Tuple a) => Zero (Context flags a) Source # | |
Defined in LLVM.Extra.FastMath | |
(Zero a, Zero b, Zero c) => Zero (a, b, c) Source # | |
Defined in LLVM.Extra.TuplePrivate | |
(Zero a, Zero b, Zero c, Zero d) => Zero (a, b, c, d) Source # | |
Defined in LLVM.Extra.TuplePrivate |
zeroPointed :: (Zero a, Applicative f) => f a Source #
class Undefined (ValueOf a) => Value a where Source #
Instances
class (Positive n, Undefined (VectorValueOf n a)) => VectorValue n a where Source #
type VectorValueOf n a Source #
vectorValueOf :: Vector n a -> VectorValueOf n a Source #