Sound.SC3.Common.Monad.Syntax

Functions to make writing Applicative and Monad UGen graphs less clumsy.

Documentation

(.+) :: (Functor f, Num a) => f a -> a -> f a infixl 6

+ variant with Functor at left.

fmap (== 5) (return 3 .+ 2)
[3,4] .+ 2 == [5,6]

(+.) :: (Functor f, Num a) => a -> f a -> f a infixl 6

+ variant with Functor at right.

fmap (== 5) (3 +. return 2)
3 +. [2,3] == [5,6]

(.+.) :: (Applicative m, Num a) => m a -> m a -> m a infixl 6

+ variant with Applicative at left and right.

fmap (== 5) (return 3 .+. return 2)
[3,4] .+. [2,3] == [5,6,6,7]
getZipList (ZipList [3,4] .+. ZipList [2,3]) == [5,7]

(.*) :: (Functor f, Num a) => f a -> a -> f a infixl 7

* variant with Functor at left.

fmap (== 6) (return 3 .* 2)

(*.) :: (Functor f, Num a) => a -> f a -> f a infixl 7

* variant with Functor at right.

fmap (== 6) (3 *. return 2)

(.*.) :: (Applicative m, Num a) => m a -> m a -> m a infixl 7

* variant with Applicative at left and right.

fmap (== 6) (return 3 .*. return 2)

(.-) :: (Functor f, Num a) => f a -> a -> f a infixl 6

- variant with Functor at left.

fmap (== 1) (return 3 .- 2)
[3,4] .- 2 == [1,2]

(-.) :: (Functor f, Num a) => a -> f a -> f a infixl 6

- variant with Functor at right.

fmap (== 1) (3 -. return 2)
3 -. [2,3] == [1,0]

(.-.) :: (Applicative m, Num a) => m a -> m a -> m a infixl 6

- variant with Applicative at left and right.

fmap (== 1) (return 3 .-. return 2)
[3,4] .-. [2,3] == [1,0,2,1]
getZipList (ZipList [3,4] .-. ZipList [2,3]) == [1,1]

(./) :: (Functor f, Fractional a) => f a -> a -> f a infixl 7

/ variant with Functor at left.

fmap (== 3) (return 6 ./ 2)

(/.) :: (Functor f, Fractional a) => a -> f a -> f a infixl 7

/ variant with Functor at right.

fmap (== 3) (6 /. return 2)

(./.) :: (Applicative m, Fractional a) => m a -> m a -> m a infixl 7

/ variant with Applicative at left and right.

fmap (== 3) (return 6 ./. return 2)
[5,6] ./. [2,3] == [5/2,5/3,3,2]

composeM :: Monad m => [a -> m a] -> a -> m a

Right to left compositon of Monad functions.

fmap (== 7) (composeM [return . (+ 1),return . (/ 2)] 3)
fmap (== 8) (composeM [return . (* 2),return . (+ 1)] 3)

chainM :: Monad m => Int -> (b -> m b) -> b -> m b

Feed forward composition of n applications of f.

fmap (== 3) (chainM 3 (return . (+ 1)) 0)