Documentation

type MV a = T (T a) Source #

iterate :: C a => (Exp a -> Exp a) -> Exp a -> MV a Source #

iterateParam :: (C a, C b) => (Exp b -> Exp a -> Exp a) -> Exp b -> Exp a -> MV a Source #

ramp :: (C a, Additive a) => Exp a -> Exp a -> MV a Source #

parabola :: (C a, Additive a) => Exp a -> Exp a -> Exp a -> MV a Source #

integrate :: (C a, Additive a, T a ~ al) => Exp a -> T al al Source #

osci :: (Fraction t, C t) => Exp t -> Exp t -> MV t Source #

exponential :: (C a, PseudoRing a) => Exp a -> Exp a -> MV a Source #

exponentialBounded :: (C a, PseudoRing a, Real a, IntegerConstant a) => Exp a -> Exp a -> Exp a -> MV a Source #

noise :: Exp Word32 -> MV Word32 Source #

noiseAlt :: Exp Word32 -> MV Word32 Source #