Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Annotated f where Source #
Nothing
getAnnotation :: f a -> a Source #
default getAnnotation :: FirstParameter (f a) a => f a -> a Source #
setAnnotation :: a -> f a -> f a Source #
default setAnnotation :: FirstParameter (f a) a => a -> f a -> f a Source #
modifyAnnotation :: (a -> a) -> f a -> f a Source #