Modulederiving-compat-0.6.8Haskell2010

Data.Traversable.Deriving

Exports functions to mechanically derive Traversable instances in a way that mimics how the -XDeriveTraversable extension works since GHC 8.0.

Derived Traversable instances from this module do not generate superfluous pure expressions in its implementation of traverse. One can verify this by compiling a module that uses deriveTraversable with the -ddump-splices GHC flag.

These changes make it possible to derive Traversable instances for data types with unlifted argument types, e.g.,

data IntHash a = IntHash Int# a

deriving instance Traversable IntHash -- On GHC 8.0  on later
$(deriveTraversable ''IntHash)        -- On GHC 7.10 and earlier

For more info on these changes, see this GHC wiki page.

1 type
11 values

Packagederiving-compat-0.6.8
Exports12
LanguageHaskell2010
LicenceBSD-3-Clause
SourceDeriving.hs

Traversable

10 declarations

valuederiveTraversable :: Name -> Q [Dec]

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

valuederiveTraversableOptions :: FFTOptions -> Name -> Q [Dec]

Like deriveTraverse, but takes an FFTOptions argument.

valuemakeTraverse :: Name -> Q Exp

Generates a lambda expression which behaves like traverse (without requiring a Traversable instance).

valuemakeTraverseOptions :: FFTOptions -> Name -> Q Exp

Like makeTraverse, but takes an FFTOptions argument.

valuemakeSequenceA :: Name -> Q Exp

Generates a lambda expression which behaves like sequenceA (without requiring a Traversable instance).

valuemakeSequenceAOptions :: FFTOptions -> Name -> Q Exp

Like makeSequenceA, but takes an FFTOptions argument.

valuemakeMapM :: Name -> Q Exp

Generates a lambda expression which behaves like mapM (without requiring a Traversable instance).

valuemakeMapMOptions :: FFTOptions -> Name -> Q Exp

Like makeMapM, but takes an FFTOptions argument.

valuemakeSequence :: Name -> Q Exp

Generates a lambda expression which behaves like sequence (without requiring a Traversable instance).

valuemakeSequenceOptions :: FFTOptions -> Name -> Q Exp

Like makeSequence, but takes an FFTOptions argument.

FFTOptions

2 declarations

newtypenewtype FFTOptions

Options that further configure how the functions in Data.Functor.Deriving should behave. (FFT stands for FunctorFoldableTraversable.)

Constructors

FFTOptions
- fftEmptyCaseBehavior :: 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 FFTOptionsDefined in deriving-compat-0.6.8 · Data.Functor.Deriving.Internal
Ord FFTOptionsDefined in deriving-compat-0.6.8 · Data.Functor.Deriving.Internal
Read FFTOptionsDefined in deriving-compat-0.6.8 · Data.Functor.Deriving.Internal
Show FFTOptionsDefined in deriving-compat-0.6.8 · Data.Functor.Deriving.Internal

valuedefaultFFTOptions :: FFTOptions

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

deriveTraversable limitations

0 declarations

Be aware of the following potential gotchas:

If you are using the -XGADTs or -XExistentialQuantification extensions, an existential constraint cannot mention the last type variable. For example, data Illegal a = forall a. Show a => Illegal a cannot have a derived Traversable instance.
Type variables of kind * -> * are assumed to have Traversable constraints. If this is not desirable, use makeTraverse.