Generic.Data.Internal.Utils

Documentation

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

Coerce while preserving the type index.

absurd1 :: V1 x -> a

Elimination of V1.

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

A helper for better type inference.

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

A helper for better type inference.

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

Lift binary combinators generically.