generic-data-0.3.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.