module LayoutOps((>#==<), (>#+<)) where
--import Fudget
--import LayoutDir(Orientation)
import LayoutF(compLF,serCompLF)

infixl >#+<, >#==<

-- Infix operators for common layout combinators.

(F a b, Orientation)
f1o >#+< :: (F a b, Orientation) -> F c d -> F (Either a c) (Either b d)
>#+<  F c d
f2 = forall {a} {b} {c} {d}.
(F a b, Orientation) -> F c d -> F (Either a c) (Either b d)
compLF (F a b, Orientation)
f1o F c d
f2
(F d f, Orientation)
f1o >#==< :: (F d f, Orientation) -> F e d -> F e f
>#==< F e d
f2 = forall {d} {f} {e}. (F d f, Orientation) -> F e d -> F e f
serCompLF (F d f, Orientation)
f1o F e d
f2