LLVM.DSL.Render.Run
Description
This is an approach with no pre-defined direction of type dependencies.
newtype T m p fdsl f Source #
Constructors
Fields
postmapPlain :: Functor m => (f -> g) -> T m p fdsl f -> T m p fdsl g Source #
premapDSL :: (gdsl -> fdsl) -> T m p fdsl f -> T m p gdsl f Source #
type Creator p = IO (p, IO ()) Source #
run :: Functor m => T m () fdsl f -> fdsl -> m f Source #
(*->) :: Functor m => T a adsl -> (forall al. C al => T m (p, al) fdsl f) -> T m p (adsl -> fdsl) (a -> f) infixr 4 Source #