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
mostly implemented by Sean Leather.
Synopsis
- 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 :: k -> Type) b where
- children' :: forall (a :: k). f a -> [b]
- descend' :: forall (a :: k). (b -> b) -> f a -> f a
- descendM' :: forall m (a :: k). Monad m => (b -> m b) -> f a -> m (f a)
- transform' :: forall (a :: k). (b -> b) -> f a -> f a
- transformM' :: forall m (a :: k). Monad m => (b -> m b) -> f a -> m (f a)
- class Context' (f :: k -> Type) b where
- context' :: forall (a :: k). f a -> [b] -> f a
Generic Uniplate class
Minimal complete definition
Nothing
Methods
descend :: (a -> a) -> a -> a #
descendM :: Monad m => (a -> m a) -> a -> m a #
transform :: (a -> a) -> a -> a #
transformM :: Monad m => (a -> m a) -> a -> m a #
Instances
Uniplate () # | |
Uniplate Bool # | |
Defined in Generics.Deriving.Uniplate | |
Uniplate Char # | |
Defined in Generics.Deriving.Uniplate | |
Uniplate Double # | |
Defined in Generics.Deriving.Uniplate Methods children :: Double -> [Double] # context :: Double -> [Double] -> Double # descend :: (Double -> Double) -> Double -> Double # descendM :: Monad m => (Double -> m Double) -> Double -> m Double # transform :: (Double -> Double) -> Double -> Double # transformM :: Monad m => (Double -> m Double) -> Double -> m Double # | |
Uniplate Float # | |
Defined in Generics.Deriving.Uniplate | |
Uniplate Int # | |
(Generic a, Uniplate' (Rep a) a, Context' (Rep a) a) => Uniplate (Default a) # | |
Defined in Generics.Deriving.Default Methods children :: Default a -> [Default a] # context :: Default a -> [Default a] -> Default a # descend :: (Default a -> Default a) -> Default a -> Default a # descendM :: Monad m => (Default a -> m (Default a)) -> Default a -> m (Default a) # transform :: (Default a -> Default a) -> Default a -> Default a # transformM :: Monad m => (Default a -> m (Default a)) -> Default a -> m (Default a) # | |
Uniplate (Maybe a) # | |
Defined in Generics.Deriving.Uniplate Methods children :: Maybe a -> [Maybe a] # context :: Maybe a -> [Maybe a] -> Maybe a # descend :: (Maybe a -> Maybe a) -> Maybe a -> Maybe a # descendM :: Monad m => (Maybe a -> m (Maybe a)) -> Maybe a -> m (Maybe a) # transform :: (Maybe a -> Maybe a) -> Maybe a -> Maybe a # transformM :: Monad m => (Maybe a -> m (Maybe a)) -> Maybe a -> m (Maybe a) # | |
Uniplate [a] # | |
Uniplate (Either a b) # | |
Defined in Generics.Deriving.Uniplate Methods children :: Either a b -> [Either a b] # context :: Either a b -> [Either a b] -> Either a b # descend :: (Either a b -> Either a b) -> Either a b -> Either a b # descendM :: Monad m => (Either a b -> m (Either a b)) -> Either a b -> m (Either a b) # transform :: (Either a b -> Either a b) -> Either a b -> Either a b # transformM :: Monad m => (Either a b -> m (Either a b)) -> Either a b -> m (Either a b) # | |
Uniplate (b, c) # | |
Defined in Generics.Deriving.Uniplate Methods children :: (b, c) -> [(b, c)] # context :: (b, c) -> [(b, c)] -> (b, c) # descend :: ((b, c) -> (b, c)) -> (b, c) -> (b, c) # descendM :: Monad m => ((b, c) -> m (b, c)) -> (b, c) -> m (b, c) # transform :: ((b, c) -> (b, c)) -> (b, c) -> (b, c) # transformM :: Monad m => ((b, c) -> m (b, c)) -> (b, c) -> m (b, c) # | |
Uniplate (b, c, d) # | |
Defined in Generics.Deriving.Uniplate Methods children :: (b, c, d) -> [(b, c, d)] # context :: (b, c, d) -> [(b, c, d)] -> (b, c, d) # descend :: ((b, c, d) -> (b, c, d)) -> (b, c, d) -> (b, c, d) # descendM :: Monad m => ((b, c, d) -> m (b, c, d)) -> (b, c, d) -> m (b, c, d) # transform :: ((b, c, d) -> (b, c, d)) -> (b, c, d) -> (b, c, d) # transformM :: Monad m => ((b, c, d) -> m (b, c, d)) -> (b, c, d) -> m (b, c, d) # | |
Uniplate (b, c, d, e) # | |
Defined in Generics.Deriving.Uniplate Methods children :: (b, c, d, e) -> [(b, c, d, e)] # context :: (b, c, d, e) -> [(b, c, d, e)] -> (b, c, d, e) # descend :: ((b, c, d, e) -> (b, c, d, e)) -> (b, c, d, e) -> (b, c, d, e) # descendM :: Monad m => ((b, c, d, e) -> m (b, c, d, e)) -> (b, c, d, e) -> m (b, c, d, e) # transform :: ((b, c, d, e) -> (b, c, d, e)) -> (b, c, d, e) -> (b, c, d, e) # transformM :: Monad m => ((b, c, d, e) -> m (b, c, d, e)) -> (b, c, d, e) -> m (b, c, d, e) # | |
Uniplate (b, c, d, e, f) # | |
Defined in Generics.Deriving.Uniplate Methods children :: (b, c, d, e, f) -> [(b, c, d, e, f)] # context :: (b, c, d, e, f) -> [(b, c, d, e, f)] -> (b, c, d, e, f) # descend :: ((b, c, d, e, f) -> (b, c, d, e, f)) -> (b, c, d, e, f) -> (b, c, d, e, f) # descendM :: Monad m => ((b, c, d, e, f) -> m (b, c, d, e, f)) -> (b, c, d, e, f) -> m (b, c, d, e, f) # transform :: ((b, c, d, e, f) -> (b, c, d, e, f)) -> (b, c, d, e, f) -> (b, c, d, e, f) # transformM :: Monad m => ((b, c, d, e, f) -> m (b, c, d, e, f)) -> (b, c, d, e, f) -> m (b, c, d, e, f) # | |
Uniplate (b, c, d, e, f, g) # | |
Defined in Generics.Deriving.Uniplate Methods children :: (b, c, d, e, f, g) -> [(b, c, d, e, f, g)] # context :: (b, c, d, e, f, g) -> [(b, c, d, e, f, g)] -> (b, c, d, e, f, g) # descend :: ((b, c, d, e, f, g) -> (b, c, d, e, f, g)) -> (b, c, d, e, f, g) -> (b, c, d, e, f, g) # descendM :: Monad m => ((b, c, d, e, f, g) -> m (b, c, d, e, f, g)) -> (b, c, d, e, f, g) -> m (b, c, d, e, f, g) # transform :: ((b, c, d, e, f, g) -> (b, c, d, e, f, g)) -> (b, c, d, e, f, g) -> (b, c, d, e, f, g) # transformM :: Monad m => ((b, c, d, e, f, g) -> m (b, c, d, e, f, g)) -> (b, c, d, e, f, g) -> m (b, c, d, e, f, g) # | |
Uniplate (b, c, d, e, f, g, h) # | |
Defined in Generics.Deriving.Uniplate Methods children :: (b, c, d, e, f, g, h) -> [(b, c, d, e, f, g, h)] # context :: (b, c, d, e, f, g, h) -> [(b, c, d, e, f, g, h)] -> (b, c, d, e, f, g, h) # descend :: ((b, c, d, e, f, g, h) -> (b, c, d, e, f, g, h)) -> (b, c, d, e, f, g, h) -> (b, c, d, e, f, g, h) # descendM :: Monad m => ((b, c, d, e, f, g, h) -> m (b, c, d, e, f, g, h)) -> (b, c, d, e, f, g, h) -> m (b, c, d, e, f, g, h) # transform :: ((b, c, d, e, f, g, h) -> (b, c, d, e, f, g, h)) -> (b, c, d, e, f, g, h) -> (b, c, d, e, f, g, h) # transformM :: Monad m => ((b, c, d, e, f, g, h) -> m (b, c, d, e, f, g, h)) -> (b, c, d, e, f, g, h) -> m (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
class Uniplate' (f :: k -> Type) b where #
Methods
children' :: forall (a :: k). f a -> [b] #
descend' :: forall (a :: k). (b -> b) -> f a -> f a #
descendM' :: forall m (a :: k). Monad m => (b -> m b) -> f a -> m (f a) #
transform' :: forall (a :: k). (b -> b) -> f a -> f a #
transformM' :: forall m (a :: k). Monad m => (b -> m b) -> f a -> m (f a) #
Instances
Uniplate' (U1 :: k -> Type) a # | |
Defined in Generics.Deriving.Uniplate Methods children' :: forall (a0 :: k). U1 a0 -> [a] # descend' :: forall (a0 :: k). (a -> a) -> U1 a0 -> U1 a0 # descendM' :: forall m (a0 :: k). Monad m => (a -> m a) -> U1 a0 -> m (U1 a0) # transform' :: forall (a0 :: k). (a -> a) -> U1 a0 -> U1 a0 # transformM' :: forall m (a0 :: k). Monad m => (a -> m a) -> U1 a0 -> m (U1 a0) # | |
(Uniplate' f b, Uniplate' g b) => Uniplate' (f :*: g :: k -> Type) b # | |
Defined in Generics.Deriving.Uniplate Methods children' :: forall (a :: k). (f :*: g) a -> [b] # descend' :: forall (a :: k). (b -> b) -> (f :*: g) a -> (f :*: g) a # descendM' :: forall m (a :: k). Monad m => (b -> m b) -> (f :*: g) a -> m ((f :*: g) a) # transform' :: forall (a :: k). (b -> b) -> (f :*: g) a -> (f :*: g) a # transformM' :: forall m (a :: k). Monad m => (b -> m b) -> (f :*: g) a -> m ((f :*: g) a) # | |
(Uniplate' f b, Uniplate' g b) => Uniplate' (f :+: g :: k -> Type) b # | |
Defined in Generics.Deriving.Uniplate Methods children' :: forall (a :: k). (f :+: g) a -> [b] # descend' :: forall (a :: k). (b -> b) -> (f :+: g) a -> (f :+: g) a # descendM' :: forall m (a :: k). Monad m => (b -> m b) -> (f :+: g) a -> m ((f :+: g) a) # transform' :: forall (a :: k). (b -> b) -> (f :+: g) a -> (f :+: g) a # transformM' :: forall m (a :: k). Monad m => (b -> m b) -> (f :+: g) a -> m ((f :+: g) a) # | |
Uniplate a => Uniplate' (K1 i a :: k -> Type) a # | |
Defined in Generics.Deriving.Uniplate Methods children' :: forall (a0 :: k). K1 i a a0 -> [a] # descend' :: forall (a0 :: k). (a -> a) -> K1 i a a0 -> K1 i a a0 # descendM' :: forall m (a0 :: k). Monad m => (a -> m a) -> K1 i a a0 -> m (K1 i a a0) # transform' :: forall (a0 :: k). (a -> a) -> K1 i a a0 -> K1 i a a0 # transformM' :: forall m (a0 :: k). Monad m => (a -> m a) -> K1 i a a0 -> m (K1 i a a0) # | |
Uniplate' (K1 i a :: k -> Type) b # | |
Defined in Generics.Deriving.Uniplate Methods children' :: forall (a0 :: k). K1 i a a0 -> [b] # descend' :: forall (a0 :: k). (b -> b) -> K1 i a a0 -> K1 i a a0 # descendM' :: forall m (a0 :: k). Monad m => (b -> m b) -> K1 i a a0 -> m (K1 i a a0) # transform' :: forall (a0 :: k). (b -> b) -> K1 i a a0 -> K1 i a a0 # transformM' :: forall m (a0 :: k). Monad m => (b -> m b) -> K1 i a a0 -> m (K1 i a a0) # | |
Uniplate' f b => Uniplate' (M1 i c f :: k -> Type) b # | |
Defined in Generics.Deriving.Uniplate Methods children' :: forall (a :: k). M1 i c f a -> [b] # descend' :: forall (a :: k). (b -> b) -> M1 i c f a -> M1 i c f a # descendM' :: forall m (a :: k). Monad m => (b -> m b) -> M1 i c f a -> m (M1 i c f a) # transform' :: forall (a :: k). (b -> b) -> M1 i c f a -> M1 i c f a # transformM' :: forall m (a :: k). Monad m => (b -> m b) -> M1 i c f a -> m (M1 i c f a) # |
Internal Context class
class Context' (f :: k -> Type) b where #
Instances
Context' (U1 :: k -> Type) b # | |
Defined in Generics.Deriving.Uniplate | |
Context' g a => Context' (M1 i c (K1 j a :: k -> Type) :*: g :: k -> Type) a # | |
Context' g b => Context' (f :*: g :: k -> Type) b # | |
Defined in Generics.Deriving.Uniplate | |
(Context' f b, Context' g b) => Context' (f :+: g :: k -> Type) b # | |
Defined in Generics.Deriving.Uniplate | |
Context' (K1 i a :: k -> Type) a # | |
Defined in Generics.Deriving.Uniplate | |
Context' (K1 i a :: k -> Type) b # | |
Defined in Generics.Deriving.Uniplate | |
Context' f b => Context' (M1 i c f :: k -> Type) b # | |
Defined in Generics.Deriving.Uniplate |