<=> -package:BNFC

(<=>) :: Widget n -> Widget n -> Widget n

Vertical box layout: put the specified widgets one above the other in the specified order. Defers growth policies to the growth policies of both widgets. This operator is a binary version of vBox.

(<=>) :: Doc -> Doc -> Doc

HTF Test.Framework.Pretty

Utility function for inserting a = between two Doc values.

(<=>) :: (MonadThrow mi, MonadIO mo, MonadUnliftIO mi) => ConduitT i i (ResourceT mi) () -> ConduitT i i (ResourceT mi) () -> ResourceT mi (ConduitT i i mo ())

stm-conduit Data.Conduit.TMChan

Combines two conduits with unbounded channels, creating a new conduit which pulls data from a mix of the two: whichever produces first. The order of the new conduit's output is undefined, but it will be some combination of the two given conduits.

(<=>) :: Heyting a => a -> a -> a

lattices Algebra.Heyting

Equivalence.

x <=> y = (x ==> y) /\ (y ==> x)

(.<=>) :: SBool -> SBool -> SBool

sbv Data.SBV Data.SBV.Internals Data.SBV.Trans

Symbolic boolean equivalence