Data.MultiChange

Type

data MultiChange p

Instances

Foldable MultiChange

Methods

fold :: Monoid m => MultiChange m -> m

foldMap :: Monoid m => (a -> m) -> MultiChange a -> m

foldr :: (a -> b -> b) -> b -> MultiChange a -> b

foldr' :: (a -> b -> b) -> b -> MultiChange a -> b

foldl :: (b -> a -> b) -> b -> MultiChange a -> b

foldl' :: (b -> a -> b) -> b -> MultiChange a -> b

foldr1 :: (a -> a -> a) -> MultiChange a -> a

foldl1 :: (a -> a -> a) -> MultiChange a -> a

toList :: MultiChange a -> [a]

null :: MultiChange a -> Bool

length :: MultiChange a -> Int

elem :: Eq a => a -> MultiChange a -> Bool

maximum :: Ord a => MultiChange a -> a

minimum :: Ord a => MultiChange a -> a

sum :: Num a => MultiChange a -> a

product :: Num a => MultiChange a -> a

Read p => Read (MultiChange p)

Methods

readsPrec :: Int -> ReadS (MultiChange p)

readList :: ReadS [MultiChange p]

readPrec :: ReadPrec (MultiChange p)

readListPrec :: ReadPrec [MultiChange p]

Show p => Show (MultiChange p)

Methods

showsPrec :: Int -> MultiChange p -> ShowS

show :: MultiChange p -> String

showList :: [MultiChange p] -> ShowS

Monoid (MultiChange p)

Methods

mempty :: MultiChange p

mappend :: MultiChange p -> MultiChange p -> MultiChange p

mconcat :: [MultiChange p] -> MultiChange p

Change p => Change (MultiChange p)

Associated Types

type Value (MultiChange p) :: *

Methods

($$) :: MultiChange p -> Value (MultiChange p) -> Value (MultiChange p)

type Value (MultiChange p)

type Value (MultiChange p) = Value p

Construction

singleton :: p -> MultiChange p

fromList :: [p] -> MultiChange p

Monad structure

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)

Multi composition

compose :: Monoid p => Trans (MultiChange p) p

composeMap :: Monoid q => Trans p q -> Trans (MultiChange p) q