deriving-compat-0.5.8: Backports of GHC deriving extensions

Copyright(C) 2015-2017 Ryan Scott
LicenseBSD-style (see the file LICENSE)
MaintainerRyan Scott
PortabilityTemplate Haskell
Safe HaskellNone
LanguageHaskell2010

Data.Eq.Deriving.Internal

Contents

Description

Exports functions to mechanically derive EqClass, Eq1, and Eq2 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.

Synopsis

EqClass

deriveEq :: Name -> Q [Dec] Source #

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

makeEq :: Name -> Q Exp Source #

Generates a lambda expression which behaves like '(==)' (without requiring an EqClass instance).

makeNotEq :: Name -> Q Exp Source #

Generates a lambda expression which behaves like '(/=)' (without requiring an EqClass instance).

Eq1

deriveEq1 :: Name -> Q [Dec] Source #

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

makeLiftEq :: Name -> Q Exp Source #

Generates a lambda expression which behaves like liftEq (without requiring an Eq1 instance).

This function is not available with transformers-0.4.

makeEq1 :: Name -> Q Exp Source #

Generates a lambda expression which behaves like eq1 (without requiring an Eq1 instance).

Eq2

deriveEq2 :: Name -> Q [Dec] Source #

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

This function is not available with transformers-0.4.

makeLiftEq2 :: Name -> Q Exp Source #

Generates a lambda expression which behaves like liftEq2 (without requiring an Eq2 instance).

This function is not available with transformers-0.4.

makeEq2 :: Name -> Q Exp Source #

Generates a lambda expression which behaves like eq2 (without requiring an Eq2 instance).

This function is not available with transformers-0.4.