Show1 -package:grisette

class Show1 (f :: TYPE LiftedRep -> TYPE LiftedRep)
base-prelude BasePrelude
Lifting of the Show class to unary type constructors.
data Show1Args v a
transformers-compat Data.Functor.Classes.Generic.Internal
A Show1Args value either stores a Show a dictionary (for the transformers-0.4 version of Show1), or it stores the two function arguments that show occurrences of the type parameter (for the non-transformers-0.4 version of Show1).
show1TypeName :: Name
deriving-compat Data.Deriving.Internal
NonV4Show1Args :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Show1Args NonV4 a
transformers-compat Data.Functor.Classes.Generic.Internal
V4Show1Args :: Show a => Show1Args V4 a
transformers-compat Data.Functor.Classes.Generic.Internal
newtype FromStringShow1 (f :: k -> Type) (a :: k)
text-show TextShow
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
FromStringShow1 :: f a -> FromStringShow1 (f :: k -> Type) (a :: k)
text-show TextShow
newtype FromTextShow1 (f :: k -> Type) (a :: k)
text-show TextShow
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
FromTextShow1 :: f a -> FromTextShow1 (f :: k -> Type) (a :: k)
text-show TextShow
fromStringShow1 :: FromStringShow1 (f :: k -> Type) (a :: k) -> f a
text-show TextShow
fromTextShow1 :: FromTextShow1 (f :: k -> Type) (a :: k) -> f a
text-show TextShow
deriveTextShow1 :: Name -> Q [Dec]
text-show TextShow.TH
Generates a TextShow1 instance declaration for the given data type or data family instance. Since: 2
deriveTextShow1Options :: Options -> Name -> Q [Dec]
text-show TextShow.TH
Like deriveTextShow1, but takes an Options argument. Since: 3.4
deriveShow1 :: Name -> Q [Dec]
deriving-compat Text.Show.Deriving Text.Show.Deriving.Internal
Generates a Show1 instance declaration for the given data type or data family instance.
deriveShow1Options :: ShowOptions -> Name -> Q [Dec]
deriving-compat Text.Show.Deriving Text.Show.Deriving.Internal
Like deriveShow1, but takes a ShowOptions argument.
type GShow1 = GShow Identity
generic-data Generic.Data Generic.Data.Internal.Show
Generic representation of Show1 types.