Data.Singletons.TypeRepStar

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!

Documentation

data family Sing a

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.