Contents Index

Type.Plate.Update

Documentation

type Update x = Monad m => (?sinkVar :: Var -> m Var) -> (?sinkClassId :: ClassId -> m ClassId) -> x -> m x

updateT :: Update Type

updateVK :: Update (Var, Kind)

updateF :: Update Fetter

updateE :: Update Effect

updateR :: Update Region

updateN :: Update Env

Produced by Haddock version 0.7