mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-29 06:22:51 -06:00
module Markup for marking up subphrases with html tags (or other things). Implemented for Eng and Swe so far.
This commit is contained in:
35
lib/src/common/MarkHTMLX.gf
Normal file
35
lib/src/common/MarkHTMLX.gf
Normal file
@@ -0,0 +1,35 @@
|
||||
--# -path=.:../abstract
|
||||
|
||||
concrete MarkHTMLX of MarkHTML = open HTML, Prelude in {
|
||||
|
||||
lincat
|
||||
Mark = {begin,end : Str} ;
|
||||
|
||||
lin
|
||||
i_Mark = mkMark "i" ;
|
||||
b_Mark = mkMark "b" ;
|
||||
ul_Mark = mkMark "ul" ;
|
||||
li_Mark = mkMark "li" ;
|
||||
h1_Mark = mkMark "h1" ;
|
||||
h2_Mark = mkMark "h2" ;
|
||||
table_Mark = mkMark "table" ;
|
||||
tr_Mark = mkMark "tr" ;
|
||||
td_Mark = mkMark "td" ;
|
||||
p_Mark = mkMark "p" ;
|
||||
|
||||
a_Mark url = {begin = "<a href=" ++ Predef.BIND ++ url.s ++ Predef.BIND ++ ">" ; end = "</a>"} ;
|
||||
|
||||
stringMark begin end = {begin = begin.s ; end = end.s} ;
|
||||
|
||||
oper
|
||||
mkMark = overload {
|
||||
mkMark : Str -> Mark
|
||||
= \s -> lin Mark {begin = tag s ; end = endtag s} ;
|
||||
mkMark : Str -> Str -> Mark
|
||||
= \s,t -> lin Mark {begin = tag s ; end = endtag t} ;
|
||||
} ;
|
||||
|
||||
appMark : {begin,end : Str} -> Str -> Str
|
||||
= \m,s -> m.begin ++ s ++ m.end ;
|
||||
|
||||
}
|
||||
Reference in New Issue
Block a user