Safe Haskell	Safe-Inferred
Language	Haskell98

LLVM.DSL.Render.Run

Description

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

Documentation

newtype T m p fdsl f Source #

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 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 #