Generic.Data.Internal.Utils

Utilities.

Warning

This is an internal module: it is not subject to any versioning policy, breaking changes can happen at any time.

If something here seems useful, please report it or create a pull request to export it from an external module.

Documentation

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

Convert between types with representationally equivalent generic representations.

gcoerceBinop :: (Generic a, Generic b, Coercible (Rep a) (Rep b)) => (a -> a -> a) -> b -> b -> b

Compose gcoerce with a binary operation.

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

Coerce while preserving the type index.

coerce1 :: Coercible f g => f x -> g x

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.

isSymDataCon :: String -> Bool

Returns True if the argument is a symbolic data constructor name (e.g., (:+:)). Returns False otherwise.

isSymVar :: String -> Bool

Returns True if the argument is a symbolic value name (e.g., (+++)). Returns False otherwise.