Data.Generics.Uniplate.Data.Instances

uniplate-1.6.13: Help writing simple, concise and fast generic operations.

Safe Haskell | Safe-Inferred
Language | Haskell2010

Data.Generics.Uniplate.Data.Instances

Description

In some cases, `Data` instances for abstract types are incorrect, and fail to work correctly with Uniplate. This module defines three helper types (`Hide`, `Trigger` and `Invariant`) to assist when writing instances for abstract types. The `Hide` type is useful when you want to mark some part of your data type as being ignored by Data.Generics.Uniplate.Data (and any other `Data` based generics libraries, such as `syb`).

Using the helper types, this module defines wrappers for types in the `containers` package, namely `Map`, `Set`, `IntMap` and `IntSet`. The standard `containers` `Data` instances all treat the types as abstract, but the wrapper types allow you to traverse within the data types, ensuring the necessary invariants are maintained. In particular, if you do not modify the keys reconstruct will be O(n) instead of O(n log n).

As an example of how to implement your own abstract type wrappers, the `Map` data type is defined as:

      newtype Map k v = Map (Invariant (Trigger [k], Trigger [v], Hide (Map.Map k v)))
         deriving (Data, Typeable)

The `Map` type is defined as an `Invariant` of three components - the keys, the values, and the underlying `Map`. We use `Invariant` to ensure that the keysvaluesmap always remain in sync. We use `Trigger` on the keys and values to ensure that whenever the keys or values change we rebuild the `Map`, but if they don't, we reuse the previous `Map`. The `fromMap` function is implemented by pattern matching on the `Map` type:

      fromMap (Map (Invariant _ (_,_,Hide x))) = x

The `toMap` function is slightly harder, as we need to come up with an invariant restoring function:

    toMap :: Ord k => Map.Map k v -> Map k v
    toMap x = Map $ Invariant inv $ create x
        where
            create x = (Trigger False ks, Trigger False vs, Hide x)
                where (ks,vs) = unzip $ Map.toAscList x

            inv (ks,vs,x)
                | trigger ks = create $ Map.fromList $ zip (fromTrigger ks) (fromTrigger vs)
                | trigger vs = create $ Map.fromDistinctAscList $ zip (fromTrigger ks) (fromTrigger vs)
                | otherwise = (ks,vs,x)

The `create` function creates a value from a `Map`, getting the correct keys and values. The `inv` function looks at the triggers on the keys/values. If the keys trigger has been tripped, then we reconstruct the `Map` using `fromList`. If the values trigger has been tripped, but they keys trigger has not, we can use `fromDistinctAscList`, reducing the complexity of constructing the `Map`. If nothing has changed we can reuse the previous value.

The end result is that all Uniplate (or `syb`) traversals over `Map` result in a valid value, which has had all appropriate transformations applied.

Synopsis

- newtype Hide a = Hide {
  - fromHide :: a
  }
- data Trigger a = Trigger {
  - trigger :: Bool
  - fromTrigger :: a
  }
- data Invariant a = Invariant {
  - invariant :: a -> a
  - fromInvariant :: a
  }
- data Map k v
- fromMap :: Map k v -> Map k v
- toMap :: Ord k => Map k v -> Map k v
- data Set k
- fromSet :: Set k -> Set k
- toSet :: Ord k => Set k -> Set k
- data IntMap v
- fromIntMap :: IntMap v -> IntMap v
- toIntMap :: IntMap v -> IntMap v
- data IntSet
- fromIntSet :: IntSet -> IntSet
- toIntSet :: IntSet -> IntSet

# Documentation

newtype Hide a #

The `Hide` data type has a `Data` instance which reports having no constructors, as though the type was defined as using the extension `EmptyDataDecls`:

    data Hide a

This type is suitable for defining regions that are avoided by Uniplate traversals. As an example:

    transformBi (+1) (1, 2, Hide 3, Just 4) == (2, 3, Hide 3, Just 4)

As a result of having no constructors, any calls to the methods `toConstr` or `gunfold` will raise an error.

Constructors

Hide |
Fields fromHide :: a

#### Instances

Instances details

Functor Hide # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods fmap :: (a -> b) -> Hide a -> Hide b (<$) :: a -> Hide b -> Hide a
Typeable a => Data (Hide a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Hide a -> c (Hide a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Hide a) toConstr :: Hide a -> Constr dataTypeOf :: Hide a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Hide a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Hide a)) gmapT :: (forall b. Data b => b -> b) -> Hide a -> Hide a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Hide a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Hide a -> r gmapQ :: (forall d. Data d => d -> u) -> Hide a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Hide a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Hide a -> m (Hide a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Hide a -> m (Hide a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Hide a -> m (Hide a)
Read a => Read (Hide a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods readsPrec :: Int -> ReadS (Hide a) readList :: ReadS [Hide a] readPrec :: ReadPrec (Hide a) readListPrec :: ReadPrec [Hide a]
Show a => Show (Hide a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods showsPrec :: Int -> Hide a -> ShowS show :: Hide a -> String showList :: [Hide a] -> ShowS
Eq a => Eq (Hide a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods (==) :: Hide a -> Hide a -> Bool (/=) :: Hide a -> Hide a -> Bool
Ord a => Ord (Hide a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods compare :: Hide a -> Hide a -> Ordering (<) :: Hide a -> Hide a -> Bool (<=) :: Hide a -> Hide a -> Bool (>) :: Hide a -> Hide a -> Bool (>=) :: Hide a -> Hide a -> Bool max :: Hide a -> Hide a -> Hide a min :: Hide a -> Hide a -> Hide a

data Trigger a #

The `Trigger` data type has a `Data` instance which reports as being defined:

    data Trigger a = Trigger a

However, whenever a `gfoldl` or `gunfold` constructs a new value, it will have the `trigger` field set to `True`. The trigger information is useful to indicate whether any invariants have been broken, and thus need fixing. As an example:

    data SortedList a = SortedList (Trigger [a]) deriving (Data,Typeable)
    toSortedList xs = SortedList $ Trigger False $ sort xs
    fromSortedList (SortedList (Trigger t xs)) = if t then sort xs else xs

This data type represents a sorted list. When constructed the items are initially sorted, but operations such as `gmapT` could break that invariant. The `Trigger` type is used to detect when the Data operations have been performed, and resort the list.

The `Trigger` type is often used in conjunction with `Invariant`, which fixes the invariants.

Constructors

Trigger |
Fields trigger :: Bool fromTrigger :: a

#### Instances

Instances details

Functor Trigger # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods fmap :: (a -> b) -> Trigger a -> Trigger b (<$) :: a -> Trigger b -> Trigger a
(Data a, Typeable a) => Data (Trigger a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Trigger a -> c (Trigger a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Trigger a) toConstr :: Trigger a -> Constr dataTypeOf :: Trigger a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Trigger a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Trigger a)) gmapT :: (forall b. Data b => b -> b) -> Trigger a -> Trigger a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Trigger a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Trigger a -> r gmapQ :: (forall d. Data d => d -> u) -> Trigger a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Trigger a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Trigger a -> m (Trigger a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Trigger a -> m (Trigger a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Trigger a -> m (Trigger a)
Read a => Read (Trigger a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods readsPrec :: Int -> ReadS (Trigger a) readList :: ReadS [Trigger a] readPrec :: ReadPrec (Trigger a) readListPrec :: ReadPrec [Trigger a]
Show a => Show (Trigger a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods showsPrec :: Int -> Trigger a -> ShowS show :: Trigger a -> String showList :: [Trigger a] -> ShowS
Eq a => Eq (Trigger a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods (==) :: Trigger a -> Trigger a -> Bool (/=) :: Trigger a -> Trigger a -> Bool
Ord a => Ord (Trigger a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods compare :: Trigger a -> Trigger a -> Ordering (<) :: Trigger a -> Trigger a -> Bool (<=) :: Trigger a -> Trigger a -> Bool (>) :: Trigger a -> Trigger a -> Bool (>=) :: Trigger a -> Trigger a -> Bool max :: Trigger a -> Trigger a -> Trigger a min :: Trigger a -> Trigger a -> Trigger a

data Invariant a #

The `Invariant` data type as a `Data` instance which reports as being defined:

    data Invariant a = Invariant a

However, whenever a `gfoldl` constructs a new value, it will have the function in the `invariant` field applied to it. As an example:

    data SortedList a = SortedList (Invariant [a]) deriving (Data,Typeable)
    toSortedList xs = SortedList $ Invariant sort (sort xs)
    fromSortedList (SortedList (Invariant _ xs)) = xs

Any time an operation such as `gmapT` is applied to the data type, the `invariant` function is applied to the result. The `fromSortedList` function can then rely on this invariant.

The `gunfold` method is partially implemented - all constructed values will have an undefined value for all fields, regardless of which function is passed to `fromConstrB`. If you only use `fromConstr` (as Uniplate does) then the `gunfold` method is sufficient.

Constructors

Invariant |
Fields invariant :: a -> a fromInvariant :: a

#### Instances

Instances details

(Data a, Typeable a) => Data (Invariant a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Invariant a -> c (Invariant a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Invariant a) toConstr :: Invariant a -> Constr dataTypeOf :: Invariant a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Invariant a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Invariant a)) gmapT :: (forall b. Data b => b -> b) -> Invariant a -> Invariant a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Invariant a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Invariant a -> r gmapQ :: (forall d. Data d => d -> u) -> Invariant a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Invariant a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Invariant a -> m (Invariant a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Invariant a -> m (Invariant a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Invariant a -> m (Invariant a)
Show a => Show (Invariant a) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods showsPrec :: Int -> Invariant a -> ShowS show :: Invariant a -> String showList :: [Invariant a] -> ShowS

data Map k v #

Invariant preserving version of `Map` from the `containers` packages, suitable for use with `Uniplate`. Use `toMap` to construct values, and `fromMap` to deconstruct values.

#### Instances

Instances details

(Data k, Data v) => Data (Map k v) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Map k v -> c (Map k v) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Map k v) toConstr :: Map k v -> Constr dataTypeOf :: Map k v -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Map k v)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Map k v)) gmapT :: (forall b. Data b => b -> b) -> Map k v -> Map k v gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Map k v -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Map k v -> r gmapQ :: (forall d. Data d => d -> u) -> Map k v -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Map k v -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Map k v -> m (Map k v) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k v -> m (Map k v) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k v -> m (Map k v)
(Show k, Show v) => Show (Map k v) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods showsPrec :: Int -> Map k v -> ShowS show :: Map k v -> String showList :: [Map k v] -> ShowS
(Eq k, Eq v) => Eq (Map k v) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods (==) :: Map k v -> Map k v -> Bool (/=) :: Map k v -> Map k v -> Bool
(Ord k, Ord v) => Ord (Map k v) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods compare :: Map k v -> Map k v -> Ordering (<) :: Map k v -> Map k v -> Bool (<=) :: Map k v -> Map k v -> Bool (>) :: Map k v -> Map k v -> Bool (>=) :: Map k v -> Map k v -> Bool max :: Map k v -> Map k v -> Map k v min :: Map k v -> Map k v -> Map k v

fromMap :: Map k v -> Map k v #

Deconstruct a value of type `Map`.

toMap :: Ord k => Map k v -> Map k v #

Construct a value of type `Map`.

data Set k #

Invariant preserving version of `Set` from the `containers` packages, suitable for use with `Uniplate`. Use `toSet` to construct values, and `fromSet` to deconstruct values.

#### Instances

Instances details

Data k => Data (Set k) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Set k -> c (Set k) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Set k) toConstr :: Set k -> Constr dataTypeOf :: Set k -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Set k)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Set k)) gmapT :: (forall b. Data b => b -> b) -> Set k -> Set k gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Set k -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Set k -> r gmapQ :: (forall d. Data d => d -> u) -> Set k -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Set k -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Set k -> m (Set k) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Set k -> m (Set k) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Set k -> m (Set k)
Show k => Show (Set k) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods showsPrec :: Int -> Set k -> ShowS show :: Set k -> String showList :: [Set k] -> ShowS
Eq k => Eq (Set k) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods (==) :: Set k -> Set k -> Bool (/=) :: Set k -> Set k -> Bool
Ord k => Ord (Set k) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods compare :: Set k -> Set k -> Ordering (<) :: Set k -> Set k -> Bool (<=) :: Set k -> Set k -> Bool (>) :: Set k -> Set k -> Bool (>=) :: Set k -> Set k -> Bool max :: Set k -> Set k -> Set k min :: Set k -> Set k -> Set k

fromSet :: Set k -> Set k #

Deconstruct a value of type `Set`.

toSet :: Ord k => Set k -> Set k #

Construct a value of type `Set`.

data IntMap v #

Invariant preserving version of `IntMap` from the `containers` packages, suitable for use with `Uniplate`. Use `toIntMap` to construct values, and `fromIntMap` to deconstruct values.

#### Instances

Instances details

Data v => Data (IntMap v) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IntMap v -> c (IntMap v) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (IntMap v) toConstr :: IntMap v -> Constr dataTypeOf :: IntMap v -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (IntMap v)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (IntMap v)) gmapT :: (forall b. Data b => b -> b) -> IntMap v -> IntMap v gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IntMap v -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IntMap v -> r gmapQ :: (forall d. Data d => d -> u) -> IntMap v -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> IntMap v -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> IntMap v -> m (IntMap v) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IntMap v -> m (IntMap v) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IntMap v -> m (IntMap v)
Show v => Show (IntMap v) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods showsPrec :: Int -> IntMap v -> ShowS show :: IntMap v -> String showList :: [IntMap v] -> ShowS
Eq v => Eq (IntMap v) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods (==) :: IntMap v -> IntMap v -> Bool (/=) :: IntMap v -> IntMap v -> Bool
Ord v => Ord (IntMap v) # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods compare :: IntMap v -> IntMap v -> Ordering (<) :: IntMap v -> IntMap v -> Bool (<=) :: IntMap v -> IntMap v -> Bool (>) :: IntMap v -> IntMap v -> Bool (>=) :: IntMap v -> IntMap v -> Bool max :: IntMap v -> IntMap v -> IntMap v min :: IntMap v -> IntMap v -> IntMap v

fromIntMap :: IntMap v -> IntMap v #

Deconstruct a value of type `IntMap`.

toIntMap :: IntMap v -> IntMap v #

Construct a value of type `IntMap`.

data IntSet #

Invariant preserving version of `IntSet` from the `containers` packages, suitable for use with `Uniplate`. Use `toIntSet` to construct values, and `fromIntSet` to deconstruct values.

#### Instances

Instances details

Data IntSet # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IntSet -> c IntSet gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IntSet toConstr :: IntSet -> Constr dataTypeOf :: IntSet -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IntSet) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IntSet) gmapT :: (forall b. Data b => b -> b) -> IntSet -> IntSet gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IntSet -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IntSet -> r gmapQ :: (forall d. Data d => d -> u) -> IntSet -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> IntSet -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> IntSet -> m IntSet gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IntSet -> m IntSet gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IntSet -> m IntSet
Show IntSet # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods showsPrec :: Int -> IntSet -> ShowS show :: IntSet -> String showList :: [IntSet] -> ShowS
Eq IntSet # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods (==) :: IntSet -> IntSet -> Bool (/=) :: IntSet -> IntSet -> Bool
Ord IntSet # |
Instance details Defined in Data.Generics.Uniplate.Data.Instances Methods compare :: IntSet -> IntSet -> Ordering (<) :: IntSet -> IntSet -> Bool (<=) :: IntSet -> IntSet -> Bool (>) :: IntSet -> IntSet -> Bool (>=) :: IntSet -> IntSet -> Bool max :: IntSet -> IntSet -> IntSet min :: IntSet -> IntSet -> IntSet

fromIntSet :: IntSet -> IntSet #

Deconstruct a value of type `IntSet`.

toIntSet :: IntSet -> IntSet #

Construct a value of type `IntSet`.