Safe Haskell | None |
---|---|
Language | Haskell2010 |
- first :: DefaultChange a -> DefaultChange (a, b)
- second :: DefaultChange b -> DefaultChange (a, b)
- data AtomicChange a b
- = First (DefaultChange a)
- | Second (DefaultChange b)
- (&&&) :: (Changeable a, Changeable b, Changeable c) => (a ->> b) -> (a ->> c) -> a ->> (b, c)
- fst :: (Changeable a, Changeable b) => (a, b) ->> a
- snd :: (Changeable a, Changeable b) => (a, b) ->> b
- swap :: (Changeable a, Changeable b) => (a, b) ->> (b, a)
Changes
first :: DefaultChange a -> DefaultChange (a, b) Source #
second :: DefaultChange b -> DefaultChange (a, b) Source #
Atomic changes
data AtomicChange a b Source #
First (DefaultChange a) | |
Second (DefaultChange b) |
(Changeable a, Changeable b) => Change (AtomicChange a b) Source # | |
type Value (AtomicChange a b) Source # | |
Transformations
(&&&) :: (Changeable a, Changeable b, Changeable c) => (a ->> b) -> (a ->> c) -> a ->> (b, c) Source #
fst :: (Changeable a, Changeable b) => (a, b) ->> a Source #
snd :: (Changeable a, Changeable b) => (a, b) ->> b Source #
swap :: (Changeable a, Changeable b) => (a, b) ->> (b, a) Source #
Orphan instances
(Changeable a, Changeable b) => Changeable (a, b) Source # | |