| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Invertible.Prelude
Description
The bidirectional "Prelude", which re-exports various bijections similar to functions from Prelude. Most "un"-functions are left out for obvious reasons.
- (<->) :: BiArrow a => (b -> c) -> (c -> b) -> a b c
- type (<->) = Bijection (->)
- const :: a -> () <-> a
- flip :: (a -> b -> c) <-> (b -> a -> c)
- id :: a <-> a
- (.) :: (b <-> c) -> (a <-> b) -> a <-> c
- not :: Bool <-> Bool
- enum :: Enum a => Int <-> a
- succ :: Enum a => a <-> a
- fst :: (a, ()) <-> a
- snd :: ((), a) <-> a
- curry :: ((a, b) -> c) <-> (a -> b -> c)
- cons :: Maybe (a, [a]) <-> [a]
- uncons :: [a] <-> Maybe (a, [a])
- bifmap :: Functor f => (a <-> b) -> f a <-> f b
- class Functor f where
- (<$>) :: Functor f => (a <-> b) -> f a -> f b
- map :: (a <-> b) -> [a] <-> [b]
- reverse :: [a] <-> [a]
- zip :: ([a], [b]) <-> [(a, b)]
- zip3 :: ([a], [b], [c]) <-> [(a, b, c)]
- zipWith :: ((a, b) <-> c) -> ([a], [b]) <-> [c]
- lines :: String <-> [String]
- words :: String <-> [String]
Documentation
(<->) :: BiArrow a => (b -> c) -> (c -> b) -> a b c Source #
Take two functions and lift them into a bidirectional arrow. The intention is that these functions are each other's inverse.
flip :: (a -> b -> c) <-> (b -> a -> c) Source #
flip the order of the first two arguments of a function.
curry :: ((a, b) -> c) <-> (a -> b -> c) Source #
Convert between an uncurried function and a curryed function.
cons :: Maybe (a, [a]) <-> [a] Source #
Convert between Just (head, tail)head:tail.