LLVM.Extra.Class

class for tuples of undefined values

class Undefined a where

Methods

undefTuple :: a

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

class Zero a where

Methods

zeroTuple :: a

Instances

Zero ()

IsFirstClass a => Zero (Value a)

IsFirstClass a => Zero (ConstValue a)

C a => Zero (T a)

Zero a => Zero (T a)

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

(Positive n, C a) => Zero (T n a)

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

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

class for creating tuples of constant values

class Undefined (ValueTuple haskellValue) => MakeValueTuple haskellValue where

Associated Types

type ValueTuple haskellValue :: *

Methods

valueTupleOf :: haskellValue -> ValueTuple haskellValue

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