--|源位置
模块 GF.参考。位置 哪里
进口 前奏曲 躲藏 ((<>)) --GHC 8.4.1与文本冲突。漂亮打印
进口 GF.文本。很漂亮

--**源位置

班 哈斯源路径 一 哪里 源路径 :: 一 -> 文件路径

数据 位置 
  = 无锁定
  | 本地 国际 国际
  | 外部 文件路径 位置
  衍生 (内部->位置->显示[位置]->显示位置->字符串（内部->位置->演出）->（位置->字符串）->（[位置]->ShowS）->显示位置对于所有a。（Int->a->ShowS）->（a->String）->（[a]->ShowS）->显示showList:：[位置]->ShowS$cshowList:：[位置]->ShowS显示：：位置->字符串$cs显示：：位置->字符串showsPrec:：Int->Location->ShowS$cshowsPrec:：Int->位置->显示显示,位置->位置->Bool（位置->位置->Bool）->（位置->位置->Bool）->设备位置对于所有a.（a->a->Bool）->（a->a->Bool）->等式a/=：：位置->位置->布尔$c/=：：位置->位置->布尔==：：位置->位置->布尔$c==：：位置->位置->布尔等式,设备位置设备位置->（位置->位置->订购）->（位置->位置->Bool）->（位置->位置->Bool）->（位置->位置->Bool）->（位置->位置->Bool）->（位置->位置->位置）->（位置->位置->位置）->订单位置位置->位置->Bool位置->位置->订购位置->位置->位置对于所有a。等式a->（a->a->订购）->（a->a->Bool）->（a->a->Bool）->（a->a->Bool）->（a->a->Bool）->（a->a->a）->（a->a->a）->命令a最小值：：位置->位置->位置$cmin:：位置->位置->位置max:：位置->位置->位置$cmax:：位置->位置->位置>=：：位置->位置->布尔$c>=：：位置->位置->布尔>：：位置->位置->Bool$c>：：位置->位置->Bool<=：：位置->位置->布尔$c<=：：位置->位置->布尔<：：位置->位置->布尔$c<：：位置->位置->Bool比较：：位置->位置->订购$ccompare：：地点->地点->订购$cp1Ord:：设备位置订单)

--|附加位置信息
数据 L（左） 一 = L（左） 位置 一 衍生 国际->拉丁->展会[L a]->显示L a->字符串（国际->拉丁->展会）->（L a->字符串）->（[L a]->显示S）->显示（L a）对于所有a.显示a=>Int->L a->ShowS对于所有a.显示a=>[L a]->显示Sfor all a.显示a=>L a->字符串对于所有a。（Int->a->ShowS）->（a->String）->（[a]->ShowS）->显示showList:：[L a]->显示$cshowList:：for all a.显示a=>[L a]->显示S显示：：L a->字符串$cs显示：：for all a.显示a=>L a->StringshowsPrec:：Int->L a->ShowS$cshowsPrec:：for all a.显示a=>Int->L a->ShowS显示

实例 Functor（仿真器） L（左） 哪里 fmap:：（a->b）->L a->L b功能性维修计划 a->b（f） (L（左） 位置位置 一x个) = 位置->b->L b对于所有a.位置->a->L aL（左） 位置位置 (a->b（f） 一x个)

取消锁定 :: L（左） 一 -> 一
unLoc:：L a->a取消锁定 (L（左） 位置_ 一x个) = 一x个

无位置：：a->L a无位置 = 位置->a->L a对于所有a.位置->a->L aL（左） 位置无锁定

pp位置 :: 文件路径 -> 位置 -> 文件
ppLocation:：字符串->位置->文档pp位置 字符串fpath（fpath） 位置无锁定          = 字符串->文档对于所有a.相当a=>a->Doc聚丙烯 字符串fpath（fpath）
pp位置 字符串fpath（路径） (外部 字符串第页 位置我) = 字符串->位置->单据pp位置 字符串第页 位置我
pp位置 字符串fpath（fpath） (本地 国际b条 国际e（电子）) =
    布尔->文档->文档选择 (字符串fpath（fpath）字符串->字符串->Bool对于所有a.等式a=>a->a->Bool/=字符串"") (字符串fpath（fpath） 字符串->字符串->文档对于所有a1a2。（漂亮a1，漂亮a2）=>a1->a2->Doc<> 字符串":") 单据->Int->单据对于所有a1a2。（漂亮a1，漂亮a2）=>a1->a2->Doc<> 国际b条 单据->单据->单据对于所有a1a2。（漂亮a1，漂亮a2）=>a1->a2->Doc<> 布尔->文档->文档选择 (国际b条国际->国际->布尔对于所有a.等式a=>a->a->Bool/=国际e（电子）) (字符串"-" 字符串->Int->文档对于所有a1a2。（漂亮a1，漂亮a2）=>a1->a2->Doc<> 国际e（电子）)
  哪里
    opt:：Bool->Doc->Doc选择 布尔False（错误） 文件x个 = 文件空的
    选择 布尔真的 文件x个 = 文件x个

ppL:：L a2->a2->DocppL（磅/升） (L（左） 位置位置 a2类x个) a2类消息 = 单据->Int->单据->单据对于所有a1a2。（漂亮a1，漂亮a2）=>a1->Int->a2->Doc悬挂 (位置位置位置->字符串->文档对于所有a1a2。（漂亮a1，漂亮a2）=>a1->a2->Doc<>字符串":") 国际4 (字符串“输入”字符串->a2->文档对于所有a1a2。（Pretty a1，Pretty a2）=>a1->a2->文档<+>a2类x个单据->字符串->单据对于所有a1a2。（漂亮a1，漂亮a2）=>a1->a2->Doc<>字符串":"文件->a2->文件对于所有a1a2。（漂亮a1，漂亮a2）=>a1->a2->Doc<+>a2类消息)


实例 很漂亮 位置 哪里 pp:：位置->文档聚丙烯 = 字符串->位置->单据pp位置 字符串""

实例 很漂亮 一 => 很漂亮 (L（左） 一) 哪里 pp:：L a->文件聚丙烯 (L（左） 位置位置 一x个) = 位置位置位置->字符串->文档对于所有a1a2。（漂亮a1，漂亮a2）=>a1->a2->Doc<>字符串":"文件->a->文件对于所有a1a2。（漂亮a1，漂亮a2）=>a1->a2->Doc<>一x个