Data.Reflection

Reflection

class Reifies s a

reify

reifyNat

reifySymbol

reifyTypeable

Given

class Given a

give

Template Haskell reflection

int

nat

Useful compile time naturals

data Z

data D n

data SD n

data PD n