Documentation

data T a b Source #

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

maxZero :: Real a => T a a Source #

maxAbs :: Real a => T a a Source #

sum :: Additive a => T a a Source #

sumSquare :: PseudoRing a => T a a Source #

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 #