Copyright	(C) 2013 Richard Eisenberg
License	(C) 2013 Richard Eisenberg
Maintainer	Richard Eisenberg (eir@cis.upenn.edu)
Stability	experimental
Portability	non-portable
Safe Haskell	None

Data.Singletons.TypeRepStar

Description

This module defines singleton instances making Typeable the singleton for the kind *. The definitions don't fully line up with what is expected within the singletons library, so expect unusual results!

Synopsis

Documentation

data family Sing a Source

The singleton kind-indexed data family.

Here is the definition of the singleton for *:

 data instance Sing (a :: *) where
   STypeRep :: Typeable a => Sing a

Instances for SingI, SingKind, SEq, SDecide, and TestCoercion are also supplied.