Data.Generics.Product.Internal.Subtype

Structural subtype relationships between product types.

Documentation

type Context a b = (Generic a, Generic b, GSmash (Rep a) (Rep b), GUpcast (Rep a) (Rep b), CustomError a b)

class GSmash sub sup where

Methods

gsmash :: sup p -> sub p -> sub p

Instances

GSmash sub sup => GSmash (D1 c sub :: k -> Type) (sup :: k -> Type)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gsmash :: forall (p :: k0). sup p -> D1 c sub p -> D1 c sub p

GSmash sub sup => GSmash (C1 c sub :: k -> Type) (sup :: k -> Type)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gsmash :: forall (p :: k0). sup p -> C1 c sub p -> C1 c sub p

(GSmash a sup, GSmash b sup) => GSmash (a :*: b :: k -> Type) (sup :: k -> Type)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gsmash :: forall (p :: k0). sup p -> (a :*: b) p -> (a :*: b) p

(leaf ~ S1 ('MetaSel ('Just field) p f b) t, GSmashLeaf leaf sup (HasTotalFieldP field sup)) => GSmash (S1 ('MetaSel ('Just field) p f b) t :: k -> Type) (sup :: k -> Type)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gsmash :: forall (p0 :: k0). sup p0 -> S1 ('MetaSel ('Just field) p f b) t p0 -> S1 ('MetaSel ('Just field) p f b) t p0

class GUpcast (sub :: Type -> Type) (sup :: Type -> Type) where

Methods

gupcast :: sub p -> sup p

Instances

GUpcast sub sup => GUpcast sub (D1 c sup)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gupcast :: sub p -> D1 c sup p

GUpcast sub sup => GUpcast sub (C1 c sup)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gupcast :: sub p -> C1 c sup p

GLens' (HasTotalFieldPSym field) sub t => GUpcast sub (S1 ('MetaSel ('Just field) p f b) (Rec0 t))

Defined in Data.Generics.Product.Internal.Subtype

Methods

gupcast :: sub p0 -> S1 ('MetaSel ('Just field) p f b) (Rec0 t) p0

(GUpcast sub a, GUpcast sub b) => GUpcast sub (a :*: b)

Defined in Data.Generics.Product.Internal.Subtype

Methods

gupcast :: sub p -> (a :*: b) p