Synthesizer.LLVM.Fold

Documentation

data T a b

Constructors

Cons (forall r. b -> a -> CodeGenFunction r b) b

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

maxZero :: Real a => T a a

maxAbs :: Real a => T a a

sum :: Additive a => T a a

sumSquare :: PseudoRing a => T a a

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

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