Data.Array.Knead.Parameterized.Render

Simplify running the render function by handling passing of parameters.

Documentation

run :: C f => f -> IO (Plain f)

data Scatter sh0 sh1 a

Constructors

Scatter

Fields

scatterAccum :: Exp a -> Exp a -> Exp a

scatterInit :: Array sh1 a

scatterMap :: Array sh0 (Index sh1, a)

Instances

(C sh0, Storable sh0, C sh0, C sh1, Storable sh1, C sh1, C a, Storable a) => C (Scatter sh0 sh1 a)

data ScatterMaybe sh0 sh1 a

Constructors

ScatterMaybe

Fields

scatterMaybeAccum :: Exp a -> Exp a -> Exp a

scatterMaybeInit :: Array sh1 a

scatterMaybeMap :: Array sh0 (Maybe (Index sh1, a))

Instances

(C sh0, Storable sh0, C sh0, C sh1, Storable sh1, C sh1, C a, Storable a) => C (ScatterMaybe sh0 sh1 a)

data MapAccumL sh n acc a b

Constructors

MapAccumL

Fields

mapAccumLAccum :: Exp acc -> Exp a -> Exp (acc, b)

mapAccumLInit :: Array sh acc

mapAccumLMap :: Array (sh, n) a

Instances

(C sh, Storable sh, C sh, C n, Storable n, C n, C acc, Storable a, C a, Storable b, C b) => C (MapAccumL sh n acc a b)

data FoldOuterL n sh a b

Constructors

FoldOuterL

Fields

foldOuterLAccum :: Exp a -> Exp b -> Exp a

foldOuterLInit :: Array sh a

foldOuterLMap :: Array (n, sh) b

Instances

(C sh, Storable sh, C sh, C n, Storable n, C n, Storable a, C a, Storable b, C b) => C (FoldOuterL n sh a b)