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

Safe HaskellSafe
LanguageHaskell98

LLVM.Util.Proxy

Documentation

data Proxy a Source #

Constructors

Proxy 

Instances

Functor Proxy Source # 

Methods

fmap :: (a -> b) -> Proxy a -> Proxy b #

(<$) :: a -> Proxy b -> Proxy a #

Applicative Proxy Source # 

Methods

pure :: a -> Proxy a #

(<*>) :: Proxy (a -> b) -> Proxy a -> Proxy b #

(*>) :: Proxy a -> Proxy b -> Proxy b #

(<*) :: Proxy a -> Proxy b -> Proxy a #

fromValue :: a -> Proxy a Source #