• 1D arrays are of the following form form. Note these can be used as V1, V2 or V3 arrays.

[dense| 5 -3 1 -3 5 |] :: (R1 f, Vector v a, Num a) => Array v f a

• 2D arrays are of the following form. Note these can be used as V2 or V3 arrays.

chars :: UArray V2 Char
chars :: [dense|
  'a' 'b' 'c'
  'd' 'e' 'f'
  'g' 'h' 'i'
|]

• 3D arrays are of the following form. Note the order in which dense formats the array. The array a is such that a ! V3 x y z = "xyz"

a :: BArray V3 String
a = [dense|
  "000" "100" "200"
  "010" "110" "210"
  "020" "120" "220"

  "001" "101" "201"
  "011" "111" "211"
  "021" "121" "221"

  "002" "102" "202"
  "012" "112" "212"
  "022" "122" "222"
|]

>>> let a = [v| 1 2 3 4 5 |]
>>> :t a
a :: Num a => V 5 a
>>> a
V {toVector = [1,2,3,4,5]}
>>> let f [v| a b c d e |] = (a,b,c,d,e)
>>> :t f
f :: V 5 t -> (t, t, t, t, t)
>>> f a
(1,2,3,4,5)

Variables and infix expressions are also allowed. Negative values can be expressed by a leading - with a space before but no space after.

>>> let b x = [v| 1/x 2 / x (succ x)**2 x-2 x - 3 -x |]
>>> b Debug.SimpleReflect.a
V {toVector = [1 / a,2 / a,succ a**2,a - 2,a - 3,negate a]}

• 1D stencils are of the form

[stencil| 5 -3 1 -3 5 |] :: Num a => Stencil V1 a

• 2D stencils are of the form

myStencil2 :: Num a => Stencil V2 a
myStencil2 = [stencil|
  0 1 0
  1 0 1
  0 1 0
|]

• 3D stencils have gaps between planes.

myStencil3 :: Fractional a => Stencil V3 a
myStencil3 :: [stencil|
  1/20 3/10 1/20
  3/10  1   3/10
  1/20 3/10 1/20

  3/10  1   3/10
   1    _    1
  3/10  1   3/10

  1/20 3/10 1/20
  3/10  1   3/10
  1/20 3/10 1/20
|]

Variables can also be used

myStencil2' :: a -> a -> a -> Stencil V2 a
myStencil2' a b c = [stencil|
  c b c
  b a b
  c b c
|]