Safe Haskell	None
Language	Haskell2010

Voting.Protocol.Utils

Synopsis

o2 :: (c -> d) -> (a -> b -> c) -> a -> b -> d
isoZipWith :: (a -> b -> c) -> [a] -> [b] -> Maybe [c]
isoZipWith3 :: (a -> b -> c -> d) -> [a] -> [b] -> [c] -> Maybe [d]
isoZipWithM :: Applicative f => f () -> (a -> b -> f c) -> [a] -> [b] -> f [c]
isoZipWithM_ :: Applicative f => f () -> (a -> b -> f c) -> [a] -> [b] -> f ()
isoZipWith3M :: Applicative f => f () -> (a -> b -> c -> f d) -> [a] -> [b] -> [c] -> f [d]
isoZipWith3M_ :: Applicative f => f () -> (a -> b -> c -> f d) -> [a] -> [b] -> [c] -> f ()

Documentation

o2 :: (c -> d) -> (a -> b -> c) -> a -> b -> d infixr 9 Source #

Like (.) but with two arguments.

isoZipWith :: (a -> b -> c) -> [a] -> [b] -> Maybe [c] Source #

NOTE: check the lengths before applying f.

isoZipWith3 :: (a -> b -> c -> d) -> [a] -> [b] -> [c] -> Maybe [d] Source #

NOTE: check the lengths before applying f.

isoZipWithM :: Applicative f => f () -> (a -> b -> f c) -> [a] -> [b] -> f [c] Source #

isoZipWithM_ :: Applicative f => f () -> (a -> b -> f c) -> [a] -> [b] -> f () Source #

isoZipWith3M :: Applicative f => f () -> (a -> b -> c -> f d) -> [a] -> [b] -> [c] -> f [d] Source #

isoZipWith3M_ :: Applicative f => f () -> (a -> b -> c -> f d) -> [a] -> [b] -> [c] -> f () Source #