module LayoutOps((>#==<), (>#+<)) where
import LayoutF(compLF,serCompLF)
infixl >#+<, >#==<
(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