GHC.Generics.Extra

Extensions to the GHC.Generics module.

Documentation

module GHC.Generics

data ((c :: Constraint) :=>: (f :: k -> *)) (a :: k) where

Constraints: used to represent constraints in a constructor.

data Showable a = Show a => a -> X a

instance Generic (Showable a) where
  type Rep (Showable a) = (Show a) :=>: (K1 R a)

Constructors

SuchThat :: c => f a -> (c :=>: f) a