LLVM.Extra.Scalar

Documentation

newtype T a

The entire purpose of this datatype is to mark a type as scalar, although it might also be interpreted as vector. This way you can write generic operations for vectors using the PseudoModule class, and specialise them to scalar types with respect to the PseudoRing class. From another perspective you can consider the T type constructor a marker where the Scalar type function stops reducing nested vector types to scalar types.

Constructors

Cons

Fields

• decons :: a

Instances

Zero a => Zero (T a)

Defined in LLVM.Extra.Scalar

Methods

zero :: T a

Undefined a => Undefined (T a)

Defined in LLVM.Extra.Scalar

Methods

undef :: T a

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

Transcendental a => Transcendental (T a)

Defined in LLVM.Extra.Scalar

Methods

pi :: CodeGenFunction r (T a)

sin :: T a -> CodeGenFunction r (T a)

cos :: T a -> CodeGenFunction r (T a)

exp :: T a -> CodeGenFunction r (T a)

log :: T a -> CodeGenFunction r (T a)

pow :: T a -> T a -> CodeGenFunction r (T a)

Algebraic a => Algebraic (T a)

Defined in LLVM.Extra.Scalar

Methods

sqrt :: T a -> CodeGenFunction r (T a)

Fraction a => Fraction (T a)

Defined in LLVM.Extra.Scalar

Methods

truncate :: T a -> CodeGenFunction r (T a)

fraction :: T a -> CodeGenFunction r (T a)

Real a => Real (T a)

Defined in LLVM.Extra.Scalar

Methods

min :: T a -> T a -> CodeGenFunction r (T a)

max :: T a -> T a -> CodeGenFunction r (T a)

abs :: T a -> CodeGenFunction r (T a)

signum :: T a -> CodeGenFunction r (T a)

RationalConstant a => RationalConstant (T a)

Defined in LLVM.Extra.Scalar

Methods

fromRational' :: Rational -> T a

Field a => Field (T a)

Defined in LLVM.Extra.Scalar

Methods

fdiv :: T a -> T a -> CodeGenFunction r (T a)

IntegerConstant a => IntegerConstant (T a)

Defined in LLVM.Extra.Scalar

Methods

fromInteger' :: Integer -> T a

PseudoRing a => PseudoModule (T a)

Defined in LLVM.Extra.Scalar

Methods

scale :: Scalar (T a) -> T a -> CodeGenFunction r (T a)

PseudoRing a => PseudoRing (T a)

Defined in LLVM.Extra.Scalar

Methods

mul :: T a -> T a -> CodeGenFunction r (T a)

Additive a => Additive (T a)

Defined in LLVM.Extra.Scalar

Methods

zero :: T a

add :: T a -> T a -> CodeGenFunction r (T a)

sub :: T a -> T a -> CodeGenFunction r (T a)

neg :: T a -> CodeGenFunction r (T a)

C a => C (T a)

Defined in LLVM.Extra.Memory

Associated Types

type Struct (T a) :: Type

Methods

load :: Value (Ptr (Struct (T a))) -> CodeGenFunction r (T a)

store :: T a -> Value (Ptr (Struct (T a))) -> CodeGenFunction r ()

decompose :: Value (Struct (T a)) -> CodeGenFunction r (T a)

compose :: T a -> CodeGenFunction r (Value (Struct (T a)))

type Scalar (T a)

Defined in LLVM.Extra.Scalar

type Scalar (T a) = T a

type Struct (T a)

Defined in LLVM.Extra.Memory

type Struct (T a) = Struct a

liftM :: Monad m => (a -> m b) -> T a -> m (T b)

liftM2 :: Monad m => (a -> b -> m c) -> T a -> T b -> m (T c)

unliftM :: Monad m => (T a -> m (T r)) -> a -> m r

unliftM2 :: Monad m => (T a -> T b -> m (T r)) -> a -> b -> m r

unliftM3 :: Monad m => (T a -> T b -> T c -> m (T r)) -> a -> b -> c -> m r

unliftM4 :: Monad m => (T a -> T b -> T c -> T d -> m (T r)) -> a -> b -> c -> d -> m r

unliftM5 :: Monad m => (T a -> T b -> T c -> T d -> T e -> m (T r)) -> a -> b -> c -> d -> e -> m r