transformations-0.1.1.0: Generic representation of tree transformations

Safe HaskellSafe-Inferred

Generics.MultiRec.Transformations.ZipperState

Documentation

type ZipperMonad phi r a b = StateT (ZipperState phi r a) Maybe bSource

type ZipperState phi r a = ([Any phi], Loc phi r a)Source

upMonad :: (EqS phi, El phi a) => ZipperMonad phi I0 a (Any phi)Source

downMonad :: (EqS phi, El phi a) => ZipperMonad phi I0 a (Any phi)Source

leftMonad :: (EqS phi, El phi a) => ZipperMonad phi I0 a (Any phi)Source

rightMonad :: (EqS phi, El phi a) => ZipperMonad phi I0 a (Any phi)Source

navigate :: (Fam phi, EqS phi, El phi a, Zipper phi (PF phi)) => phi a -> a -> ZipperMonad phi I0 a b -> Maybe aSource

saveMonad :: (EqS phi, El phi a) => ZipperMonad phi I0 a (Any phi)Source

loadMonad :: (EqS phi, El phi a) => ZipperMonad phi I0 a (Any phi)Source

topMonad :: (EqS phi, El phi a) => ZipperMonad phi I0 a (Any phi)Source

updateMonad :: (EqS phi, El phi a) => (forall xi. phi xi -> xi -> Maybe xi) -> ZipperMonad phi I0 a (Any phi)Source