| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Incremental.Tuple
- 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
Constructors
| First (DefaultChange a) | |
| Second (DefaultChange b) |
Instances
| (Changeable a, Changeable b) => Change (AtomicChange a b) | |
| Typeable (* -> * -> *) AtomicChange | |
| type Value (AtomicChange a b) = (a, b) |
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