Uniform.Pointless

Documentation

outl :: (a, b) -> a

outr :: (a, b) -> b

swap :: (a, b) -> (b, a)

assocl :: (a, (b, c)) -> ((a, b), c)

assocr :: ((a, b), c) -> (a, (b, c))

dupl :: (a, (b, c)) -> ((a, b), (a, c))

dupr :: ((a, b), c) -> ((a, c), (b, c))

pair :: (a -> b, a -> c) -> a -> (b, c)

cross :: (a -> c, b -> d) -> (a, b) -> (c, d)

cond :: (a -> Bool) -> (a -> b, a -> b) -> a -> b

curry :: ((a, b) -> c) -> a -> b -> c

uncurry :: (a -> b -> c) -> (a, b) -> c

pair' :: (a -> b) -> (a, a) -> (b, b)

replace wth both

swapPair :: (b, a) -> (a, b)

replace with swap

dup :: b -> (b, b)