Modulegeneric-deriving-1.14.6Haskell2010

Generics.Deriving.Uniplate

mostly implemented by Sean Leather.

Generic Uniplate class

1 declaration

classclass Uniplate a where

Instances16Uniplate, …

Uniplate BoolDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate CharDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate DoubleDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate FloatDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate IntDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate ()Defined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate (Maybe a)Defined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate [a]Defined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
(Generic a, Uniplate' (Rep a) a, Context' (Rep a) a) => Uniplate (Default a)Defined in generic-deriving-1.14.6 · Generics.Deriving.Default
Uniplate (Either a b)Defined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate (b, c)Defined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate (b, c, d)Defined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate (b, c, d, e)Defined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate (b, c, d, e, f)Defined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate (b, c, d, e, f, g)Defined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate (b, c, d, e, f, g, h)Defined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate

7 declarations

valueuniplate :: Uniplate a => a -> ([a], [a] -> a)

valueuniverse :: Uniplate a => a -> [a]

valuerewrite :: Uniplate a => (a -> Maybe a) -> a -> a

valuerewriteM :: (Monad m, Uniplate a) => (a -> m (Maybe a)) -> a -> m a

valuecontexts :: Uniplate a => a -> [(a, a -> a)]

valueholes :: Uniplate a => a -> [(a, a -> a)]

valuepara :: Uniplate a => (a -> [r] -> r) -> a -> r

6 declarations

valuechildrendefault :: (Generic a, Uniplate' (Rep a) a) => a -> [a]

valuecontextdefault :: (Generic a, Context' (Rep a) a) => a -> [a] -> a

valuedescenddefault :: (Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a

valuedescendMdefault

valuetransformdefault :: (Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a

valuetransformMdefault

1 declaration

classclass Uniplate' (f :: k -> Type) b where

Instances6Uniplate'

Uniplate' U1 aDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate a => Uniplate' (K1 i a) aDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate' (K1 i a) bDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
(Uniplate' f b, Uniplate' g b) => Uniplate' (f :*: g) bDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
(Uniplate' f b, Uniplate' g b) => Uniplate' (f :+: g) bDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Uniplate' f b => Uniplate' (M1 i c f) bDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate

1 declaration

classclass Context' (f :: k -> Type) b where

Instances7Context', …

Context' U1 bDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Context' (K1 i a) aDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Context' (K1 i a) bDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Context' g a => Context' (M1 i c (K1 j a) :*: g) aDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Context' g b => Context' (f :*: g) bDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
(Context' f b, Context' g b) => Context' (f :+: g) bDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate
Context' f b => Context' (M1 i c f) bDefined in generic-deriving-1.14.6 · Generics.Deriving.Uniplate