module Wumpus.Drawing.Text.StandardFontDefs
(
times_roman_family
, times_roman
, times_italic
, times_bold
, times_bold_italic
, helvetica_family
, helvetica
, helvetica_oblique
, helvetica_bold
, helvetica_bold_oblique
, courier_family
, courier
, courier_oblique
, courier_bold
, courier_bold_oblique
, symbol
) where
import Wumpus.Basic.Kernel
import Wumpus.Core
import Wumpus.Core.Text.StandardEncoding
import Wumpus.Core.Text.Symbol
times_roman_family :: FontFamily
times_roman_family =
FontFamily { ff_regular = times_roman
, ff_bold = Just times_bold
, ff_italic = Just times_italic
, ff_bold_italic = Just times_bold_italic
}
times_roman :: FontDef
times_roman =
FontDef { font_def_face = face
, gs_file_name = "n021003l.afm"
, afm_file_name = "Times-Roman.afm"
}
where
face = FontFace { ps_font_name = "Times-Roman"
, svg_font_family = "Times New Roman"
, svg_font_style = SVG_REGULAR
, font_enc_vector = standard_encoding
}
times_italic :: FontDef
times_italic =
FontDef { font_def_face = face
, gs_file_name = "n021023l.afm"
, afm_file_name = "Times-Italic.afm"
}
where
face = FontFace { ps_font_name = "Times-Italic"
, svg_font_family = "Times New Roman"
, svg_font_style = SVG_ITALIC
, font_enc_vector = standard_encoding
}
times_bold :: FontDef
times_bold =
FontDef { font_def_face = face
, gs_file_name = "n021004l.afm"
, afm_file_name = "Times-Bold.afm"
}
where
face = FontFace { ps_font_name = "Times-Bold"
, svg_font_family = "Times New Roman"
, svg_font_style = SVG_BOLD
, font_enc_vector = standard_encoding
}
times_bold_italic :: FontDef
times_bold_italic =
FontDef { font_def_face = face
, gs_file_name = "n021024l.afm"
, afm_file_name = "Times-BoldItalic.afm"
}
where
face = FontFace { ps_font_name = "Times-BoldItalic"
, svg_font_family = "Times New Roman"
, svg_font_style = SVG_BOLD_ITALIC
, font_enc_vector = standard_encoding
}
helvetica_family :: FontFamily
helvetica_family =
FontFamily { ff_regular = helvetica
, ff_bold = Just helvetica_bold
, ff_italic = Just helvetica_oblique
, ff_bold_italic = Just helvetica_bold_oblique
}
helvetica :: FontDef
helvetica =
FontDef { font_def_face = face
, gs_file_name = "n019003l.afm"
, afm_file_name = "Helvetica.afm"
}
where
face = FontFace { ps_font_name = "Helvetica"
, svg_font_family = "Helvetica"
, svg_font_style = SVG_REGULAR
, font_enc_vector = standard_encoding
}
helvetica_oblique :: FontDef
helvetica_oblique =
FontDef { font_def_face = face
, gs_file_name = "n019023l.afm"
, afm_file_name = "Helvetica-Oblique.afm"
}
where
face = FontFace { ps_font_name = "Helvetica-Oblique"
, svg_font_family = "Helvetica"
, svg_font_style = SVG_OBLIQUE
, font_enc_vector = standard_encoding
}
helvetica_bold :: FontDef
helvetica_bold =
FontDef { font_def_face = face
, gs_file_name = "n019004l.afm"
, afm_file_name = "Helvetica-Bold.afm"
}
where
face = FontFace { ps_font_name = "Helvetica-Bold"
, svg_font_family = "Helvetica"
, svg_font_style = SVG_BOLD
, font_enc_vector = standard_encoding
}
helvetica_bold_oblique :: FontDef
helvetica_bold_oblique =
FontDef { font_def_face = face
, gs_file_name = "n019024l.afm"
, afm_file_name = "Helvetica-BoldOblique.afm"
}
where
face = FontFace { ps_font_name = "Helvetica-Bold-Oblique"
, svg_font_family = "Helvetica"
, svg_font_style = SVG_BOLD_OBLIQUE
, font_enc_vector = standard_encoding
}
courier_family :: FontFamily
courier_family =
FontFamily { ff_regular = courier
, ff_bold = Just courier_bold
, ff_italic = Just courier_oblique
, ff_bold_italic = Just courier_bold_oblique
}
courier :: FontDef
courier =
FontDef { font_def_face = face
, gs_file_name = "n022003l.afm"
, afm_file_name = "Courier.afm"
}
where
face = FontFace { ps_font_name = "Courier"
, svg_font_family = "Courier New"
, svg_font_style = SVG_REGULAR
, font_enc_vector = standard_encoding
}
courier_oblique :: FontDef
courier_oblique =
FontDef { font_def_face = face
, gs_file_name = "n022023l.afm"
, afm_file_name = "Courier-Oblique.afm"
}
where
face = FontFace { ps_font_name = "Courier-Oblique"
, svg_font_family = "Courier New"
, svg_font_style = SVG_OBLIQUE
, font_enc_vector = standard_encoding
}
courier_bold :: FontDef
courier_bold =
FontDef { font_def_face = face
, gs_file_name = "n022004l.afm"
, afm_file_name = "Courier-Bold.afm"
}
where
face = FontFace { ps_font_name = "Courier-Bold"
, svg_font_family = "Courier New"
, svg_font_style = SVG_BOLD
, font_enc_vector = standard_encoding
}
courier_bold_oblique :: FontDef
courier_bold_oblique =
FontDef { font_def_face = face
, gs_file_name = "n022024l.afm"
, afm_file_name = "Courier-BoldOblique.afm"
}
where
face = FontFace { ps_font_name = "Courier-Bold-Oblique"
, svg_font_family = "Courier New"
, svg_font_style = SVG_BOLD_OBLIQUE
, font_enc_vector = standard_encoding
}
symbol :: FontDef
symbol =
FontDef { font_def_face = face
, gs_file_name = "s050000l.afm"
, afm_file_name = "Symbol.afm"
}
where
face = FontFace { ps_font_name = "Symbol"
, svg_font_family = "Symbol"
, svg_font_style = SVG_REGULAR
, font_enc_vector = symbol_encoding
}