tfp-1.0: Type-level integers, booleans, lists using type families

Safe HaskellSafe-Inferred
LanguageHaskell2010

Type.Base.Proxy

Documentation

data Proxy a Source

Constructors

Proxy 

Instances