| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.MultiChange
- data MultiChange p
- singleton :: p -> MultiChange p
- fromList :: [p] -> MultiChange p
- map :: Trans p q -> Trans (MultiChange p) (MultiChange q)
- return :: Trans p (MultiChange p)
- join :: Trans (MultiChange (MultiChange p)) (MultiChange p)
- bind :: Trans p (MultiChange q) -> Trans (MultiChange p) (MultiChange q)
- compose :: Monoid p => Trans (MultiChange p) p
- composeMap :: Monoid q => Trans p q -> Trans (MultiChange p) q
Type
data MultiChange p Source
Instances
| Foldable MultiChange | |
| Read p => Read (MultiChange p) | |
| Show p => Show (MultiChange p) | |
| Monoid (MultiChange p) | |
| Change p => Change (MultiChange p) | |
| type Value (MultiChange p) = Value p |
Construction
singleton :: p -> MultiChange p Source
fromList :: [p] -> MultiChange p Source
Monad structure
map :: Trans p q -> Trans (MultiChange p) (MultiChange q) Source
return :: Trans p (MultiChange p) Source
join :: Trans (MultiChange (MultiChange p)) (MultiChange p) Source
bind :: Trans p (MultiChange q) -> Trans (MultiChange p) (MultiChange q) Source
Multi composition
compose :: Monoid p => Trans (MultiChange p) p Source
composeMap :: Monoid q => Trans p q -> Trans (MultiChange p) q Source