Show1 -package:transformers-compat

class Show1 (f :: TYPE LiftedRep -> TYPE LiftedRep)

Lifting of the Show class to unary type constructors.

newtype FromStringShow1 (f :: k -> Type) (a :: k)

An adapter newtype, suitable for DerivingVia. The TextShow1 instance for FromStringShow1 is based on its String Show1 instance. That is,

liftShowbPrec sp sl p (FromStringShow1 x) =
showsPrecToShowbPrec (liftShowsPrec (showbPrecToShowsPrec sp)
(showbToShows         sl))
p x

Since: 3

newtype FromTextShow1 (f :: k -> Type) (a :: k)

An adapter newtype, suitable for DerivingVia. The String Show1 instance for FromTextShow1 is based on its TextShow1 instance. That is,

liftShowsPrec sp sl p (FromTextShow1 x) =
showbPrecToShowsPrec (liftShowbPrec (showsPrecToShowbPrec sp)
(showsToShowb         sl))
p x

Since: 3

Generates a TextShow1 instance declaration for the given data type or data family instance. Since: 2

Like deriveTextShow1, but takes an Options argument. Since: 3.4

Generates a Show1 instance declaration for the given data type or data family instance.

Like deriveShow1, but takes a ShowOptions argument.

type GShow1 = GShow Identity

Generic representation of Show1 types.

Derive Show1 instance for a data type.