Euterpea-2.0.2: Library for computer music research and education
Control.Arrow.ArrowP
newtype ArrowP a p b c Source #
Constructors
Fields
Instances
Methods
id :: cat a a #
(.) :: cat b c -> cat a b -> cat a c #
left :: ArrowP a p b c -> ArrowP a p (Either b d) (Either c d) #
right :: ArrowP a p b c -> ArrowP a p (Either d b) (Either d c) #
(+++) :: ArrowP a p b c -> ArrowP a p b' c' -> ArrowP a p (Either b b') (Either c c') #
(|||) :: ArrowP a p b d -> ArrowP a p c d -> ArrowP a p (Either b c) d #
delay :: b -> ArrowP a p b b #
arr :: (b -> c) -> ArrowP a p b c #
first :: ArrowP a p b c -> ArrowP a p (b, d) (c, d) #
second :: ArrowP a p b c -> ArrowP a p (d, b) (d, c) #
(***) :: ArrowP a p b c -> ArrowP a p b' c' -> ArrowP a p (b, b') (c, c') #
(&&&) :: ArrowP a p b c -> ArrowP a p b c' -> ArrowP a p b (c, c') #
loop :: ArrowP a p (b, d) (c, d) -> ArrowP a p b c #