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

# Reified Monoids

data ReifiedMonoid a

data ReflectedMonoid a s

reifyMonoid

foldMapBy

foldBy

# Reified Applicatives

data ReifiedApplicative f

data ReflectedApplicative f s a

reifyApplicative

traverseBy

sequenceBy