uniform-algebras-0.1.5.1: Pointless functions and a simplistic zero and monoid
Safe HaskellSafe-Inferred
LanguageHaskell2010

Uniform.Pointless

Synopsis
  • 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)
  • swapPair :: (b, a) -> (a, b)
  • dup :: b -> (b, b)

Documentation

outl :: (a, b) -> a Source #

outr :: (a, b) -> b Source #

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

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

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

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

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

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

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

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

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

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

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

replace wth both

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

replace with swap

dup :: b -> (b, b) Source #