Safe Haskell | None |
---|
- 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
undefTuple :: aSource
class for tuples of zero values
Zero () | |
IsFirstClass a => Zero (Value a) | |
IsFirstClass a => Zero (ConstValue a) | |
(Zero a, Zero b) => Zero (a, b) | |
(Zero a, Zero b, Zero c) => Zero (a, b, c) |
zeroTuplePointed :: (Zero a, Applicative f) => f aSource
class for creating tuples of constant values
class Undefined (ValueTuple haskellValue) => MakeValueTuple haskellValue whereSource
type ValueTuple haskellValue :: *Source
valueTupleOf :: haskellValue -> ValueTuple haskellValueSource
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) | |
(MakeValueTuple ah, MakeValueTuple bh) => MakeValueTuple (ah, bh) | |
(PositiveT 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