Documentation

data T a b Source

premap :: (forall r. a -> CodeGenFunction r b) -> T b c -> T a cSource

maxZero :: Real a => T a aSource

maxAbs :: Real a => T a aSource

sum :: Additive a => T a aSource

sumSquare :: PseudoRing a => T a aSource

pair :: T a0 b0 -> T a1 b1 -> T (a0, a1) (b0, b1)Source

triple :: T a0 b0 -> T a1 b1 -> T a2 b2 -> T (a0, a1, a2) (b0, b1, b2)Source