fixplate-0.1.2: Uniplate-style generic traversals for fixed-point types, with some extras.

Safe HaskellSafe-Infered

Data.Generics.Fixplate.Structure

Description

Changing the structure of a tree.

Synopsis

Documentation

type NatTrafo f g = forall a. f a -> g aSource

The type of natural transformations.

restructure :: Functor f => NatTrafo f g -> Mu f -> Mu gSource

Changing the structure of a tree.

liftAnn :: (f e -> g e) -> Ann f a e -> Ann g a eSource

Lifting natural transformations to annotations.