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.Data

Generic representations as data types.

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.

  • 1 type
  • 2 values
newtypenewtype Data (r :: Type -> Type) p
#

Synthetic data type.

A wrapper to view a generic Rep as the datatype it's supposed to represent, without needing a declaration.

Constructors

Instances22Generic1, Monad, Functor, Applicative, Foldable, Traversable, …
  • Generic1 (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Monad r => Monad (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Functor r => Functor (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Applicative r => Applicative (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Foldable r => Foldable (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Traversable r => Traversable (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Alternative r => Alternative (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • MonadPlus r => MonadPlus (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Eq1 r => Eq1 (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Ord1 r => Ord1 (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • GShow1 r => Show1 (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Contravariant r => Contravariant (Data r)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • GBounded r => Bounded (Data r p)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • GEnum StandardEnum r => Enum (Data r p)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Eq (r p) => Eq (Data r p)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Ord (r p) => Ord (Data r p)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • (GShow1 r, Show p) => Show (Data r p)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • (Functor r, Contravariant r) => Generic (Data r p)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Semigroup (r p) => Semigroup (Data r p)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • Monoid (r p) => Monoid (Data r p)Defined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • type Rep (Data r p) = rDefined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
  • type Rep1 (Data r) = rDefined in generic-data-1.1.0.2 · Generic.Data.Internal.Data
valuetoData :: Generic a => a -> Data (Rep a) p
#

Conversion between a generic type and the synthetic type made using its representation. Inverse of fromData.