module FRP.Yampa.Arrow
(
dup
, arr2
, arr3
, arr4
, arr5
)
where
import Control.Arrow
dup :: a -> (a,a)
dup :: forall a. a -> (a, a)
dup a
x = (a
x,a
x)
arr2 :: Arrow a => (b -> c -> d) -> a (b, c) d
arr2 :: forall (a :: * -> * -> *) b c d.
Arrow a =>
(b -> c -> d) -> a (b, c) d
arr2 = forall (a :: * -> * -> *) b c. Arrow a => (b -> c) -> a b c
arr forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b c. (a -> b -> c) -> (a, b) -> c
uncurry
arr3 :: Arrow a => (b -> c -> d -> e) -> a (b, c, d) e
arr3 :: forall (a :: * -> * -> *) b c d e.
Arrow a =>
(b -> c -> d -> e) -> a (b, c, d) e
arr3 = forall (a :: * -> * -> *) b c. Arrow a => (b -> c) -> a b c
arr forall b c a. (b -> c) -> (a -> b) -> a -> c
. \b -> c -> d -> e
h (b
b, c
c, d
d) -> b -> c -> d -> e
h b
b c
c d
d
arr4 :: Arrow a => (b -> c -> d -> e -> f) -> a (b, c, d, e) f
arr4 :: forall (a :: * -> * -> *) b c d e f.
Arrow a =>
(b -> c -> d -> e -> f) -> a (b, c, d, e) f
arr4 = forall (a :: * -> * -> *) b c. Arrow a => (b -> c) -> a b c
arr forall b c a. (b -> c) -> (a -> b) -> a -> c
. \b -> c -> d -> e -> f
h (b
b, c
c, d
d, e
e) -> b -> c -> d -> e -> f
h b
b c
c d
d e
e
arr5 :: Arrow a => (b -> c -> d -> e -> f -> g) -> a (b, c, d, e, f) g
arr5 :: forall (a :: * -> * -> *) b c d e f g.
Arrow a =>
(b -> c -> d -> e -> f -> g) -> a (b, c, d, e, f) g
arr5 = forall (a :: * -> * -> *) b c. Arrow a => (b -> c) -> a b c
arr forall b c a. (b -> c) -> (a -> b) -> a -> c
. \b -> c -> d -> e -> f -> g
h (b
b, c
c, d
d, e
e, f
f) -> b -> c -> d -> e -> f -> g
h b
b c
c d
d e
e f
f