package slap

  1. Overview
  2. Docs

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.

OCaml

Innovation. Community. Security.