compLF::( F类 一 b ,方向)-> F类 c(c) d日 -> F类 ( 一 ⊕ c(c) )( b ⊕ d日 ) serCompLF::( F类 d日 如果 ,方向)-> F类 e(电子) d日 -> F类 e(电子) 如果 >#+< :: ( F类 一 b ,方向)-> F类 c(c) d日 -> F类 ( 一 ⊕ c(c) )( b ⊕ d日 ) >#==< :: ( F类 d日 如果 ,方向)-> F类 e(电子) d日 -> F类 e(电子) 如果 数据 方向=上方|下方|右侧|左侧 实例 Eq方向 实例 Ord方向 实例 显示方向
compLF(f1,定向)f2
#
(f1,方向) :: ( F类 一 b ,方向)
东方的
f1级
f2
f2 :: F类 c(c) d日
(f1,上方)>#+<f2
(>#+<)=compLF (>#==<)=serCompLF (f1,上方)>#+<f2=位置F垂直P(f1>+<f2) (f1,下方)>#+<f2=位置F(revP垂直P)(f1>+<f2) ...