llvm-tf-9.0: Bindings to the LLVM compiler toolkit using type families.

Safe HaskellSafe-Infered

LLVM.Util.Proxy

Documentation

data Proxy a Source

Constructors

Proxy 

Instances

fromValue :: a -> Proxy aSource

element :: Proxy (f a) -> Proxy aSource