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

Safe HaskellSafe
LanguageHaskell2010

Type.Base.Proxy

Documentation

data Proxy a Source

Constructors

Proxy 

Instances