LLVM.DSL.Render.Argument

Documentation

data T a adsl

Transfer a to adsl with al as transit stop.

Constructors

C al => Cons (Exp al -> adsl) (a -> Creator al)

type Creator p = IO (p, IO ())

unit :: T () ()

primitive :: C a => T a (Exp a)

pair :: T a ad -> T b bd -> T (a, b) (ad, bd)

triple :: T a ad -> T b bd -> T c cd -> T (a, b, c) (ad, bd, cd)

newDispose :: C handle => (a -> IO handle) -> (handle -> IO ()) -> (Exp handle -> ad) -> T a ad