LLVM.Extra.Tuple

Documentation

class Phi a where

Methods

phi :: BasicBlock -> a -> CodeGenFunction r a

addPhi :: BasicBlock -> a -> a -> CodeGenFunction r ()

Instances

Phi ()

Defined in LLVM.Extra.TuplePrivate

Methods

phi :: BasicBlock -> () -> CodeGenFunction r ()

addPhi :: BasicBlock -> () -> () -> CodeGenFunction r ()

Phi a => Phi (Complex a)

Defined in LLVM.Extra.TuplePrivate

Methods

phi :: BasicBlock -> Complex a -> CodeGenFunction r (Complex a)

addPhi :: BasicBlock -> Complex a -> Complex a -> CodeGenFunction r ()

IsFirstClass a => Phi (Value a)

Defined in LLVM.Extra.TuplePrivate

Methods

phi :: BasicBlock -> Value a -> CodeGenFunction r (Value a)

addPhi :: BasicBlock -> Value a -> Value a -> CodeGenFunction r ()

Phi a => Phi (T a)

Defined in LLVM.Extra.MaybePrivate

Methods

phi :: BasicBlock -> T a -> CodeGenFunction r (T a)

addPhi :: BasicBlock -> T a -> T a -> CodeGenFunction r ()

Phi struct => Phi (T struct)

Defined in LLVM.Extra.Struct

Methods

phi :: BasicBlock -> T struct -> CodeGenFunction r (T struct)

addPhi :: BasicBlock -> T struct -> T struct -> CodeGenFunction r ()

Phi a => Phi (T a)

Defined in LLVM.Extra.Scalar

Methods

phi :: BasicBlock -> T a -> CodeGenFunction r (T a)

addPhi :: BasicBlock -> T a -> T a -> CodeGenFunction r ()

C a => Phi (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

phi :: BasicBlock -> T a -> CodeGenFunction r (T a)

addPhi :: BasicBlock -> T a -> T a -> CodeGenFunction r ()

(Phi a, Phi b) => Phi (a, b)

Defined in LLVM.Extra.TuplePrivate

Methods

phi :: BasicBlock -> (a, b) -> CodeGenFunction r (a, b)

addPhi :: BasicBlock -> (a, b) -> (a, b) -> CodeGenFunction r ()

(Natural n, Phi a) => Phi (T n a)

Defined in LLVM.Extra.TuplePrivate

Methods

phi :: BasicBlock -> T n a -> CodeGenFunction r (T n a)

addPhi :: BasicBlock -> T n a -> T n a -> CodeGenFunction r ()

(Phi a, Phi b) => Phi (T a b)

Defined in LLVM.Extra.EitherPrivate

Methods

phi :: BasicBlock -> T a b -> CodeGenFunction r (T a b)

addPhi :: BasicBlock -> T a b -> T a b -> CodeGenFunction r ()

Phi a => Phi (Constant n a)

Defined in LLVM.Extra.Vector

Methods

phi :: BasicBlock -> Constant n a -> CodeGenFunction r (Constant n a)

addPhi :: BasicBlock -> Constant n a -> Constant n a -> CodeGenFunction r ()

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

Defined in LLVM.Extra.Multi.Vector

Methods

phi :: BasicBlock -> T n a -> CodeGenFunction r (T n a)

addPhi :: BasicBlock -> T n a -> T n a -> CodeGenFunction r ()

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

Defined in LLVM.Extra.TuplePrivate

Methods

phi :: BasicBlock -> (a, b, c) -> CodeGenFunction r (a, b, c)

addPhi :: BasicBlock -> (a, b, c) -> (a, b, c) -> CodeGenFunction r ()

(Phi a, Phi b, Phi c, Phi d) => Phi (a, b, c, d)

Defined in LLVM.Extra.TuplePrivate

Methods

phi :: BasicBlock -> (a, b, c, d) -> CodeGenFunction r (a, b, c, d)

addPhi :: BasicBlock -> (a, b, c, d) -> (a, b, c, d) -> CodeGenFunction r ()

phiTraversable :: (Phi a, Traversable f) => BasicBlock -> f a -> CodeGenFunction r (f a)

addPhiFoldable :: (Phi a, Foldable f, Applicative f) => BasicBlock -> f a -> f a -> CodeGenFunction r ()

class Undefined a where

Methods

undef :: a

Instances

Undefined ()

Defined in LLVM.Extra.TuplePrivate

Methods

undef :: ()

Undefined a => Undefined (Complex a)

Defined in LLVM.Extra.TuplePrivate

Methods

undef :: Complex a

IsFirstClass a => Undefined (ConstValue a)

Defined in LLVM.Extra.TuplePrivate

Methods

undef :: ConstValue a

IsFirstClass a => Undefined (Value a)

Defined in LLVM.Extra.TuplePrivate

Methods

undef :: Value a

Undefined a => Undefined (T a)

Defined in LLVM.Extra.MaybePrivate

Methods

undef :: T a

Undefined struct => Undefined (T struct)

Defined in LLVM.Extra.Struct

Methods

undef :: T struct

Undefined a => Undefined (T a)

Defined in LLVM.Extra.Scalar

Methods

undef :: T a

C a => Undefined (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

undef :: T a

(Undefined a, Undefined b) => Undefined (a, b)

Defined in LLVM.Extra.TuplePrivate

Methods

undef :: (a, b)

(Natural n, Undefined a) => Undefined (T n a)

Defined in LLVM.Extra.TuplePrivate

Methods

undef :: T n a

(Undefined a, Undefined b) => Undefined (T a b)

Defined in LLVM.Extra.EitherPrivate

Methods

undef :: T a b

Undefined a => Undefined (Constant n a)

Defined in LLVM.Extra.Vector

Methods

undef :: Constant n a

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

Defined in LLVM.Extra.Multi.Vector

Methods

undef :: T n a

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

Defined in LLVM.Extra.TuplePrivate

Methods

undef :: (a, b, c)

(Undefined a, Undefined b, Undefined c, Undefined d) => Undefined (a, b, c, d)

Defined in LLVM.Extra.TuplePrivate

Methods

undef :: (a, b, c, d)

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

class Zero a where

Methods

zero :: a

Instances

Zero ()

Defined in LLVM.Extra.TuplePrivate

Methods

zero :: ()

Zero a => Zero (Complex a)

Defined in LLVM.Extra.TuplePrivate

Methods

zero :: Complex a

IsFirstClass a => Zero (ConstValue a)

Defined in LLVM.Extra.TuplePrivate

Methods

zero :: ConstValue a

IsFirstClass a => Zero (Value a)

Defined in LLVM.Extra.TuplePrivate

Methods

zero :: Value a

Zero struct => Zero (T struct)

Defined in LLVM.Extra.Struct

Methods

zero :: T struct

Zero a => Zero (T a)

Defined in LLVM.Extra.Scalar

Methods

zero :: T a

C a => Zero (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

zero :: T a

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

Defined in LLVM.Extra.TuplePrivate

Methods

zero :: (a, b)

(Natural n, Zero a) => Zero (T n a)

Defined in LLVM.Extra.TuplePrivate

Methods

zero :: T n a

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

Defined in LLVM.Extra.Multi.Vector

Methods

zero :: T n a

(Flags flags, Zero a, Tuple a) => Zero (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

zero :: Context flags a

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

Defined in LLVM.Extra.TuplePrivate

Methods

zero :: (a, b, c)

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

Defined in LLVM.Extra.TuplePrivate

Methods

zero :: (a, b, c, d)

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

class Undefined (ValueOf a) => Value a where

Associated Types

type ValueOf a

Methods

valueOf :: a -> ValueOf a

Instances

Value Bool

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Bool :: Type

Methods

valueOf :: Bool -> ValueOf Bool

Value Double

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Double :: Type

Methods

valueOf :: Double -> ValueOf Double

Value Float

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Float :: Type

Methods

valueOf :: Float -> ValueOf Float

Value Int

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Int :: Type

Methods

valueOf :: Int -> ValueOf Int

Value Int8

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Int8 :: Type

Methods

valueOf :: Int8 -> ValueOf Int8

Value Int16

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Int16 :: Type

Methods

valueOf :: Int16 -> ValueOf Int16

Value Int32

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Int32 :: Type

Methods

valueOf :: Int32 -> ValueOf Int32

Value Int64

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Int64 :: Type

Methods

valueOf :: Int64 -> ValueOf Int64

Value Word

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Word :: Type

Methods

valueOf :: Word -> ValueOf Word

Value Word8

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Word8 :: Type

Methods

valueOf :: Word8 -> ValueOf Word8

Value Word16

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Word16 :: Type

Methods

valueOf :: Word16 -> ValueOf Word16

Value Word32

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Word32 :: Type

Methods

valueOf :: Word32 -> ValueOf Word32

Value Word64

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Word64 :: Type

Methods

valueOf :: Word64 -> ValueOf Word64

Value ()

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf () :: Type

Methods

valueOf :: () -> ValueOf ()

Value Bool8

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf Bool8 :: Type

Methods

valueOf :: Bool8 -> ValueOf Bool8

Value a => Value (Maybe a)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (Maybe a) :: Type

Methods

valueOf :: Maybe a -> ValueOf (Maybe a)

Value (StablePtr a)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (StablePtr a) :: Type

Methods

valueOf :: StablePtr a -> ValueOf (StablePtr a)

Value (Ptr a)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (Ptr a) :: Type

Methods

valueOf :: Ptr a -> ValueOf (Ptr a)

IsFunction a => Value (FunPtr a)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (FunPtr a) :: Type

Methods

valueOf :: FunPtr a -> ValueOf (FunPtr a)

Value a => Value (Complex a)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (Complex a) :: Type

Methods

valueOf :: Complex a -> ValueOf (Complex a)

Value tuple => Value (Tuple tuple)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (Tuple tuple) :: Type

Methods

valueOf :: Tuple tuple -> ValueOf (Tuple tuple)

Positive n => Value (IntN n)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (IntN n) :: Type

Methods

valueOf :: IntN n -> ValueOf (IntN n)

IsType a => Value (Ptr a)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (Ptr a) :: Type

Methods

valueOf :: Ptr a -> ValueOf (Ptr a)

Positive n => Value (WordN n)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (WordN n) :: Type

Methods

valueOf :: WordN n -> ValueOf (WordN n)

Value struct => Value (T struct)

Defined in LLVM.Extra.Struct

Associated Types

type ValueOf (T struct) :: Type

Methods

valueOf :: T struct -> ValueOf (T struct)

(Value a, Value b) => Value (Either a b)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (Either a b) :: Type

Methods

valueOf :: Either a b -> ValueOf (Either a b)

(Value a, Value b) => Value (a, b)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (a, b) :: Type

Methods

valueOf :: (a, b) -> ValueOf (a, b)

(IsInteger w, IsConst w) => Value (T w i)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (T w i) :: Type

Methods

valueOf :: T w i -> ValueOf (T w i)

(IsInteger w, IsConst w, Num w, Enum e) => Value (T w e)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (T w e) :: Type

Methods

valueOf :: T w e -> ValueOf (T w e)

(Positive n, VectorValue n a, Undefined (VectorValueOf n a)) => Value (Vector n a)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (Vector n a) :: Type

Methods

valueOf :: Vector n a -> ValueOf (Vector n a)

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

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (a, b, c) :: Type

Methods

valueOf :: (a, b, c) -> ValueOf (a, b, c)

Value a => Value (Tagged tag a)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (Tagged tag a) :: Type

Methods

valueOf :: Tagged tag a -> ValueOf (Tagged tag a)

(Value a, Value b, Value c, Value d) => Value (a, b, c, d)

Defined in LLVM.Extra.Tuple

Associated Types

type ValueOf (a, b, c, d) :: Type

Methods

valueOf :: (a, b, c, d) -> ValueOf (a, b, c, d)

valueOfFunctor :: (Value h, Functor f) => f h -> f (ValueOf h)

class (Positive n, Undefined (VectorValueOf n a)) => VectorValue n a where

Associated Types

type VectorValueOf n a

Methods

vectorValueOf :: Vector n a -> VectorValueOf n a

Instances

Positive n => VectorValue n Word64

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Word64 :: Type

Methods

vectorValueOf :: Vector n Word64 -> VectorValueOf n Word64

Positive n => VectorValue n Word32

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Word32 :: Type

Methods

vectorValueOf :: Vector n Word32 -> VectorValueOf n Word32

Positive n => VectorValue n Word16

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Word16 :: Type

Methods

vectorValueOf :: Vector n Word16 -> VectorValueOf n Word16

Positive n => VectorValue n Word8

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Word8 :: Type

Methods

vectorValueOf :: Vector n Word8 -> VectorValueOf n Word8

Positive n => VectorValue n Word

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Word :: Type

Methods

vectorValueOf :: Vector n Word -> VectorValueOf n Word

Positive n => VectorValue n Int64

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Int64 :: Type

Methods

vectorValueOf :: Vector n Int64 -> VectorValueOf n Int64

Positive n => VectorValue n Int32

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Int32 :: Type

Methods

vectorValueOf :: Vector n Int32 -> VectorValueOf n Int32

Positive n => VectorValue n Int16

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Int16 :: Type

Methods

vectorValueOf :: Vector n Int16 -> VectorValueOf n Int16

Positive n => VectorValue n Int8

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Int8 :: Type

Methods

vectorValueOf :: Vector n Int8 -> VectorValueOf n Int8

Positive n => VectorValue n Int

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Int :: Type

Methods

vectorValueOf :: Vector n Int -> VectorValueOf n Int

Positive n => VectorValue n Bool8

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Bool8 :: Type

Methods

vectorValueOf :: Vector n Bool8 -> VectorValueOf n Bool8

Positive n => VectorValue n Bool

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Bool :: Type

Methods

vectorValueOf :: Vector n Bool -> VectorValueOf n Bool

Positive n => VectorValue n Double

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Double :: Type

Methods

vectorValueOf :: Vector n Double -> VectorValueOf n Double

Positive n => VectorValue n Float

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n Float :: Type

Methods

vectorValueOf :: Vector n Float -> VectorValueOf n Float

VectorValue n tuple => VectorValue n (Tuple tuple)

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n (Tuple tuple) :: Type

Methods

vectorValueOf :: Vector n (Tuple tuple) -> VectorValueOf n (Tuple tuple)

(VectorValue n a, VectorValue n b) => VectorValue n (a, b)

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n (a, b) :: Type

Methods

vectorValueOf :: Vector n (a, b) -> VectorValueOf n (a, b)

(Positive n, Positive m, Positive (n :*: m), Undefined (Vector (n :*: m) a)) => VectorValue n (Vector m a)

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n (Vector m a) :: Type

Methods

vectorValueOf :: Vector n (Vector m a) -> VectorValueOf n (Vector m a)

(VectorValue n a, VectorValue n b, VectorValue n c) => VectorValue n (a, b, c)

Defined in LLVM.Extra.Tuple

Associated Types

type VectorValueOf n (a, b, c) :: Type

Methods

vectorValueOf :: Vector n (a, b, c) -> VectorValueOf n (a, b, c)