Safe Haskell	Safe-Inferred
Language	Haskell98

LLVM.DSL.Render.Argument

Synopsis

data T a adsl = forall al.C al => Cons (Exp al -> adsl) (a -> Creator al)
type Creator p = IO (p, IO ())
unit :: T () ()
primitive :: C a => T a (Exp a)
wrap :: C a => (b -> a) -> (adsl -> bdsl) -> T a adsl -> T b bdsl
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

Documentation

data T a adsl Source #

Transfer a to adsl with al as transit stop.

Constructors

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

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

wrap :: C a => (b -> a) -> (adsl -> bdsl) -> T a adsl -> T b bdsl Source #

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

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

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