Synthesizer.LLVM.Interpolation

Synopsis

• class (Applicative nodes, Traversable nodes) => C nodes where
  • margin :: Margin (nodes a)
• loadNodes :: C nodes => (Value (Ptr am) -> CodeGenFunction r a) -> Value Word32 -> Value (Ptr am) -> CodeGenFunction r (nodes a)
• indexNodes :: C nodes => (Value Word32 -> CodeGenFunction r v) -> Value Word32 -> Value Word32 -> CodeGenFunction r (nodes v)
• data Margin nodes = Margin {
  • marginNumber, marginOffset :: Int
  }
• 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 = Nodes02 {
  • nodes02_0, nodes02_1 :: a
  }
• 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 = Nodes13 {
  • nodes13_0, nodes13_1, nodes13_2, nodes13_3 :: a
  }
• 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

Documentation