Copyright	© 2021-2023 IOHK 2024 Cardano Foundation
License	Apache-2.0
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Delta.List

Description

Delta types for lists.

Synopsis

newtype DeltaList a = Append [a]

Documentation

newtype DeltaList a Source #

Delta type for lists where a list of elements is prepended.

Constructors

Append [a]

Instances

Instances details

Ord a => Monoid (DeltaList a) Source #
Instance details Defined in Data.Delta.List Methods mempty :: DeltaList a # mappend :: DeltaList a -> DeltaList a -> DeltaList a # mconcat :: [DeltaList a] -> DeltaList a #
Ord a => Semigroup (DeltaList a) Source #	Remember that the semigroup instance is required to satisfy the following properties: apply mempty = id apply (d1 <> d2) = apply d1 . apply d2
Instance details Defined in Data.Delta.List Methods (<>) :: DeltaList a -> DeltaList a -> DeltaList a # sconcat :: NonEmpty (DeltaList a) -> DeltaList a # stimes :: Integral b => b -> DeltaList a -> DeltaList a #
Show a => Show (DeltaList a) Source #
Instance details Defined in Data.Delta.List Methods showsPrec :: Int -> DeltaList a -> ShowS # show :: DeltaList a -> String # showList :: [DeltaList a] -> ShowS #
Delta (DeltaList a) Source #	apply (Append xs) ys = xs ++ ys
Instance details Defined in Data.Delta.List Associated Types type Base (DeltaList a) Source # Methods apply :: DeltaList a -> Base (DeltaList a) -> Base (DeltaList a) Source #
Eq a => Eq (DeltaList a) Source #
Instance details Defined in Data.Delta.List Methods (==) :: DeltaList a -> DeltaList a -> Bool # (/=) :: DeltaList a -> DeltaList a -> Bool #
Ord a => Ord (DeltaList a) Source #
Instance details Defined in Data.Delta.List Methods compare :: DeltaList a -> DeltaList a -> Ordering # (<) :: DeltaList a -> DeltaList a -> Bool # (<=) :: DeltaList a -> DeltaList a -> Bool # (>) :: DeltaList a -> DeltaList a -> Bool # (>=) :: DeltaList a -> DeltaList a -> Bool # max :: DeltaList a -> DeltaList a -> DeltaList a # min :: DeltaList a -> DeltaList a -> DeltaList a #
type Base (DeltaList a) Source #
Instance details Defined in Data.Delta.List type Base (DeltaList a) = [a]