| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cooked.Tweak.Insert
Description
This module exposes tweaks to insert elements within various structures
focused in a TxSkel.
Synopsis
- insertUsingTweak :: (Member Tweak effs, Is k A_Setter) => Optic' k is TxSkel (f a) -> (a -> f a -> f a) -> a -> Sem effs ()
- appendAfterTweak :: (Member Tweak effs, Is k A_Setter, Semigroup a) => Optic' k is TxSkel a -> a -> Sem effs ()
- appendBeforeTweak :: (Member Tweak effs, Is k A_Setter, Semigroup a) => Optic' k is TxSkel a -> a -> Sem effs ()
- insertThereTweak :: (Member Tweak effs, Is k A_Setter) => Optic' k is TxSkel [a] -> Int -> a -> Sem effs ()
- insertFirstTweak :: (Member Tweak effs, Is k A_Setter) => Optic' k is TxSkel [a] -> a -> Sem effs ()
- insertLastTweak :: (Member Tweak effs, Is k A_Setter) => Optic' k is TxSkel [a] -> a -> Sem effs ()
- insertInTweak :: (Members '[Tweak, NonDet] effs, Is k A_Traversal, Ord a) => Optic' k is TxSkel (Set a) -> a -> Sem effs ()
- insertAtTweak :: (Members '[Tweak, NonDet] effs, Is k A_Traversal, Ord k) => Optic' k is TxSkel (Map k v) -> k -> v -> Sem effs ()
Generic insert functions
insertUsingTweak :: (Member Tweak effs, Is k A_Setter) => Optic' k is TxSkel (f a) -> (a -> f a -> f a) -> a -> Sem effs () Source #
Inserts an element in a structure using a custom function
appendAfterTweak :: (Member Tweak effs, Is k A_Setter, Semigroup a) => Optic' k is TxSkel a -> a -> Sem effs () Source #
Appending an element in a Semigroup after the existing element
appendBeforeTweak :: (Member Tweak effs, Is k A_Setter, Semigroup a) => Optic' k is TxSkel a -> a -> Sem effs () Source #
Appending an element in a Semigroup after the existing element
Insert elements in lists
insertThereTweak :: (Member Tweak effs, Is k A_Setter) => Optic' k is TxSkel [a] -> Int -> a -> Sem effs () Source #
Inserts an element at a specific position in a list focused in a
TxSkel. If the index is beyond or equal to the list length, inserts it at
the end of the list.
insertFirstTweak :: (Member Tweak effs, Is k A_Setter) => Optic' k is TxSkel [a] -> a -> Sem effs () Source #
Inserts an element at the first position in a list focused in a TxSkel.
insertLastTweak :: (Member Tweak effs, Is k A_Setter) => Optic' k is TxSkel [a] -> a -> Sem effs () Source #
Inserts an element at the end of a list focused in a TxSkel.
Insert elements in sets
insertInTweak :: (Members '[Tweak, NonDet] effs, Is k A_Traversal, Ord a) => Optic' k is TxSkel (Set a) -> a -> Sem effs () Source #
Inserts an element in a set focused in a TxSkel. Fails if the element is
already present in the set.