Data.Array.Knead.Parameterized.Render

Simplify running the render function by handling passing of parameters.

Documentation

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

data MapFilter n a b

Constructors

MapFilter

Fields

mapFilterMap :: Exp a -> Exp b

mapFilterPredicate :: Exp a -> Exp Bool

mapFilterArray :: Array n a

Instances

(Sequence n, Storable n, C n, Storable b, C b) => C (MapFilter n a b)

data FilterOuter n sh a

Constructors

FilterOuter

Fields

filterOuterPredicate :: Array n Bool

filterOuterArray :: Array (n, sh) a

Instances

(Sequence n, Storable n, C n, C sh, Storable sh, C sh, Storable a, C a) => C (FilterOuter n sh a)

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 MapAccumLSimple sh n acc a b

Constructors

MapAccumLSimple

Fields

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

mapAccumLSimpleInit :: Array sh acc

mapAccumLSimpleArray :: 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 (MapAccumLSimple sh n acc a b)

data MapAccumLSequence n acc final a b

Constructors

MapAccumLSequence

Fields

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

mapAccumLSequenceFinal :: Exp acc -> Exp final

mapAccumLSequenceInit :: Exp acc

mapAccumLSequenceArray :: Array n a

Instances

(C n, Storable n, C n, C acc, Storable final, C final, Storable a, C a, Storable b, C b) => C (MapAccumLSequence n acc final a b)

data MapAccumL sh n acc final a b

Constructors

MapAccumL

Fields

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

mapAccumLFinal :: Exp acc -> Exp final

mapAccumLInit :: Array sh acc

mapAccumLArray :: Array (sh, n) a

Instances

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

data FoldOuterL n sh a b

Constructors

FoldOuterL

Fields

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

foldOuterLInit :: Array sh a

foldOuterLArray :: Array (n, sh) b

Instances

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

data AddDimension sh n a b

Constructors

AddDimension

Fields

addDimensionSize :: Exp n

addDimensionSelect :: Exp (Index n) -> Exp a -> Exp b

addDimensionArray :: Array sh a

Instances

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