LLVM.Extra.Class

class for tuples of zero values

class Zero a where

Methods

zeroTuple :: a

Instances

Zero ()

IsFirstClass a => Zero (Value a)

(Zero a, Zero b) => Zero (a, b)

(Zero a, Zero b, Zero c) => Zero (a, b, c)

zeroTuplePointed :: (Zero a, Applicative f) => f a

default methods for LLVM classes

buildTupleTraversable :: (Monad m, Traversable f, Applicative f) => m a -> m (f a)

undefTuplePointed :: (Undefined a, Applicative f) => f a

valueTupleOfFunctor :: (MakeValueTuple h l, Functor f) => f h -> f l

tupleDescFoldable :: (IsTuple a, Foldable f) => f a -> [TypeDesc]

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 ()