Safe Haskell	None
Language	GHC2021

Data.TypeMergingList

Description

A Snoc List type that merges elements of the same constructor using the Semigroup instance. For example, suppose we have some data type: > data Entry = IntEntry Int | StringEntry String deriving (Eq, Data, Show) > instance Semigroup Entry where > IntEntry a <> IntEntry b = IntEntry (a + b) > StringEntry a <> StringEntry b = StringEntry (a ++ b) > _ <> b = b -- if the constructors don't match, just take the right one

Then we can do: > snoc (TypeMergingList []) (IntEntry 1) = TypeMergingList [IntEntry 1] > snoc (TypeMergingList [IntEntry 1]) (IntEntry 2) = TypeMergingList [IntEntry 3] > snoc (TypeMergingList [IntEntry 1]) (StringEntry "hello") = TypeMergingList [IntEntry 1, StringEntry "hello"] > snoc (TypeMergingList [IntEntry 1, StringEntry "hello"]) (StringEntry "world") = TypeMergingList [IntEntry 1, StringEntry "helloworld"]

Synopsis

newtype TypeMergingList a = TypeMergingList [a]
class Data a => DataMergeable a where
- merge :: a -> a -> a
errorDifferentConstructors :: Data a => a -> a -> b
getByCtor :: forall (ctor :: Symbol) s a. (Generic s, AsConstructor ctor s s a a) => TypeMergingList s -> Maybe a
snoc :: DataMergeable a => TypeMergingList a -> a -> TypeMergingList a
append :: DataMergeable a => TypeMergingList a -> TypeMergingList a -> TypeMergingList a
fromList :: (DataMergeable a, Data a) => [a] -> TypeMergingList a
toList :: TypeMergingList a -> [a]
toVector :: TypeMergingList a -> Vector a

Documentation

newtype TypeMergingList a Source #

Constructors

TypeMergingList [a]

Instances

Instances details

Foldable TypeMergingList Source #

Instance details

Defined in Data.TypeMergingList

Methods

fold :: Monoid m => TypeMergingList m -> m #

foldMap :: Monoid m => (a -> m) -> TypeMergingList a -> m #

foldMap' :: Monoid m => (a -> m) -> TypeMergingList a -> m #

foldr :: (a -> b -> b) -> b -> TypeMergingList a -> b #

foldr' :: (a -> b -> b) -> b -> TypeMergingList a -> b #

foldl :: (b -> a -> b) -> b -> TypeMergingList a -> b #

foldl' :: (b -> a -> b) -> b -> TypeMergingList a -> b #

foldr1 :: (a -> a -> a) -> TypeMergingList a -> a #

foldl1 :: (a -> a -> a) -> TypeMergingList a -> a #

toList :: TypeMergingList a -> [a] #

null :: TypeMergingList a -> Bool #

length :: TypeMergingList a -> Int #

elem :: Eq a => a -> TypeMergingList a -> Bool #

maximum :: Ord a => TypeMergingList a -> a #

minimum :: Ord a => TypeMergingList a -> a #

sum :: Num a => TypeMergingList a -> a #

product :: Num a => TypeMergingList a -> a #

DataMergeable a => Monoid (TypeMergingList a) Source #

Instance details

Defined in Data.TypeMergingList

Methods

mempty :: TypeMergingList a #

mappend :: TypeMergingList a -> TypeMergingList a -> TypeMergingList a #

mconcat :: [TypeMergingList a] -> TypeMergingList a #

DataMergeable a => Semigroup (TypeMergingList a) Source #

Instance details

Defined in Data.TypeMergingList

Methods

(<>) :: TypeMergingList a -> TypeMergingList a -> TypeMergingList a #

sconcat :: NonEmpty (TypeMergingList a) -> TypeMergingList a #

stimes :: Integral b => b -> TypeMergingList a -> TypeMergingList a #

DataMergeable a => IsList (TypeMergingList a) Source #

Instance details

Defined in Data.TypeMergingList

Associated Types

type Item (TypeMergingList a)
Instance details Defined in Data.TypeMergingList type Item (TypeMergingList a) = a

Methods

fromList :: [Item (TypeMergingList a)] -> TypeMergingList a #

fromListN :: Int -> [Item (TypeMergingList a)] -> TypeMergingList a #

toList :: TypeMergingList a -> [Item (TypeMergingList a)] #

Show a => Show (TypeMergingList a) Source #

Instance details

Defined in Data.TypeMergingList

Methods

showsPrec :: Int -> TypeMergingList a -> ShowS #

show :: TypeMergingList a -> String #

showList :: [TypeMergingList a] -> ShowS #

Eq a => Eq (TypeMergingList a) Source #

Instance details

Defined in Data.TypeMergingList

Methods

(==) :: TypeMergingList a -> TypeMergingList a -> Bool #

(/=) :: TypeMergingList a -> TypeMergingList a -> Bool #

Ord a => Ord (TypeMergingList a) Source #

Instance details

Defined in Data.TypeMergingList

Methods

compare :: TypeMergingList a -> TypeMergingList a -> Ordering #

(<) :: TypeMergingList a -> TypeMergingList a -> Bool #

(<=) :: TypeMergingList a -> TypeMergingList a -> Bool #

(>) :: TypeMergingList a -> TypeMergingList a -> Bool #

(>=) :: TypeMergingList a -> TypeMergingList a -> Bool #

max :: TypeMergingList a -> TypeMergingList a -> TypeMergingList a #

min :: TypeMergingList a -> TypeMergingList a -> TypeMergingList a #

Pretty a => Pretty (TypeMergingList a) Source #

Instance details

Defined in Data.TypeMergingList

Methods

pretty :: TypeMergingList a -> Doc ann Source #

prettyList :: [TypeMergingList a] -> Doc ann Source #

type Item (TypeMergingList a) Source #

Instance details

Defined in Data.TypeMergingList

type Item (TypeMergingList a) = a

class Data a => DataMergeable a where Source #

Class of partially mergeable types. Instances of this class may assume that the constructors of the two arguments are the same (i.e. toConstr x == toConstr y), and are permitted to be partial if this is not the case.

Methods

merge :: a -> a -> a Source #

Instances

Instances details

DataMergeable ClassFileAttribute Source #
Instance details Defined in JVM.Data.Abstract.ClassFile Methods merge :: ClassFileAttribute -> ClassFileAttribute -> ClassFileAttribute Source #
DataMergeable CodeAttribute Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods merge :: CodeAttribute -> CodeAttribute -> CodeAttribute Source #
DataMergeable CodeAttributeData Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods merge :: CodeAttributeData -> CodeAttributeData -> CodeAttributeData Source #
DataMergeable MethodAttribute Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods merge :: MethodAttribute -> MethodAttribute -> MethodAttribute Source #
(Data a, Semigroup a) => DataMergeable a Source #
Instance details Defined in Data.TypeMergingList Methods merge :: a -> a -> a Source #

errorDifferentConstructors :: Data a => a -> a -> b Source #

getByCtor :: forall (ctor :: Symbol) s a. (Generic s, AsConstructor ctor s s a a) => TypeMergingList s -> Maybe a Source #

snoc :: DataMergeable a => TypeMergingList a -> a -> TypeMergingList a Source #

append :: DataMergeable a => TypeMergingList a -> TypeMergingList a -> TypeMergingList a Source #

fromList :: (DataMergeable a, Data a) => [a] -> TypeMergingList a Source #

toList :: TypeMergingList a -> [a] Source #

toVector :: TypeMergingList a -> Vector a Source #