generic-data-0.5.0.0: Utilities for GHC.Generics

Generic.Data.Internal.Utils

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.

V1

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

A helper for better type inference.

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

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

Lift binary combinators generically.