Strongweak.Strengthen.Generic

strengthen over generic representations.

As with base instances, generic strengthening collates all failures rather than short-circuiting on the first failure. Failures are annotated with precise information describing where the failure occurred:

• data type name
• constructor name
• field index
• field name (if present)

Documentation

strengthenGeneric :: (Generic w, Generic s, GStrengthenD (Rep w) (Rep s)) => w -> Result s

Strengthen a value generically.

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

class GStrengthenD w s where

Generic strengthening at the datatype level.

Methods

gstrengthenD :: w p -> Result (s p)

Instances

GStrengthenC wdn sdn w s => GStrengthenD (D1 ('MetaData wdn _wmd2 _wmd3 _wmd4) w :: k -> Type) (D1 ('MetaData sdn _smd2 _smd3 _smd4) s :: k -> Type)

Strengthen a generic data type, replacing its metadata wrapping.

Defined in Strongweak.Strengthen.Generic

Methods

gstrengthenD :: forall (p :: k0). D1 ('MetaData wdn _wmd2 _wmd3 _wmd4) w p -> Result (D1 ('MetaData sdn _smd2 _smd3 _smd4) s p)

class GStrengthenC (wdn :: Symbol) (sdn :: Symbol) w s where

Generic strengthening at the constructor sum level.

Methods

gstrengthenC :: w p -> Result (s p)

Instances

GStrengthenC wdn sdn (V1 :: k -> Type) (V1 :: k -> Type)

Nothing to do for empty datatypes.

Defined in Strongweak.Strengthen.Generic

Methods

gstrengthenC :: forall (p :: k0). V1 p -> Result (V1 p)

(GStrengthenS 0 w s, ReifyCstrs wcd wcn scd scn) => GStrengthenC wcd scd (C1 ('MetaCons wcn _wmc2 _wmc3) w :: k -> Type) (C1 ('MetaCons scn _smc2 _smc3) s :: k -> Type)

Enter a constructor, stripping its metadata wrapper.

Defined in Strongweak.Strengthen.Generic

Methods

gstrengthenC :: forall (p :: k0). C1 ('MetaCons wcn _wmc2 _wmc3) w p -> Result (C1 ('MetaCons scn _smc2 _smc3) s p)

(GStrengthenC wdn sdn wl sl, GStrengthenC wdn sdn wr sr) => GStrengthenC wdn sdn (wl :+: wr :: k -> Type) (sl :+: sr :: k -> Type)

Strengthen sum types by casing and strengthening left or right.

Defined in Strongweak.Strengthen.Generic

Methods

gstrengthenC :: forall (p :: k0). (wl :+: wr) p -> Result ((sl :+: sr) p)

class ReifyCstrs (ld :: Symbol) (lc :: Symbol) (rd :: Symbol) (rc :: Symbol) where

Methods

reifyCstrs :: Builder

Instances

(KnownSymbol d, KnownSymbol c) => ReifyCstrs d c d c

Special case: data type and constructor names are equivalent: simplify

Defined in Strongweak.Strengthen.Generic

Methods

reifyCstrs :: Builder

(KnownSymbol ld, KnownSymbol lc, KnownSymbol rd, KnownSymbol rc) => ReifyCstrs ld lc rd rc

Defined in Strongweak.Strengthen.Generic

Methods

reifyCstrs :: Builder

class GStrengthenS (i :: Natural) w s where

Generic strengthening at the constructor level.

Methods

gstrengthenS :: w p -> Validation [(Builder, StrengthenFailure)] (s p)

Instances

GStrengthenS i (U1 :: k -> Type) (U1 :: k -> Type)

Nothing to do for empty constructors.

Defined in Strongweak.Strengthen.Generic

Methods

gstrengthenS :: forall (p :: k0). U1 p -> Validation [(Builder, StrengthenFailure)] (U1 p)

(GStrengthenS i wl sl, GStrengthenS (i + ProdArity wl) wr sr) => GStrengthenS i (wl :*: wr :: k -> Type) (sl :*: sr :: k -> Type)

Strengthen product types by strengthening left and right.

Defined in Strongweak.Strengthen.Generic

Methods

gstrengthenS :: forall (p :: k0). (wl :*: wr) p -> Validation [(Builder, StrengthenFailure)] ((sl :*: sr) p)

GStrengthenS i (S1 ('MetaSel _wms1 _wms2 _wms3 _wms4) (Rec0 a) :: k -> Type) (S1 ('MetaSel _sms1 _sms2 _sms3 _sms4) (Rec0 a) :: k -> Type)

Special case: if source and target types are equivalent, just replace meta.

Note that we have to expand the metadata awkwardly for the overlapping instances to work correctly. (There should be a better way to write this, but it's purely style, so light TODO.)

Defined in Strongweak.Strengthen.Generic

Methods

gstrengthenS :: forall (p :: k0). S1 ('MetaSel _wms1 _wms2 _wms3 _wms4) (Rec0 a) p -> Validation [(Builder, StrengthenFailure)] (S1 ('MetaSel _sms1 _sms2 _sms3 _sms4) (Rec0 a) p)

(Weak s ~ w, Strengthen s, ReifySelector i wmr smr) => GStrengthenS i (S1 ('MetaSel wmr _wms2 _wms3 _wms4) (Rec0 w) :: k -> Type) (S1 ('MetaSel smr _sms2 _sms3 _sms4) (Rec0 s) :: k -> Type)

Strengthen a field using the existing Strengthen instance.

Defined in Strongweak.Strengthen.Generic

Methods

gstrengthenS :: forall (p :: k0). S1 ('MetaSel wmr _wms2 _wms3 _wms4) (Rec0 w) p -> Validation [(Builder, StrengthenFailure)] (S1 ('MetaSel smr _sms2 _sms3 _sms4) (Rec0 s) p)

class ReifySelector (i :: Natural) (l :: Maybe Symbol) (r :: Maybe Symbol) where

Methods

reifySelector :: Builder

Instances

KnownNat i => ReifySelector i ('Nothing :: Maybe Symbol) ('Nothing :: Maybe Symbol)

Defined in Strongweak.Strengthen.Generic

Methods

reifySelector :: Builder

(KnownNat i, KnownSymbol rnm) => ReifySelector i ('Nothing :: Maybe Symbol) ('Just rnm)

Defined in Strongweak.Strengthen.Generic

Methods

reifySelector :: Builder

(KnownNat i, KnownSymbol lnm) => ReifySelector i ('Just lnm) ('Nothing :: Maybe Symbol)

Defined in Strongweak.Strengthen.Generic

Methods

reifySelector :: Builder

(KnownNat i, KnownSymbol lnm) => ReifySelector i ('Just lnm) ('Just lnm)

Special case: both types had a record name, and they're equal

Defined in Strongweak.Strengthen.Generic

Methods

reifySelector :: Builder

(KnownNat i, KnownSymbol lnm, KnownSymbol rnm) => ReifySelector i ('Just lnm) ('Just rnm)

Defined in Strongweak.Strengthen.Generic

Methods

reifySelector :: Builder

(.>) :: (a -> b) -> (b -> c) -> a -> c

type family ProdArity (f :: k -> Type) :: Natural where ...

Equations

ProdArity (S1 c f) = 1

ProdArity (l :*: r) = ProdArity l + ProdArity r