Brunobkr/llama.cpp_AlgMor24_github

1/**2 * Describes spaces between different classes of atoms.3 */4import type {Measurement} from "./units";5 6const thinspace: Measurement = {7    number: 3,8    unit: "mu",9};10const mediumspace: Measurement = {11    number: 4,12    unit: "mu",13};14const thickspace: Measurement = {15    number: 5,16    unit: "mu",17};18 19// Making the type below exact with all optional fields doesn't work due to20// - https://github.com/facebook/flow/issues/458221// - https://github.com/facebook/flow/issues/568822// However, since *all* fields are optional, $Shape<> works as suggested in 568823// above.24export type Spacings = Partial<{25    mord: Measurement;26    mop: Measurement;27    mbin: Measurement;28    mrel: Measurement;29    mopen: Measurement;30    mclose: Measurement;31    mpunct: Measurement;32    minner: Measurement;33}> & {};34 35// Spacing relationships for display and text styles36export const spacings: {[key in keyof Spacings]?: Spacings} = {37    mord: {38        mop: thinspace,39        mbin: mediumspace,40        mrel: thickspace,41        minner: thinspace,42    },43    mop: {44        mord: thinspace,45        mop: thinspace,46        mrel: thickspace,47        minner: thinspace,48    },49    mbin: {50        mord: mediumspace,51        mop: mediumspace,52        mopen: mediumspace,53        minner: mediumspace,54    },55    mrel: {56        mord: thickspace,57        mop: thickspace,58        mopen: thickspace,59        minner: thickspace,60    },61    mopen: {},62    mclose: {63        mop: thinspace,64        mbin: mediumspace,65        mrel: thickspace,66        minner: thinspace,67    },68    mpunct: {69        mord: thinspace,70        mop: thinspace,71        mrel: thickspace,72        mopen: thinspace,73        mclose: thinspace,74        mpunct: thinspace,75        minner: thinspace,76    },77    minner: {78        mord: thinspace,79        mop: thinspace,80        mbin: mediumspace,81        mrel: thickspace,82        mopen: thinspace,83        mpunct: thinspace,84        minner: thinspace,85    },86};87 88// Spacing relationships for script and scriptscript styles89export const tightSpacings: {[key in keyof Spacings]?: Spacings} = {90    mord: {91        mop: thinspace,92    },93    mop: {94        mord: thinspace,95        mop: thinspace,96    },97    mbin: {},98    mrel: {},99    mopen: {},100    mclose: {101        mop: thinspace,102    },103    mpunct: {},104    minner: {105        mop: thinspace,106    },107};108