Data.DerivingVia · base-deriving-via-0.1.0.2

newtypenewtype InstantiatedAt (c :: Type -> Constraint) a

A hook that represents a deriving via scheme via some class constraint

The most notable example is Generic.

data T = ...
  deriving (Monoid, Semigroup)
       via InstantiatedAt Generic T

This type's parameterization is useful because many such schemes are similarly identified by a single type class, such as Ord.

Instances5Eq, Ord, Show, Semigroup, Monoid

Eq a => Eq (InstantiatedAt c a)Defined in base-deriving-via-0.1.0.2 · Data.DerivingVia
Ord a => Ord (InstantiatedAt c a)Defined in base-deriving-via-0.1.0.2 · Data.DerivingVia
Show a => Show (InstantiatedAt c a)Defined in base-deriving-via-0.1.0.2 · Data.DerivingVia
(Generic a, GSemigroup (Rep a)) => Semigroup (InstantiatedAt Generic a)Defined in base-deriving-via-0.1.0.2 · Data.DerivingVia
(Generic a, GSemigroup (Rep a), GMonoid (Rep a)) => Monoid (InstantiatedAt Generic a)Defined in base-deriving-via-0.1.0.2 · Data.DerivingVia