UU.Util.Utils

Documentation

newtype Id x

Constructors

Id x

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

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

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

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

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