Module Slap_ppx

module Slap_ppx: sig .. end

PPX syntactic extensions for SLAP. (This is a dummy module.)

For use of the extensions, you need to pass -ppx ppx_slap to the OCaml compiler, or specify -package slap.ppx to OCamlfind. You can also use by

#use "topfind";;
#require "slap.ppx";;

on interactive mode.

Literals

Vector literals

Vector literals like [%vec.kind [e1; e2; ...; eN]] are supported where e1 ... eN are elements and kind specifies the type and precision of the elements. It corresponds to Bigarray kind:

• float32, S or s: 32-bit real number (Bigarray.float32)
• float64, D or d: 64-bit real number (Bigarray.float64)
• complex32, C or c: 32-bit complex number (Bigarray.complex32)
• complex64, Z or z: 64-bit complex number (Bigarray.complex64)
• int8_signed or sint8: 8-bit signed integer (Bigarray.int8_signed)
• int8_unsigned or uint8: 8-bit unsigned integer (Bigarray.int8_unsigned)
• int16_signed or sint16: 16-bit signed integer (Bigarray.int16_signed)
• int16_unsigned or uint16: 16-bit unsigned integer (Bigarray.int16_unsigned)
• int: 31-bit integer (Bigarray.int)
• int32: 32-bit integer (Bigarray.int32)
• int64: 64-bit integer (Bigarray.int64)
• nativeint: native integer (Bigarray.nativeint)
• char: character (Bigarray.char)

You can omit a kind if you open Slap.[SDCZ]:

• [%vec [...]] (referring Slap.[SDCZ].prec as Bigarray kind, corresponding to an opened module)
• [%rvec [...]] (referring Slap.[SDCZ].rprec as Bigarray kind, corresponding to an opened module)

For examples, [%vec.float64 [42.0; 123.0; 456.0]] is a three-dimensional vector that has 64-bit real numbers 42.0, 123.0 and 456.0. If you open Slap.D, the vector literal is the same as [%vec [42.0; 123.0; 456.0]].

Matrix literals

Matrix literals can be written as

[%mat.kind [ [e11; e12; ...; e1N];
             [e21; e22; ...; e2N];
             [...; ...; ...; ...];
             [eM1; eM2; ...; eMN] ]]

or

[%mat.kind [ e11, e12, ..., e1N;
             e21, e22, ..., e2N;
             ..., ..., ..., ...;
             eM1, eM2, ..., eMN ]]

where kind is one of the above-mentioned identifiers. You can also use [%mat ...] and [%rmat ...] (referring Slap.[SDCZ].prec and Slap.[SDCZ].rprec respectively) as similar to vector literals.