best wid map1
Signature: wid:int -> map1:Dictionary<'?7214,Format> -> Format
Type parameters: '?7214
|
Get suitable and min
|
cacheContains wid doc
Signature: wid:int -> doc:Doc -> Dictionary<int<MeasureProduct<Frame,MeasureOne>>,Format>
|
|
cacheMap
Signature: Dictionary<Doc,Dictionary<int<MeasureProduct<Frame,MeasureOne>>,Format>>
|
|
checkUpdate wid form map1
Signature: wid:int -> form:Format -> map1:Dictionary<int<MeasureProduct<Frame,MeasureOne>>,Format> -> unit
|
Insert format to map if format is suitable. If map empty then insert non-suitable format.
|
docToFormats wid doc
Signature: wid:int -> doc:Doc -> Dictionary<int<MeasureProduct<Frame,MeasureOne>>,Format>
|
Main function that tansform Doc to variants of formats.
|
mapmerge map1 map2
Signature: map1:Dictionary<int<MeasureProduct<Frame,MeasureOne>>,Format> -> map2:Dictionary<'?7208,Format> -> unit
Type parameters: '?7208
|
Insert in in map1 elements from map2.
|
mIter f d1 d2
Signature: f:('?7202 -> '?7203 -> unit) -> d1:'?7203 -> d2:Dictionary<'?7204,'?7202> -> unit
Type parameters: '?7202, '?7203, '?7204
|
|
pretty resultWidth d
Signature: resultWidth:int -> d:Doc -> Format
|
Get pretty format.
|
print resultWidth d
Signature: resultWidth:int -> d:Doc -> string
|
Get pretty format with Best
|
sortUpdate wid result d2
Signature: wid:int -> result:Dictionary<int<MeasureProduct<Frame,MeasureOne>>,Format> -> d2:Dictionary<'?7206,Format> -> unit
Type parameters: '?7206
|
|
update form map1
Signature: form:Format -> map1:Dictionary<int<MeasureProduct<Frame,MeasureOne>>,Format> -> unit
|
Updates map with choosing a min format.
|