Safe Haskell | None |
---|---|

Language | Haskell2010 |

## Synopsis

- gcoerce :: (Generic a, Generic b, Coercible (Rep a) (Rep b)) => a -> b
- gcoerceBinop :: (Generic a, Generic b, Coercible (Rep a) (Rep b)) => (a -> a -> a) -> b -> b -> b
- coerce' :: Coercible (f x) (g x) => f x -> g x
- coerce1 :: Coercible f g => f x -> g x
- absurd1 :: V1 x -> a
- from' :: Generic a => a -> Rep a ()
- to' :: Generic a => Rep a () -> a
- liftG2 :: Generic1 f => (Rep1 f a -> Rep1 f b -> Rep1 f c) -> f a -> f b -> f c

# Documentation

gcoerce :: (Generic a, Generic b, Coercible (Rep a) (Rep b)) => a -> b Source #

Convert between types with representationally equivalent generic representations.