Generics.Deriving.Functor

Generic Functor class

class GFunctor f where

Minimal complete definition

Nothing

Methods

gmap :: (a -> b) -> f a -> f b

gmap :: (Generic1 f, GFunctor' (Rep1 f)) => (a -> b) -> f a -> f b

Instances

GFunctor []

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> [a] -> [b]

GFunctor Maybe

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Maybe a -> Maybe b

GFunctor IO

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> IO a -> IO b

GFunctor Complex

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Complex a -> Complex b

GFunctor Min

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Min a -> Min b

GFunctor Max

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Max a -> Max b

GFunctor First

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> First a -> First b

GFunctor Last

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Last a -> Last b

GFunctor WrappedMonoid

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> WrappedMonoid a -> WrappedMonoid b

GFunctor Option

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Option a -> Option b

GFunctor ZipList

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> ZipList a -> ZipList b

GFunctor Identity

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Identity a -> Identity b

GFunctor First

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> First a -> First b

GFunctor Last

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Last a -> Last b

GFunctor Dual

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Dual a -> Dual b

GFunctor Sum

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Sum a -> Sum b

GFunctor Product

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Product a -> Product b

GFunctor Down

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Down a -> Down b

GFunctor NonEmpty

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> NonEmpty a -> NonEmpty b

GFunctor (Either a)

Defined in Generics.Deriving.Functor

Methods

gmap :: (a0 -> b) -> Either a a0 -> Either a b

GFunctor ((,) a)

Defined in Generics.Deriving.Functor

Methods

gmap :: (a0 -> b) -> (a, a0) -> (a, b)

GFunctor (Arg a)

Defined in Generics.Deriving.Functor

Methods

gmap :: (a0 -> b) -> Arg a a0 -> Arg a b

GFunctor (Proxy :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Proxy a -> Proxy b

(Generic1 f, GFunctor' (Rep1 f)) => GFunctor (Default1 f)

Defined in Generics.Deriving.Default

Methods

gmap :: (a -> b) -> Default1 f a -> Default1 f b

GFunctor (Const m :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Const m a -> Const m b

GFunctor f => GFunctor (Alt f)

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Alt f a -> Alt f b

GFunctor ((->) r :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> (r -> a) -> r -> b

(GFunctor f, GFunctor g) => GFunctor (Product f g)

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Product f g a -> Product f g b

(GFunctor f, GFunctor g) => GFunctor (Sum f g)

Defined in Generics.Deriving.Functor

Methods

gmap :: (a -> b) -> Sum f g a -> Sum f g b

Default method

gmapdefault :: (Generic1 f, GFunctor' (Rep1 f)) => (a -> b) -> f a -> f b

Internal Functor class

class GFunctor' f where

Methods

gmap' :: (a -> b) -> f a -> f b

Instances

GFunctor' Par1

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> Par1 a -> Par1 b

GFunctor' (V1 :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> V1 a -> V1 b

GFunctor' (U1 :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> U1 a -> U1 b

GFunctor' (UAddr :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> UAddr a -> UAddr b

GFunctor' (UChar :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> UChar a -> UChar b

GFunctor' (UDouble :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> UDouble a -> UDouble b

GFunctor' (UFloat :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> UFloat a -> UFloat b

GFunctor' (UInt :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> UInt a -> UInt b

GFunctor' (UWord :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> UWord a -> UWord b

GFunctor f => GFunctor' (Rec1 f)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> Rec1 f a -> Rec1 f b

GFunctor' (K1 i c :: Type -> Type)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> K1 i c a -> K1 i c b

(GFunctor' f, GFunctor' g) => GFunctor' (f :+: g)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> (f :+: g) a -> (f :+: g) b

(GFunctor' f, GFunctor' g) => GFunctor' (f :*: g)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> (f :*: g) a -> (f :*: g) b

GFunctor' f => GFunctor' (M1 i c f)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> M1 i c f a -> M1 i c f b

(GFunctor f, GFunctor' g) => GFunctor' (f :.: g)

Defined in Generics.Deriving.Functor

Methods

gmap' :: (a -> b) -> (f :.: g) a -> (f :.: g) b