LLVM.Extra.Tuple

Documentation

class Phi a where

Methods

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

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

Instances

Phi ()

Phi a => Phi (Complex a)

IsFirstClass a => Phi (Value a)

Phi a => Phi (T a)

Phi a => Phi (T a)

C a => Phi (T a)

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

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

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

Phi a => Phi (Constant n a)

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

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

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

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

Undefined a => Undefined (Complex a)

IsFirstClass a => Undefined (ConstValue a)

IsFirstClass a => Undefined (Value a)

Undefined a => Undefined (T a)

Undefined a => Undefined (T a)

C a => Undefined (T a)

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

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

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

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

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

class Zero a where

Methods

zero :: a

Instances

Zero ()

Zero a => Zero (Complex a)

IsFirstClass a => Zero (ConstValue a)

IsFirstClass a => Zero (Value a)

Zero a => Zero (T a)

C a => Zero (T a)

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

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

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

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

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

(Zero a, Zero b, Zero c, Zero d) => 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

Value Double

Value Float

Value Int

Value Int8

Value Int16

Value Int32

Value Int64

Value Word

Value Word8

Value Word16

Value Word32

Value Word64

Value ()

Value Bool8

Value (StablePtr a)

Value (Ptr a)

IsFunction a => Value (FunPtr a)

Value a => Value (Complex a)

Value a => Value (Maybe a)

Positive n => Value (IntN n)

IsType a => Value (Ptr a)

Positive n => Value (WordN n)

Value tuple => Value (Tuple tuple)

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

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

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

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

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

Value a => Value (Tagged tag a)

Value a => Value (Number flags a)

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

(Value a, Value b, Value c, Value d) => Value (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

Positive n => VectorValue n Word32

Positive n => VectorValue n Word16

Positive n => VectorValue n Word8

Positive n => VectorValue n Word

Positive n => VectorValue n Int64

Positive n => VectorValue n Int32

Positive n => VectorValue n Int16

Positive n => VectorValue n Int8

Positive n => VectorValue n Int

Positive n => VectorValue n Bool8

Positive n => VectorValue n Bool

Positive n => VectorValue n Double

Positive n => VectorValue n Float

VectorValue n tuple => VectorValue n (Tuple tuple)

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

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

VectorValue n a => VectorValue n (Number flags a)

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