Modulegeneric-data-1.1.0.2Haskell2010

Generic.Data.Internal.Utils

Utilities.

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.

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

Convert between types with representationally equivalent generic representations.

valuegcoerceBinop

Compose gcoerce with a binary operation.

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

Coerce while preserving the type index.

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

valueabsurd1 :: V1 x -> a

Elimination of V1.

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

A helper for better type inference.

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

A helper for better type inference.

valueliftG2

Lift binary combinators generically.

valueisSymDataCon :: String -> Bool

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

valueisSymVar :: String -> Bool

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