Rebase.Data.Functor.Invariant.TH · rebase-1.21.2

newtypenewtype Options

Options that further configure how the functions in Data.Functor.Invariant.TH should behave.

Options
- emptyCaseBehavior :: 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

valuedefaultOptions :: Options

Conservative Options that doesn't attempt to use EmptyCase (to prevent users from having to enable that extension at use sites.)

valuederiveInvariant :: Name -> Q [Dec]

Generates an Invariant instance declaration for the given data type or data family instance.

valuederiveInvariant2 :: Name -> Q [Dec]

Generates an Invariant2 instance declaration for the given data type or data family instance.

valuederiveInvariant2Options :: Options -> Name -> Q [Dec]

Like deriveInvariant2, but takes an Options argument.

valuederiveInvariantOptions :: Options -> Name -> Q [Dec]

Like deriveInvariant, but takes an Options argument.

valuemakeInvmap :: Name -> Q Exp

Generates a lambda expression which behaves like invmap (without requiring an Invariant instance).

valuemakeInvmap2 :: Name -> Q Exp

Generates a lambda expression which behaves like invmap2 (without requiring an Invariant2 instance).

valuemakeInvmap2Options :: Options -> Name -> Q Exp

Like makeInvmap2, but takes an Options argument.

valuemakeInvmapOptions :: Options -> Name -> Q Exp

Like makeInvmap, but takes an Options argument.