Data.Functor.Update

Extends Representable with support for modifying elements.

Documentation

class Representable f => Update f where

Extends Representable with support for modifying elements.

If Eq (Rep f) is available, this is already possible by roundabout means, but this class lets instances provide a more direct method that doesn't require per-field equality tests.

Methods

overRep :: Rep f -> (a -> a) -> f a -> f a

Instances

(Generic1 f, GTabulate (Rep1 f), GUpdate (Rep1 f), Functor f) => Update (FieldRep f)

Defined in Data.Functor.Update

Methods

overRep :: Rep (FieldRep f) -> (a -> a) -> FieldRep f a -> FieldRep f a

updateRep :: Update f => Rep f -> a -> f a -> f a

Update an f a at a given index.

ixRep :: (Update f, Functor m) => Rep f -> (a -> m a) -> f a -> m (f a)

A Lens to the field identified by a given Rep.

    ixRep :: Update f => Rep f -> Lens' (f a) a

class GUpdate rec where

The Generic1 implementation of Update.

Methods

gsetters :: ((forall a. (a -> a) -> rec a -> rec a) -> r) -> rec r

Instances

GUpdate Par1

Defined in Data.Functor.Update

Methods

gsetters :: ((forall a. (a -> a) -> Par1 a -> Par1 a) -> r) -> Par1 r

GUpdate (U1 :: Type -> Type)

Defined in Data.Functor.Update

Methods

gsetters :: ((forall a. (a -> a) -> U1 a -> U1 a) -> r) -> U1 r

GUpdate rec => GUpdate (Rec1 rec)

Defined in Data.Functor.Update

Methods

gsetters :: ((forall a. (a -> a) -> Rec1 rec a -> Rec1 rec a) -> r) -> Rec1 rec r

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

Defined in Data.Functor.Update

Methods

gsetters :: ((forall a. (a -> a) -> (f :*: g) a -> (f :*: g) a) -> r) -> (f :*: g) r

GUpdate rec => GUpdate (M1 k i rec)

Defined in Data.Functor.Update

Methods

gsetters :: ((forall a. (a -> a) -> M1 k i rec a -> M1 k i rec a) -> r) -> M1 k i rec r

(GUpdate f, GUpdate g) => GUpdate (f :.: g)

Defined in Data.Functor.Update

Methods

gsetters :: ((forall a. (a -> a) -> (f :.: g) a -> (f :.: g) a) -> r) -> (f :.: g) r