kind-apply-0.2.0.0: Utilities to work with lists of types

Safe HaskellSafe
LanguageHaskell2010

GHC.Generics.Extra

Description

Extensions to the GHC.Generics module.

Synopsis

Documentation

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

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