Generics.Regular.Transformations.Main

Synopsis

• diff :: forall a. Transform a => a -> a -> Transformation a
• apply :: Transform a => Transformation a -> a -> Maybe a
• type Transformation a = [(Path a, Fix (WithRef a))]
• data WithRef a b
  • = InR (PF a b)
  • | Ref (Path a)
• type Path a = [Dir (PF a)]
• class (Regular a, Children (PF a), Functor (PF a), ZipChildren (PF a), SEq (PF a), ExtractP (PF a), MapP (PF a), GMap (PF a), GOrd (PF a), Eq (PF a)) => Transform a
• class HasRef a where
  • type RefRep a
  • toRef :: WithRef a (RefRep a) -> RefRep a
  • fromRef :: RefRep a -> WithRef a (RefRep a)
• type NiceTransformation a = [(Path a, RefRep a)]
• toNiceTransformation :: (Functor (PF a), HasRef a) => Transformation a -> NiceTransformation a
• fromNiceTransformation :: (Functor (PF a), HasRef a) => NiceTransformation a -> Transformation a

Documentation