Safe Haskell	Safe-Inferred
Language	Haskell2010

GHC.Generics.Extra

Description

Extensions to the GHC.Generics module.

Synopsis

module GHC.Generics
data (c :=>: (f :: k -> Type)) (a :: k) where
- SuchThat :: forall {k} c (f :: k -> Type) (a :: k). c => f a -> (c :=>: f) a

Documentation

data (c :=>: (f :: k -> Type)) (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 :: forall {k} c (f :: k -> Type) (a :: k). c => f a -> (c :=>: f) a