HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulegeneric-data-1.1.0.2Haskell2010

Generic.Data.Internal.Resolvers

Newtypes with special instances for deriving.

Warning

This is an internal module: it is not subject to any versioning policy, breaking changes can happen at any time.

If something here seems useful, please report it or create a pull request to export it from an external module.

  • 3 types
newtypenewtype Id1 (f :: Type -> Type) a
#

A newtype whose instances for simple classes (Eq, Ord, Read, Show) use higher-kinded class instances for f (Eq1, Ord1, Read1, Show1).

Constructors

Instances8Eq1, Ord1, Read1, Show1, Eq, Ord, …
  • Eq1 f => Eq1 (Id1 f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers
  • Ord1 f => Ord1 (Id1 f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers
  • Read1 f => Read1 (Id1 f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers
  • Show1 f => Show1 (Id1 f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers
  • (Eq1 f, Eq a) => Eq (Id1 f a)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers
  • (Ord1 f, Ord a) => Ord (Id1 f a)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers
  • (Read1 f, Read a) => Read (Id1 f a)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers
  • (Show1 f, Show a) => Show (Id1 f a)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers
newtypenewtype Opaque a
#

A newtype with trivial instances, that considers every value equivalent to every other one, and shows as just "_".

Constructors

Instances6Eq1, Ord1, Show1, Eq, Ord, Show
  • Eq1 OpaqueDefined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    All equal.

  • Ord1 OpaqueDefined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    All equal.

  • Show1 OpaqueDefined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    Shown as "_".

  • Eq (Opaque a)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    All equal.

  • Ord (Opaque a)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    All equal.

  • Show (Opaque a)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    Shown as "_".

newtypenewtype Opaque1 (f :: Type -> Type) a
#

A higher-kinded version of Opaque.

Constructors

Instances6Eq1, Ord1, Show1, Eq, Ord, Show
  • Eq1 (Opaque1 f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    All equal.

  • Ord1 (Opaque1 f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    All equal.

  • Show1 (Opaque1 f)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    Shown as "_".

  • Eq (Opaque1 f a)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    All equal.

  • Ord (Opaque1 f a)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    All equal.

  • Show (Opaque1 f a)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Resolvers

    Shown as "_".