transformations-0.1.1.0: Generic representation of tree transformations

Safe HaskellNone

Generics.Regular.Transformations.ZipperState

Documentation

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

type ZipperState a = ([a], Loc a)Source

upMonad :: ZipperMonad a aSource

downMonad :: ZipperMonad a aSource

leftMonad :: ZipperMonad a aSource

rightMonad :: ZipperMonad a aSource

navigate :: (Regular a, Zipper (PF a)) => a -> ZipperMonad a b -> Maybe aSource

saveMonad :: ZipperMonad a aSource

loadMonad :: ZipperMonad a aSource

topMonad :: ZipperMonad a aSource

updateMonad :: (a -> a) -> ZipperMonad a aSource