Copyright | 2011-2012 Universiteit Utrecht University of Oxford |
---|---|
License | BSD3 |
Maintainer | generics@haskell.org |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Generics.Deriving.Uniplate
Description
Summary: Functions inspired by the Uniplate generic programming library, mostly implemented by Sean Leather.
- class Uniplate a where
- uniplate :: Uniplate a => a -> ([a], [a] -> a)
- universe :: Uniplate a => a -> [a]
- rewrite :: Uniplate a => (a -> Maybe a) -> a -> a
- rewriteM :: (Monad m, Uniplate a) => (a -> m (Maybe a)) -> a -> m a
- contexts :: Uniplate a => a -> [(a, a -> a)]
- holes :: Uniplate a => a -> [(a, a -> a)]
- para :: Uniplate a => (a -> [r] -> r) -> a -> r
- childrendefault :: (Generic a, Uniplate' (Rep a) a) => a -> [a]
- contextdefault :: (Generic a, Context' (Rep a) a) => a -> [a] -> a
- descenddefault :: (Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a
- descendMdefault :: (Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m a
- transformdefault :: (Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a
- transformMdefault :: (Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m a
- class Uniplate' f b where
Generic Uniplate class
Methods
children :: (Generic a, Uniplate' (Rep a) a) => a -> [a] #
context :: (Generic a, Context' (Rep a) a) => a -> [a] -> a #
descend :: (a -> a) -> a -> a #
descend :: (Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a #
descendM :: Monad m => (a -> m a) -> a -> m a #
descendM :: (Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m a #
transform :: (a -> a) -> a -> a #
transform :: (Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a #
transformM :: Monad m => (a -> m a) -> a -> m a #
transformM :: (Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m a #
Instances
Uniplate Bool # | |
Uniplate Char # | |
Uniplate Double # | |
Uniplate Float # | |
Uniplate Int # | |
Uniplate () # | |
Uniplate [a] # | |
Uniplate (Maybe a) # | |
Uniplate (Either a b) # | |
Uniplate (b, c) # | |
Uniplate (b, c, d) # | |
Uniplate (b, c, d, e) # | |
Uniplate (b, c, d, e, f) # | |
Uniplate (b, c, d, e, f, g) # | |
Uniplate (b, c, d, e, f, g, h) # | |
Derived functions
Default definitions
childrendefault :: (Generic a, Uniplate' (Rep a) a) => a -> [a] #
contextdefault :: (Generic a, Context' (Rep a) a) => a -> [a] -> a #
descenddefault :: (Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a #
transformdefault :: (Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a #
Internal Uniplate class
Minimal complete definition
Methods
descend' :: (b -> b) -> f a -> f a #
descendM' :: Monad m => (b -> m b) -> f a -> m (f a) #
transform' :: (b -> b) -> f a -> f a #
transformM' :: Monad m => (b -> m b) -> f a -> m (f a) #