LLVM.DSL.Render.Run

This is an approach with no pre-defined direction of type dependencies.

Documentation

newtype T m p fdsl f

Constructors

Cons

Fields

• decons :: (Exp p -> fdsl) -> m (Creator p -> f)

postmapPlain :: Functor m => (f -> g) -> T m p fdsl f -> T m p fdsl g

premapDSL :: (gdsl -> fdsl) -> T m p fdsl f -> T m p gdsl f

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

run :: Functor m => T m () fdsl f -> fdsl -> m f

(*->) :: Functor m => T a adsl -> (forall al. C al => T m (p, al) fdsl f) -> T m p (adsl -> fdsl) (a -> f) infixr 4