Synthesizer.Zip

Documentation

data T a b

Parallel combination of two signals of equal length.

Constructors

Cons

Fields

• first :: a
• second :: b

Instances

(Semigroup a, Semigroup b) => Semigroup (T a b)

Methods

(<>) :: T a b -> T a b -> T a b

sconcat :: NonEmpty (T a b) -> T a b

stimes :: Integral b => b -> T a b -> T a b

(Monoid a, Monoid b) => Monoid (T a b)

Methods

mempty :: T a b

mappend :: T a b -> T a b -> T a b

mconcat :: [T a b] -> T a b

(Transform a, Transform b) => Transform (T a b)

Methods

take :: Int -> T a b -> T a b

drop :: Int -> T a b -> T a b

dropMarginRem :: Int -> Int -> T a b -> (Int, T a b)

splitAt :: Int -> T a b -> (T a b, T a b)

reverse :: T a b -> T a b

(NormalForm a, NormalForm b) => NormalForm (T a b)

Methods

evaluateHead :: T a b -> ()

(Read a, Read b) => Read (T a b)

Methods

null :: T a b -> Bool

length :: T a b -> Int

consChecked :: (Read a, Read b) => String -> a -> b -> T a b

Zip together two signals. It is a checked error if their lengths differ.

consShorten :: (Transform a, Transform b) => a -> b -> T a b

Zip together two signals and shorten them to the length of the shorter one.

arrowFirst :: Arrow arrow => arrow a b -> arrow (T a c) (T b c)

arrowSecond :: Arrow arrow => arrow a b -> arrow (T c a) (T c b)

arrowFirstShorten :: (Arrow arrow, Transform b, Transform c) => arrow a b -> arrow (T a c) (T b c)

arrowSecondShorten :: (Arrow arrow, Transform b, Transform c) => arrow a b -> arrow (T c a) (T c b)

arrowFanout :: Arrow arrow => arrow a b -> arrow a c -> arrow a (T b c)

arrowSplit :: Arrow arrow => arrow a c -> arrow b d -> arrow (T a b) (T c d)

arrowFanoutShorten :: (Arrow arrow, Transform a, Transform b, Transform c) => arrow a b -> arrow a c -> arrow a (T b c)

arrowSplitShorten :: (Arrow arrow, Transform a, Transform b, Transform c, Transform d) => arrow a c -> arrow b d -> arrow (T a b) (T c d)