Synthesizer.LLVM.Interpolation

Documentation

class (Applicative nodes, Traversable nodes) => C nodes where

Methods

margin :: Margin (nodes a)

Instances

C Nodes13

C Nodes02

loadNodes :: (C nodes, C am) => (Value (Ptr am) -> CodeGenFunction r a) -> Value Int -> Value (Ptr am) -> CodeGenFunction r (nodes a)

indexNodes :: C nodes => (Value Word -> CodeGenFunction r v) -> Value Word -> Value Word -> CodeGenFunction r (nodes v)

data Margin nodes

Constructors

Margin

Fields

marginNumber :: Int

marginOffset :: Int

Instances

Eq (Margin nodes)

Show (Margin nodes)

toMargin :: C nodes => (forall r. T r nodes a v) -> Margin (nodes v)

type T r nodes a v = a -> nodes v -> CodeGenFunction r v

data Nodes02 a

Zero nodes before index 0 and two nodes starting from index 0.

Constructors

Nodes02

Fields

nodes02_0 :: a

nodes02_1 :: a

Instances

Functor Nodes02

Applicative Nodes02

Foldable Nodes02

Traversable Nodes02

C Nodes02

C l => C (Nodes02 l)

Phi a => Phi (Nodes02 a)

Undefined a => Undefined (Nodes02 a)

Sized value => Sized (Nodes02 value)

C v => C (Nodes02 v)

Read v => Read (Nodes02 v)

linear :: (PseudoRing a, IntegerConstant a) => T r Nodes02 a a

linearVector :: (PseudoModule v, Scalar v ~ a, IntegerConstant a) => T r Nodes02 a v

data Nodes13 a

One node before index 0 and three nodes starting from index 0.

Constructors

Nodes13

Fields

nodes13_0 :: a

nodes13_1 :: a

nodes13_2 :: a

nodes13_3 :: a

Instances

Functor Nodes13

Applicative Nodes13

Foldable Nodes13

Traversable Nodes13

C Nodes13

C l => C (Nodes13 l)

Phi a => Phi (Nodes13 a)

Undefined a => Undefined (Nodes13 a)

Sized value => Sized (Nodes13 value)

C v => C (Nodes13 v)

Read v => Read (Nodes13 v)

cubic :: (Field a, RationalConstant a) => T r Nodes13 a a

cubicVector :: (PseudoModule v, Scalar v ~ a, Field a, RationalConstant a) => T r Nodes13 a v