LLVM.Extra.Arithmetic

Contents

• arithmetic: generalized and improved type inference
• pointer arithmetic
• transcendental functions

Synopsis

• class Zero a => Additive a where
  • zero :: a
  • add :: a -> a -> CodeGenFunction r a
  • sub :: a -> a -> CodeGenFunction r a
  • neg :: a -> CodeGenFunction r a
• one :: IntegerConstant a => a
• inc :: (IsArithmetic a, IsConst a, Num a) => Value a -> CodeGenFunction r (Value a)
• dec :: (IsArithmetic a, IsConst a, Num a) => Value a -> CodeGenFunction r (Value a)
• class Additive a => PseudoRing a where
  • mul :: a -> a -> CodeGenFunction r a
• square :: PseudoRing a => a -> CodeGenFunction r a
• type family Scalar vector :: *
• class (PseudoRing (Scalar v), Additive v) => PseudoModule v where
  • scale :: Scalar v -> v -> CodeGenFunction r v
• class PseudoRing a => Field a where
  • fdiv :: a -> a -> CodeGenFunction r a
• class IntegerConstant a where
  • fromInteger' :: Integer -> a
• class IntegerConstant a => RationalConstant a where
  • fromRational' :: Rational -> a
• idiv :: IsInteger a => Value a -> Value a -> CodeGenFunction r (Value a)
• irem :: IsInteger a => Value a -> Value a -> CodeGenFunction r (Value a)
• class Comparison a => FloatingComparison a where
  • fcmp :: FPPredicate -> a -> a -> CodeGenFunction r (CmpResult a)
• class Comparison a where
  • type CmpResult a :: *
  • cmp :: CmpPredicate -> a -> a -> CodeGenFunction r (CmpResult a)
• data CmpPredicate
  • = CmpEQ
  • | CmpNE
  • | CmpGT
  • | CmpGE
  • | CmpLT
  • | CmpLE
• class Logic a where
  • and :: a -> a -> CodeGenFunction r a
  • or :: a -> a -> CodeGenFunction r a
  • xor :: a -> a -> CodeGenFunction r a
  • inv :: a -> CodeGenFunction r a
• class Additive a => Real a where
  • min :: a -> a -> CodeGenFunction r a
  • max :: a -> a -> CodeGenFunction r a
  • abs :: a -> CodeGenFunction r a
  • signum :: a -> CodeGenFunction r a
• class Real a => Fraction a where
  • truncate :: a -> CodeGenFunction r a
  • fraction :: a -> CodeGenFunction r a
• signedFraction :: Fraction a => a -> CodeGenFunction r a
• addToPhase :: Fraction a => a -> a -> CodeGenFunction r a
• incPhase :: Fraction a => a -> a -> CodeGenFunction r a
• advanceArrayElementPtr :: Value (Ptr a) -> CodeGenFunction r (Value (Ptr a))
• decreaseArrayElementPtr :: Value (Ptr a) -> CodeGenFunction r (Value (Ptr a))
• class Field a => Algebraic a where
  • sqrt :: a -> CodeGenFunction r a
• class Algebraic a => Transcendental a where
  • pi :: CodeGenFunction r a
  • sin, log, exp, cos :: a -> CodeGenFunction r a
  • pow :: a -> a -> CodeGenFunction r a

arithmetic: generalized and improved type inference

 newtype Fixed = Fixed Int32

pointer arithmetic

transcendental functions