Current section
Files
Jump to
Current section
Files
src/starprnt/font.gleam
import starprnt/font/ibm_ps55
import starprnt/font/terminus_12_bold
import starprnt/font/terminus_12_normal
import starprnt/font/terminus_14_bold
import starprnt/font/terminus_14_normal
import starprnt/font/terminus_14_vga
import starprnt/font/terminus_16_bold
import starprnt/font/terminus_16_normal
import starprnt/font/terminus_16_vga
import starprnt/font/terminus_18_bold
import starprnt/font/terminus_18_normal
import starprnt/font/terminus_20_bold
import starprnt/font/terminus_20_normal
import starprnt/font/terminus_22_bold
import starprnt/font/terminus_22_normal
import starprnt/font/terminus_24_bold
import starprnt/font/terminus_24_normal
import starprnt/font/terminus_28_bold
import starprnt/font/terminus_28_normal
import starprnt/font/terminus_32_bold
import starprnt/font/terminus_32_normal
import starprnt/font/unscii_16
import starprnt/font/unscii_16_fullwidth
import starprnt/font/unscii_8
import starprnt/font/unscii_8_alt
import starprnt/font/unscii_8_fantasy
import starprnt/font/unscii_8_tall
import starprnt/font/unscii_8_thin
pub type Font {
Font(
width: Int,
height: Int,
default_glyph: BitArray,
render_glyph: fn(String) -> Result(BitArray, Nil),
)
}
pub const ibm_ps55 = Font(
width: ibm_ps55.width,
height: ibm_ps55.height,
default_glyph: ibm_ps55.default_glyph,
render_glyph: ibm_ps55.render_glyph,
)
pub const terminus_12_normal = Font(
width: terminus_12_normal.width,
height: terminus_12_normal.height,
default_glyph: terminus_12_normal.default_glyph,
render_glyph: terminus_12_normal.render_glyph,
)
pub const terminus_12_bold = Font(
width: terminus_12_bold.width,
height: terminus_12_bold.height,
default_glyph: terminus_12_bold.default_glyph,
render_glyph: terminus_12_bold.render_glyph,
)
pub const terminus_14_normal = Font(
width: terminus_14_normal.width,
height: terminus_14_normal.height,
default_glyph: terminus_14_normal.default_glyph,
render_glyph: terminus_14_normal.render_glyph,
)
pub const terminus_14_bold = Font(
width: terminus_14_bold.width,
height: terminus_14_bold.height,
default_glyph: terminus_14_bold.default_glyph,
render_glyph: terminus_14_bold.render_glyph,
)
pub const terminus_14_vga = Font(
width: terminus_14_vga.width,
height: terminus_14_vga.height,
default_glyph: terminus_14_vga.default_glyph,
render_glyph: terminus_14_vga.render_glyph,
)
pub const terminus_16_normal = Font(
width: terminus_16_normal.width,
height: terminus_16_normal.height,
default_glyph: terminus_16_normal.default_glyph,
render_glyph: terminus_16_normal.render_glyph,
)
pub const terminus_16_bold = Font(
width: terminus_16_bold.width,
height: terminus_16_bold.height,
default_glyph: terminus_16_bold.default_glyph,
render_glyph: terminus_16_bold.render_glyph,
)
pub const terminus_16_vga = Font(
width: terminus_16_vga.width,
height: terminus_16_vga.height,
default_glyph: terminus_16_vga.default_glyph,
render_glyph: terminus_16_vga.render_glyph,
)
pub const terminus_18_normal = Font(
width: terminus_18_normal.width,
height: terminus_18_normal.height,
default_glyph: terminus_18_normal.default_glyph,
render_glyph: terminus_18_normal.render_glyph,
)
pub const terminus_18_bold = Font(
width: terminus_18_bold.width,
height: terminus_18_bold.height,
default_glyph: terminus_18_bold.default_glyph,
render_glyph: terminus_18_bold.render_glyph,
)
pub const terminus_20_normal = Font(
width: terminus_20_normal.width,
height: terminus_20_normal.height,
default_glyph: terminus_20_normal.default_glyph,
render_glyph: terminus_20_normal.render_glyph,
)
pub const terminus_20_bold = Font(
width: terminus_20_bold.width,
height: terminus_20_bold.height,
default_glyph: terminus_20_bold.default_glyph,
render_glyph: terminus_20_bold.render_glyph,
)
pub const terminus_22_normal = Font(
width: terminus_22_normal.width,
height: terminus_22_normal.height,
default_glyph: terminus_22_normal.default_glyph,
render_glyph: terminus_22_normal.render_glyph,
)
pub const terminus_22_bold = Font(
width: terminus_22_bold.width,
height: terminus_22_bold.height,
default_glyph: terminus_22_bold.default_glyph,
render_glyph: terminus_22_bold.render_glyph,
)
pub const terminus_24_normal = Font(
width: terminus_24_normal.width,
height: terminus_24_normal.height,
default_glyph: terminus_24_normal.default_glyph,
render_glyph: terminus_24_normal.render_glyph,
)
pub const terminus_24_bold = Font(
width: terminus_24_bold.width,
height: terminus_24_bold.height,
default_glyph: terminus_24_bold.default_glyph,
render_glyph: terminus_24_bold.render_glyph,
)
pub const terminus_28_normal = Font(
width: terminus_28_normal.width,
height: terminus_28_normal.height,
default_glyph: terminus_28_normal.default_glyph,
render_glyph: terminus_28_normal.render_glyph,
)
pub const terminus_28_bold = Font(
width: terminus_28_bold.width,
height: terminus_28_bold.height,
default_glyph: terminus_28_bold.default_glyph,
render_glyph: terminus_28_bold.render_glyph,
)
pub const terminus_32_normal = Font(
width: terminus_32_normal.width,
height: terminus_32_normal.height,
default_glyph: terminus_32_normal.default_glyph,
render_glyph: terminus_32_normal.render_glyph,
)
pub const terminus_32_bold = Font(
width: terminus_32_bold.width,
height: terminus_32_bold.height,
default_glyph: terminus_32_bold.default_glyph,
render_glyph: terminus_32_bold.render_glyph,
)
pub const unscii_8 = Font(
width: unscii_8.width,
height: unscii_8.height,
default_glyph: unscii_8.default_glyph,
render_glyph: unscii_8.render_glyph,
)
pub const unscii_8_alt = Font(
width: unscii_8_alt.width,
height: unscii_8_alt.height,
default_glyph: unscii_8_alt.default_glyph,
render_glyph: unscii_8_alt.render_glyph,
)
pub const unscii_8_fantasy = Font(
width: unscii_8_fantasy.width,
height: unscii_8_fantasy.height,
default_glyph: unscii_8_fantasy.default_glyph,
render_glyph: unscii_8_fantasy.render_glyph,
)
pub const unscii_8_tall = Font(
width: unscii_8_tall.width,
height: unscii_8_tall.height,
default_glyph: unscii_8_tall.default_glyph,
render_glyph: unscii_8_tall.render_glyph,
)
pub const unscii_8_thin = Font(
width: unscii_8_thin.width,
height: unscii_8_thin.height,
default_glyph: unscii_8_thin.default_glyph,
render_glyph: unscii_8_thin.render_glyph,
)
pub const unscii_16 = Font(
width: unscii_16.width,
height: unscii_16.height,
default_glyph: unscii_16.default_glyph,
render_glyph: unscii_16.render_glyph,
)
pub const unscii_16_fullwidth = Font(
width: unscii_16_fullwidth.width,
height: unscii_16_fullwidth.height,
default_glyph: unscii_16_fullwidth.default_glyph,
render_glyph: unscii_16_fullwidth.render_glyph,
)