Data.Array.Knead.Symbolic.Render

Apply operations on symbolic arrays to physical ones.

Documentation

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

newtype MarshalExp a

Constructors

MarshalExp

Fields

• getMarshalExp :: Exp a

data MapFilter n a b

Constructors

MapFilter

Fields

• mapFilterMap :: Exp a -> Exp b
• mapFilterPredicate :: Exp a -> Exp Bool
• mapFilterArray :: Array n a

data FilterOuter n sh a

Constructors

FilterOuter

Fields

• filterOuterPredicate :: Array n Bool
• filterOuterArray :: Array (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)

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

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

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

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

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

data AddDimension sh n a b

Constructors

AddDimension

Fields

• addDimensionSize :: Exp n
• addDimensionSelect :: Exp (Index n) -> Exp a -> Exp b
• addDimensionArray :: Array sh a