Modulederiving-compat-0.6.8Haskell2010

Text.Show.Deriving.Internal

Exports functions to mechanically derive Show, Show1, and Show2 instances.

Note: this is an internal module, and as such, the API presented here is not guaranteed to be stable, even between minor releases of this library.

1 type
26 values

Packagederiving-compat-0.6.8
Exports27
LanguageHaskell2010
LicenceBSD-3-Clause
SourceInternal.hs

Show

8 declarations

valuederiveShow :: Name -> Q [Dec]

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

valuederiveShowOptions :: ShowOptions -> Name -> Q [Dec]

Like deriveShow, but takes a ShowOptions argument.

valuemakeShowsPrec :: Name -> Q Exp

Generates a lambda expression which behaves like showsPrec (without requiring a Show instance).

valuemakeShowsPrecOptions :: ShowOptions -> Name -> Q Exp

Like makeShowsPrec, but takes a ShowOptions argument.

valuemakeShow :: Name -> Q Exp

Generates a lambda expression which behaves like show (without requiring a Show instance).

valuemakeShowOptions :: ShowOptions -> Name -> Q Exp

Like makeShow, but takes a ShowOptions argument.

valuemakeShowList :: Name -> Q Exp

Generates a lambda expression which behaves like showList (without requiring a Show instance).

valuemakeShowListOptions :: ShowOptions -> Name -> Q Exp

Like makeShowList, but takes a ShowOptions argument.

`Show1`

8 declarations

valuederiveShow1 :: Name -> Q [Dec]

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

valuederiveShow1Options :: ShowOptions -> Name -> Q [Dec]

Like deriveShow1, but takes a ShowOptions argument.

valuemakeLiftShowsPrec :: Name -> Q Exp

Generates a lambda expression which behaves like liftShowsPrec (without requiring a Show1 instance).

This function is not available with transformers-0.4.

valuemakeLiftShowsPrecOptions :: ShowOptions -> Name -> Q Exp

Like makeLiftShowsPrec, but takes a ShowOptions argument.

This function is not available with transformers-0.4.

valuemakeLiftShowList :: Name -> Q Exp

Generates a lambda expression which behaves like liftShowList (without requiring a Show instance).

This function is not available with transformers-0.4.

valuemakeLiftShowListOptions :: ShowOptions -> Name -> Q Exp

Like makeLiftShowList, but takes a ShowOptions argument.

This function is not available with transformers-0.4.

valuemakeShowsPrec1 :: Name -> Q Exp

Generates a lambda expression which behaves like showsPrec1 (without requiring a Show1 instance).

valuemakeShowsPrec1Options :: ShowOptions -> Name -> Q Exp

Like makeShowsPrec1, but takes a ShowOptions argument.

`Show2`

8 declarations

valuederiveShow2 :: Name -> Q [Dec]

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

This function is not available with transformers-0.4.

valuederiveShow2Options :: ShowOptions -> Name -> Q [Dec]

Like deriveShow2, but takes a ShowOptions argument.

This function is not available with transformers-0.4.

valuemakeLiftShowsPrec2 :: Name -> Q Exp

Generates a lambda expression which behaves like liftShowsPrec2 (without requiring a Show2 instance).

This function is not available with transformers-0.4.

valuemakeLiftShowsPrec2Options :: ShowOptions -> Name -> Q Exp

Like makeLiftShowsPrec2, but takes a ShowOptions argument.

This function is not available with transformers-0.4.

valuemakeLiftShowList2 :: Name -> Q Exp

Generates a lambda expression which behaves like liftShowList2 (without requiring a Show instance).

This function is not available with transformers-0.4.

valuemakeLiftShowList2Options :: ShowOptions -> Name -> Q Exp

Like makeLiftShowList2, but takes a ShowOptions argument.

This function is not available with transformers-0.4.

valuemakeShowsPrec2 :: Name -> Q Exp

Generates a lambda expression which behaves like showsPrec2 (without requiring a Show2 instance).

This function is not available with transformers-0.4.

valuemakeShowsPrec2Options :: ShowOptions -> Name -> Q Exp

Like makeShowsPrec2, but takes a ShowOptions argument.

This function is not available with transformers-0.4.

ShowOptions

3 declarations

datadata ShowOptions

Options that further configure how the functions in Text.Show.Deriving should behave.

Constructors

ShowOptions
- ghc8ShowBehavior :: Bool
  If True, the derived Show, Show1, or Show2 instance will not surround the output of showing fields of unlifted types with parentheses, and the output will be suffixed with hash signs (#).
- showEmptyCaseBehavior :: Bool
  If True, derived instances for empty data types (i.e., ones with no data constructors) will use the EmptyCase language extension. If False, derived instances will simply use seq instead. (This has no effect on GHCs before 7.8, since EmptyCase is only available in 7.8 or later.)

Instances4Eq, Ord, Read, Show

Eq ShowOptionsDefined in deriving-compat-0.6.8 · Text.Show.Deriving.Internal
Ord ShowOptionsDefined in deriving-compat-0.6.8 · Text.Show.Deriving.Internal
Read ShowOptionsDefined in deriving-compat-0.6.8 · Text.Show.Deriving.Internal
Show ShowOptionsDefined in deriving-compat-0.6.8 · Text.Show.Deriving.Internal

valuedefaultShowOptions :: ShowOptions

ShowOptions that match the behavior of the most recent GHC release.

valuelegacyShowOptions :: ShowOptions

ShowOptions that match the behavior of the installed version of GHC.