| Safe Haskell | None |
|---|
LLVM.Extra.Class
Contents
- class Undefined a where
- undefTuple :: a
- class Zero a where
- zeroTuple :: a
- zeroTuplePointed :: (Zero a, Applicative f) => f a
- class Undefined (ValueTuple haskellValue) => MakeValueTuple haskellValue where
- type ValueTuple haskellValue :: *
- valueTupleOf :: haskellValue -> ValueTuple haskellValue
- undefTuplePointed :: (Undefined a, Applicative f) => f a
- valueTupleOfFunctor :: (MakeValueTuple h, Functor f) => f h -> f (ValueTuple h)
- 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
Methods
undefTuple :: aSource
Instances
| Undefined () | |
| IsFirstClass a => Undefined (Value a) | |
| IsFirstClass a => Undefined (ConstValue a) | |
| Undefined a => Undefined (T a) | |
| C a => Undefined (T a) | |
| Undefined a => Undefined (T a) | |
| (Undefined a, Undefined b) => Undefined (a, b) | |
| (Undefined a, Undefined b) => Undefined (T a b) | |
| Undefined a => Undefined (Constant n a) | |
| (Positive n, C a) => Undefined (T n a) | |
| (Undefined a, Undefined b, Undefined c) => Undefined (a, b, c) |
class for tuples of zero values
zeroTuplePointed :: (Zero a, Applicative f) => f aSource
class for creating tuples of constant values
class Undefined (ValueTuple haskellValue) => MakeValueTuple haskellValue whereSource
Associated Types
type ValueTuple haskellValue :: *Source
Methods
valueTupleOf :: haskellValue -> ValueTuple haskellValueSource
Instances
| MakeValueTuple Bool | |
| MakeValueTuple Double | |
| MakeValueTuple Float | |
| MakeValueTuple Int8 | |
| MakeValueTuple Int16 | |
| MakeValueTuple Int32 | |
| MakeValueTuple Int64 | |
| MakeValueTuple Word8 | |
| MakeValueTuple Word16 | |
| MakeValueTuple Word32 | |
| MakeValueTuple Word64 | |
| MakeValueTuple () | |
| MakeValueTuple (StablePtr a) | |
| IsType a => MakeValueTuple (Ptr a) | |
| IsFunction a => MakeValueTuple (FunPtr a) | |
| MakeValueTuple a => MakeValueTuple (Maybe a) | |
| (MakeValueTuple a, MakeValueTuple b) => MakeValueTuple (Either a b) | |
| (MakeValueTuple ah, MakeValueTuple bh) => MakeValueTuple (ah, bh) | |
| (Positive n, IsPrimitive a, IsConst a) => MakeValueTuple (Vector n a) | |
| (MakeValueTuple ah, MakeValueTuple bh, MakeValueTuple ch) => MakeValueTuple (ah, bh, ch) |
default methods for LLVM classes
undefTuplePointed :: (Undefined a, Applicative f) => f aSource
valueTupleOfFunctor :: (MakeValueTuple h, Functor f) => f h -> f (ValueTuple h)Source
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