| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Unison.Merge.Updated
Synopsis
- type Updated a = GUpdated a a
- data GUpdated a b = Updated {}
- bimap :: (a -> b) -> (c -> d) -> GUpdated a c -> GUpdated b d
- bitraverse :: Applicative f => (a -> f b) -> (c -> f d) -> GUpdated a c -> f (GUpdated b d)
- fold :: Semigroup a => Updated a -> a
- foldMap :: Semigroup m => (a -> m) -> Updated a -> m
- fromPair :: (a, b) -> GUpdated a b
- map :: (a -> b) -> Updated a -> Updated b
- sequenceDefns :: Updated (Defns terms types) -> Defns (Updated terms) (Updated types)
- toPair :: GUpdated a b -> (a, b)
- traverse :: Applicative f => (a -> f b) -> Updated a -> f (Updated b)
- unzip :: GUpdated (a, b) (c, d) -> (GUpdated a c, GUpdated b d)
- unzipWith :: (a -> (b, c)) -> Updated a -> (Updated b, Updated c)
- zipWith :: (a -> b -> c) -> Updated a -> Updated b -> Updated c
Documentation
An updated thing.
Instances
bitraverse :: Applicative f => (a -> f b) -> (c -> f d) -> GUpdated a c -> f (GUpdated b d) Source #