Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. unsafePatchMapWithMove :: Map k (NodeInfo k v) -> PatchMapWithMove k v

   patch	Data.Patch

   Wrap a Map k (NodeInfo k v) representing patch changes into a PatchMapWithMove k v, without checking any invariants. Warning: when using this function, you must ensure that the invariants of PatchMapWithMove are preserved; they will not be checked.

2. module Data.Patch.DMap

   Patches of this type consist only of insertions (including overwrites) and deletions.

3. newtype PatchDMap (k1 :: k -> Type) (v :: k -> Type)

   patch	Data.Patch.DMap

   A set of changes to a DMap. Any element may be inserted/updated or deleted. Insertions are represented as ComposeMaybe (Just value), while deletions are represented as ComposeMaybe Nothing.

4. PatchDMap :: DMap k1 (ComposeMaybe v) -> PatchDMap (k1 :: k -> Type) (v :: k -> Type)

   patch	Data.Patch.DMap

   No documentation available.

5. unPatchDMap :: PatchDMap (k1 :: k -> Type) (v :: k -> Type) -> DMap k1 (ComposeMaybe v)

   patch	Data.Patch.DMap

   No documentation available.

6. module Data.Patch.DMapWithMove

   This Module contains PatchDMapWithMove k v and associated functions, which represents a Patch to a DMap k v which can insert, update, delete, and move values between keys.

7. newtype PatchDMapWithMove (k1 :: k -> Type) (v :: k -> Type)

   patch	Data.Patch.DMapWithMove

   Like PatchMapWithMove, but for DMap. Each key carries a NodeInfo which describes how it will be changed by the patch and connects move sources and destinations. Invariants:

   • A key should not move to itself.
   • A move should always be represented with both the destination key (as a From_Move) and the source key (as a ComposeMaybe (Just destination))

8. PatchDMapWithMove :: DMap k1 (NodeInfo k1 v) -> PatchDMapWithMove (k1 :: k -> Type) (v :: k -> Type)

   patch	Data.Patch.DMapWithMove

   No documentation available.

9. module Data.Patch.IntMap

   Patches of this sort allow for insert/update or delete of associations.

10. newtype PatchIntMap a

    patch	Data.Patch.IntMap

    Patch for IntMap which represents insertion or deletion of keys in the mapping. Internally represented by 'IntMap (Maybe a)', where Just means insert/update and Nothing means delete.

Page 962 of many | Previous | Next