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 = (F a b, Orientation) -> F c d -> F (Either a c) (Either b d)
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 a1 f, Orientation)
f1o >#==< :: (F a1 f, Orientation) -> F e a1 -> F e f
>#==< F e a1
f2 = (F a1 f, Orientation) -> F e a1 -> F e f
forall a1 f e. (F a1 f, Orientation) -> F e a1 -> F e f
serCompLF (F a1 f, Orientation)
f1o F e a1
f2