Safe Haskell	None
Language	Haskell98

Synthesizer.LLVM.Generator.Render

Contents

type driven
explicit argument converters
utilities

Synopsis

class RunArg a
type family DSLArg a
run :: Run f => DSL f -> IO (Shape f -> f)
runChunky :: (C a, T a ~ value, C p) => (Exp p -> T value) -> IO (ChunkSize -> p -> IO (Vector a))
runChunkyOnVector :: (C a, T a ~ al) => (C b, T b ~ bl) => (T al -> T bl) -> IO (ChunkSize -> Vector a -> IO (Vector b))
data Buffer a
buffer :: Vector a -> Buffer a
runExplicit :: T (WithShape (Shape f)) () fdsl f -> fdsl -> IO (Shape f -> f)
build :: (Run f, C p) => T (WithShape (Shape f)) p (DSL f) f
type WithShape shape = Compose IO ((->) shape)
class TimeInteger int where
- subdivideLong :: T (T int) a -> T Int a

type driven

class RunArg a Source #

Minimal complete definition

buildArg

Instances

RunArg Float Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg Float :: Type Source # Methods buildArg :: T Float (DSLArg Float)
RunArg Int Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg Int :: Type Source # Methods buildArg :: T Int (DSLArg Int)
RunArg Word Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg Word :: Type Source # Methods buildArg :: T Word (DSLArg Word)
RunArg Word32 Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg Word32 :: Type Source # Methods buildArg :: T Word32 (DSLArg Word32)
RunArg () Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg () :: Type Source # Methods buildArg :: T () (DSLArg ())
a ~ ChunkSize => RunArg (T a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg (T a) :: Type Source # Methods buildArg :: T0 (T a) (DSLArg (T a))
RunArg a => RunArg (T a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg (T a) :: Type Source # Methods buildArg :: T0 (T a) (DSLArg (T a))
C a => RunArg (Vector a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg (Vector a) :: Type Source # Methods buildArg :: T (Vector a) (DSLArg (Vector a))
C a => RunArg (Vector a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg (Vector a) :: Type Source # Methods buildArg :: T (Vector a) (DSLArg (Vector a))
C a => RunArg (Buffer a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg (Buffer a) :: Type Source # Methods buildArg :: T (Buffer a) (DSLArg (Buffer a))
RunArg a => RunArg (SampleRate a) Source #
Instance details Defined in Synthesizer.LLVM.Server.Common Associated Types type DSLArg (SampleRate a) :: Type Source # Methods buildArg :: T (SampleRate a) (DSLArg (SampleRate a))
(RunArg a, RunArg b) => RunArg (a, b) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg (a, b) :: Type Source # Methods buildArg :: T (a, b) (DSLArg (a, b))
(time ~ T int, TimeInteger int, C a) => RunArg (T time a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg (T time a) :: Type Source # Methods buildArg :: T0 (T time a) (DSLArg (T time a))
(Natural n, C a, IsSized (Struct a), Natural (n :*: SizeOf (Struct a))) => RunArg (Array n a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg (Array n a) :: Type Source # Methods buildArg :: T (Array n a) (DSLArg (Array n a))
(RunArg a, RunArg b, RunArg c) => RunArg (a, b, c) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg (a, b, c) :: Type Source # Methods buildArg :: T (a, b, c) (DSLArg (a, b, c))

type family DSLArg a Source #

Instances

type DSLArg Float Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg Float = Exp Float
type DSLArg Int Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg Int = Exp Int
type DSLArg Word Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg Word = Exp Word
type DSLArg Word32 Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg Word32 = Exp Word32
type DSLArg () Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg () = ()
type DSLArg (T a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg (T a) = T (T ())
type DSLArg (T a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg (T a) = T (DSLArg a)
type DSLArg (Vector a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg (Vector a) = T (T a)
type DSLArg (Vector a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg (Vector a) = T (T a)
type DSLArg (Buffer a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg (Buffer a) = Exp (StorableVector a)
type DSLArg (SampleRate a) Source #
Instance details Defined in Synthesizer.LLVM.Server.Common type DSLArg (SampleRate a) = SampleRate (DSLArg a)
type DSLArg (a, b) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg (a, b) = (DSLArg a, DSLArg b)
type DSLArg (T time a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg (T time a) = T (T (T a))
type DSLArg (Array n a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg (Array n a) = Exp (Array n a)
type DSLArg (a, b, c) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg (a, b, c) = (DSLArg a, DSLArg b, DSLArg c)

run :: Run f => DSL f -> IO (Shape f -> f) Source #

runChunky :: (C a, T a ~ value, C p) => (Exp p -> T value) -> IO (ChunkSize -> p -> IO (Vector a)) Source #

runChunkyOnVector :: (C a, T a ~ al) => (C b, T b ~ bl) => (T al -> T bl) -> IO (ChunkSize -> Vector a -> IO (Vector b)) Source #

data Buffer a Source #

Instances

C a => RunArg (Buffer a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Associated Types type DSLArg (Buffer a) :: Type Source # Methods buildArg :: T (Buffer a) (DSLArg (Buffer a))
type DSLArg (Buffer a) Source #
Instance details Defined in Synthesizer.LLVM.Private.Render type DSLArg (Buffer a) = Exp (StorableVector a)

buffer :: Vector a -> Buffer a Source #

explicit argument converters

runExplicit :: T (WithShape (Shape f)) () fdsl f -> fdsl -> IO (Shape f -> f) Source #

build :: (Run f, C p) => T (WithShape (Shape f)) p (DSL f) f Source #

type WithShape shape = Compose IO ((->) shape) Source #

utilities

class TimeInteger int where Source #

Methods

subdivideLong :: T (T int) a -> T Int a Source #

Instances

TimeInteger Int Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Methods subdivideLong :: T (T Int) a -> T Int0 a Source #
TimeInteger Integer Source #
Instance details Defined in Synthesizer.LLVM.Private.Render Methods subdivideLong :: T (T Integer) a -> T Int a Source #