Generics.Kind.Derive.FunctorOne

Documentation

fmapDefaultOne :: (GenericK f, GenericK f, GFunctorOne (RepK f), Reqs (RepK f) a b) => (a -> b) -> f a -> f b

class GFunctorOne (f :: LoT (Type -> Type) -> Type) where

Associated Types

type Reqs f a b :: Constraint

Methods

gfmapo :: Reqs f a b => (a -> b) -> f (LoT1 a) -> f (LoT1 b)

Instances

GFunctorOne (U1 :: LoT (Type -> Type) -> Type)

Defined in Generics.Kind.Derive.FunctorOne

Associated Types

type Reqs U1 a b

Methods

gfmapo :: Reqs U1 a b => (a -> b) -> U1 (LoT1 a) -> U1 (LoT1 b)

GFunctorOneArg t => GFunctorOne (Field t)

Defined in Generics.Kind.Derive.FunctorOne

Associated Types

type Reqs (Field t) a b

Methods

gfmapo :: Reqs (Field t) a b => (a -> b) -> Field t (LoT1 a) -> Field t (LoT1 b)

(GFunctorOne f, GFunctorOne g) => GFunctorOne (f :*: g)

Defined in Generics.Kind.Derive.FunctorOne

Associated Types

type Reqs (f :*: g) a b

Methods

gfmapo :: Reqs (f :*: g) a b => (a -> b) -> (f :*: g) (LoT1 a) -> (f :*: g) (LoT1 b)

(GFunctorOne f, GFunctorOne g) => GFunctorOne (f :+: g)

Defined in Generics.Kind.Derive.FunctorOne

Associated Types

type Reqs (f :+: g) a b

Methods

gfmapo :: Reqs (f :+: g) a b => (a -> b) -> (f :+: g) (LoT1 a) -> (f :+: g) (LoT1 b)

GFunctorOne f => GFunctorOne (c :=>: f)

Defined in Generics.Kind.Derive.FunctorOne

Associated Types

type Reqs (c :=>: f) a b

Methods

gfmapo :: Reqs (c :=>: f) a b => (a -> b) -> (c :=>: f) (LoT1 a) -> (c :=>: f) (LoT1 b)

GFunctorOne f => GFunctorOne (M1 i c f)

Defined in Generics.Kind.Derive.FunctorOne

Associated Types

type Reqs (M1 i c f) a b

Methods

gfmapo :: Reqs (M1 i c f) a b => (a -> b) -> M1 i c f (LoT1 a) -> M1 i c f (LoT1 b)

gfmapo' :: forall a b f. (GFunctorOne f, Reqs f a b) => (a -> b) -> f (LoT1 a) -> f (LoT1 b)

class GFunctorOneArg (t :: Atom (Type -> Type) Type) where

Methods

gfmapof :: Proxy t -> (a -> b) -> Interpret t (LoT1 a) -> Interpret t (LoT1 b)

Instances

GFunctorOneArg (Var0 :: Atom (Type -> Type) Type)

Defined in Generics.Kind.Derive.FunctorOne

Methods

gfmapof :: Proxy Var0 -> (a -> b) -> Interpret Var0 (LoT1 a) -> Interpret Var0 (LoT1 b)

EFunctor f => GFunctorOneArg ('Eval (('Kon f :: Atom (Type -> Type) (Type -> Exp Type)) ':@: (Var0 :: Atom (Type -> Type) Type)))

Defined in Generics.Kind.Derive.FunctorOne

Methods

gfmapof :: Proxy ('Eval ('Kon f ':@: Var0)) -> (a -> b) -> Interpret ('Eval ('Kon f ':@: Var0)) (LoT1 a) -> Interpret ('Eval ('Kon f ':@: Var0)) (LoT1 b)

GFunctorOneArg ('Kon t :: Atom (Type -> Type) Type)

Defined in Generics.Kind.Derive.FunctorOne

Methods

gfmapof :: Proxy ('Kon t) -> (a -> b) -> Interpret ('Kon t) (LoT1 a) -> Interpret ('Kon t) (LoT1 b)

(Functor f, GFunctorOneArg x) => GFunctorOneArg (f :$: x)

Defined in Generics.Kind.Derive.FunctorOne

Methods

gfmapof :: Proxy (f :$: x) -> (a -> b) -> Interpret (f :$: x) (LoT1 a) -> Interpret (f :$: x) (LoT1 b)

class EFunctor (f :: Type -> Exp Type) where

Methods

emap :: (a -> b) -> Eval (f a) -> Eval (f b)

Instances

EFunctor (Pure :: Type -> Type -> Type)

Defined in Generics.Kind.Derive.FunctorOne

Methods

emap :: (a -> b) -> Eval (Pure a) -> Eval (Pure b)

Functor f => EFunctor (Pure1 f)

Defined in Generics.Kind.Derive.FunctorOne

Methods

emap :: (a -> b) -> Eval (Pure1 f a) -> Eval (Pure1 f b)

(EFunctor t, EFunctor u) => EFunctor (t <=< u)

Defined in Generics.Kind.Derive.FunctorOne

Methods

emap :: (a -> b) -> Eval ((t <=< u) a) -> Eval ((t <=< u) b)