generic-data-0.4.0.0: Utilities for GHC.Generics

Generic.Data.Internal.Utils

Synopsis

# Documentation

coerce' :: Coercible (f x) (g x) => f x -> g x Source #

Coerce while preserving the type index.

absurd1 :: V1 x -> a Source #

Elimination of V1.

from' :: Generic a => a -> Rep a () Source #

A helper for better type inference.

to' :: Generic a => Rep a () -> a Source #

A helper for better type inference.

liftG2 :: Generic1 f => (Rep1 f a -> Rep1 f b -> Rep1 f c) -> f a -> f b -> f c Source #

Lift binary combinators generically.