- class Undefined a where
- undefTuple :: a
- class Zero a where
- zeroTuple :: a
- zeroTuplePointed :: (Zero a, Applicative f) => f a
- class Undefined llvmValue => MakeValueTuple haskellValue llvmValue | haskellValue -> llvmValue where
- valueTupleOf :: haskellValue -> llvmValue
- undefTuplePointed :: (Undefined a, Applicative f) => f a
- valueTupleOfFunctor :: (MakeValueTuple h l, Functor f) => f h -> f l
- phisTraversable :: (Phi a, Traversable f) => BasicBlock -> f a -> CodeGenFunction r (f a)
- addPhisFoldable :: (Phi a, Foldable f, Applicative f) => BasicBlock -> f a -> f a -> CodeGenFunction r ()
class for tuples of undefined values
undefTuple :: aSource
class for tuples of zero values
zeroTuplePointed :: (Zero a, Applicative f) => f aSource
class for creating tuples of constant values
class Undefined llvmValue => MakeValueTuple haskellValue llvmValue | haskellValue -> llvmValue whereSource
valueTupleOf :: haskellValue -> llvmValueSource
MakeValueTuple () () | |
MakeValueTuple Bool (Value Bool) | |
MakeValueTuple Double (Value Double) | |
MakeValueTuple Float (Value Float) | |
MakeValueTuple Int8 (Value Int8) | |
MakeValueTuple Int16 (Value Int16) | |
MakeValueTuple Int32 (Value Int32) | |
MakeValueTuple Int64 (Value Int64) | |
MakeValueTuple Word8 (Value Word8) | |
MakeValueTuple Word16 (Value Word16) | |
MakeValueTuple Word32 (Value Word32) | |
MakeValueTuple Word64 (Value Word64) | |
MakeValueTuple (StablePtr a) (Value (StablePtr a)) | |
IsType a => MakeValueTuple (Ptr a) (Value (Ptr a)) | |
(Pos n, IsPrimitive a, IsConst a) => MakeValueTuple (Vector n a) (Value (Vector n a)) | |
(MakeValueTuple ah al, MakeValueTuple bh bl) => MakeValueTuple (ah, bh) (al, bl) | |
(MakeValueTuple ah al, MakeValueTuple bh bl, MakeValueTuple ch cl) => MakeValueTuple (ah, bh, ch) (al, bl, cl) |
default methods for LLVM classes
undefTuplePointed :: (Undefined a, Applicative f) => f aSource
valueTupleOfFunctor :: (MakeValueTuple h l, Functor f) => f h -> f lSource
phisTraversable :: (Phi a, Traversable f) => BasicBlock -> f a -> CodeGenFunction r (f a)Source
addPhisFoldable :: (Phi a, Foldable f, Applicative f) => BasicBlock -> f a -> f a -> CodeGenFunction r ()Source