Strongweak.Weaken.Generic

weaken over generic representations.

Documentation

weakenGeneric :: (Generic s, Generic w, GWeaken (Rep s) (Rep w)) => s -> w

Weaken a value generically.

The weak and strong types must be compatible. See Generic for the definition of compatibility in this context.

class GWeaken (s :: k -> Type) (w :: k -> Type) where

Methods

gweaken :: forall (p :: k). s p -> w p

Instances

GWeaken (U1 :: k -> Type) (U1 :: k -> Type)

Nothing to do for empty constructors.

Defined in Strongweak.Weaken.Generic

Methods

gweaken :: forall (p :: k). U1 p -> U1 p

GWeaken (V1 :: k -> Type) (V1 :: k -> Type)

Nothing to do for empty datatypes.

Defined in Strongweak.Weaken.Generic

Methods

gweaken :: forall (p :: k). V1 p -> V1 p

GWeaken (Rec0 s :: k -> Type) (Rec0 s :: k -> Type)

Special case: if source and target types are equal, copy the value through.

Defined in Strongweak.Weaken.Generic

Methods

gweaken :: forall (p :: k). Rec0 s p -> Rec0 s p

(Weaken s, Weakened s ~ w) => GWeaken (Rec0 s :: k -> Type) (Rec0 w :: k -> Type)

Weaken a field using the existing Weaken instance.

Defined in Strongweak.Weaken.Generic

Methods

gweaken :: forall (p :: k). Rec0 s p -> Rec0 w p

(GWeaken ls lw, GWeaken rs rw) => GWeaken (ls :*: rs :: k -> Type) (lw :*: rw :: k -> Type)

Weaken product types by weakening left and right.

Defined in Strongweak.Weaken.Generic

Methods

gweaken :: forall (p :: k). (ls :*: rs) p -> (lw :*: rw) p

(GWeaken ls lw, GWeaken rs rw) => GWeaken (ls :+: rs :: k -> Type) (lw :+: rw :: k -> Type)

Weaken sum types by casing and weakening left or right.

Defined in Strongweak.Weaken.Generic

Methods

gweaken :: forall (p :: k). (ls :+: rs) p -> (lw :+: rw) p

GWeaken s w => GWeaken (M1 is ms s :: k -> Type) (M1 iw mw w :: k -> Type)

Strip all meta.

Defined in Strongweak.Weaken.Generic

Methods

gweaken :: forall (p :: k). M1 is ms s p -> M1 iw mw w p