> Can you live with > infixl |$| > (|$|) :: [a -> r] -> a -> [r] > fs |$| x = map ($ x) fs > and, instead of "broadcast fs a b" use > fs |$| a |$| b > ?
map ($ x) fs
= { Applicative Functors satisfy... }
pure ($ x) <*> fs
= { 'interchange' rule from Control.Applicative }
fs <*> pure x
Thus;
fs |$| x === fs <*> pure x
fs |$| x |$| y === fs <*> pure x <*> pure y
- George
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
