Synthesizer.LLVM.Causal.Render

Documentation

derefFillPtr :: Importer (Ptr global -> Word -> Ptr a -> Ptr b -> IO Word)

compile :: (C a, T a ~ al, C b, T b ~ bl, C param, Struct param ~ paramStruct) => (Exp param -> T al bl) -> IO (Ptr paramStruct -> Word -> Ptr a -> Ptr b -> IO Word)

runAux :: (C p, C a, T a ~ al, C b, T b ~ bl) => (Exp p -> T al bl) -> IO (IO () -> p -> Vector a -> IO (Vector b))

run_ :: (C p, C a, T a ~ al, C b, T b ~ bl) => (Exp p -> T al bl) -> IO (p -> Vector a -> IO (Vector b))

derefChunkPtr :: Importer (Ptr globalState -> Word -> Ptr a -> Ptr b -> IO Word)

compileChunky :: (IsSized paramStruct, Value (Ptr paramStruct) ~ pPtr, C state, Struct state ~ stateStruct, C global, Struct global ~ globalStruct, Triple paramStruct globalStruct stateStruct ~ triple, IsSized local, C a, T a ~ valueA, C b, T b ~ valueB) => (forall r z. Phi z => pPtr -> global -> Value (Ptr local) -> valueA -> state -> T r z (valueB, state)) -> (forall r. pPtr -> CodeGenFunction r (global, state)) -> (forall r. pPtr -> global -> CodeGenFunction r ()) -> IO (Ptr paramStruct -> IO (Ptr triple), Finalizer triple, Ptr triple -> Word -> Ptr a -> Ptr b -> IO Word)

derefChunkPluggedPtr :: Importer (Ptr globalStateStruct -> Word -> Ptr inp -> Ptr out -> IO Word)

compilePlugged :: (Undefined stateIn, Phi stateIn) => (Undefined stateOut, Phi stateOut) => (IsSized paramStruct, Value (Ptr paramStruct) ~ pPtr, C state, Struct state ~ stateStruct, C global, Struct global ~ globalStruct, Triple paramStruct globalStruct stateStruct ~ triple) => IsSized local => (C paramIn, Struct paramIn ~ inStruct) => (C paramOut, Struct paramOut ~ outStruct) => (forall r. paramIn -> stateIn -> CodeGenFunction r (valueA, stateIn)) -> (forall r. paramIn -> CodeGenFunction r stateIn) -> (forall r z. Phi z => pPtr -> global -> Value (Ptr local) -> valueA -> state -> T r z (valueB, state)) -> (forall r. pPtr -> CodeGenFunction r (global, state)) -> (forall r. pPtr -> global -> CodeGenFunction r ()) -> (forall r. paramOut -> valueB -> stateOut -> CodeGenFunction r stateOut) -> (forall r. paramOut -> CodeGenFunction r stateOut) -> IO (Ptr paramStruct -> IO (Ptr triple), Ptr triple -> IO (), Ptr triple -> Word -> Ptr inStruct -> Ptr outStruct -> IO Word)

processIOParameterized :: (C p, Read a, x ~ Value (Ptr (Struct p))) => T a b -> T x b c -> T c d -> IO (IO (p, IO ()) -> T a d)

processIOCore :: (C p, Read a) => T a b -> (Exp p -> T b c) -> T c d -> IO (IO (p, IO ()) -> T a d)

processIO :: (C p, Read a, Default a, Default d) => (Exp p -> T (Element a) (Element d)) -> IO (p -> T a d)

class Run f where

Associated Types

type DSL f a b

type In f

type Out f

Methods

build :: C p => T (In f) a -> (Exp p -> DSL f a b) -> T b (Out f) -> IO (IO (p, IO ()) -> f)

Instances

Read a => Run (T a b)

Defined in Synthesizer.LLVM.Causal.Render

Associated Types

type DSL (T a b) a b

type In (T a b)

type Out (T a b)

Methods

build :: C p => T0 (In (T a b)) a0 -> (Exp p -> DSL (T a b) a0 b0) -> T1 b0 (Out (T a b)) -> IO (IO (p, IO ()) -> T a b)

(RunArg a, Run f) => Run (a -> f)

Defined in Synthesizer.LLVM.Causal.Render

Associated Types

type DSL (a -> f) a b

type In (a -> f)

type Out (a -> f)

Methods

build :: C p => T (In (a -> f)) a0 -> (Exp p -> DSL (a -> f) a0 b) -> T b (Out (a -> f)) -> IO (IO (p, IO ()) -> a -> f)

runPlugged :: Run f => T (In f) a -> DSL f a b -> T b (Out f) -> IO f

run :: Run f => (In f ~ a, Default a, Element a ~ al) => (Out f ~ b, Default b, Element b ~ bl) => DSL f al bl -> IO f