<=> -package:brick

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)

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

BNFC BNFC.PrettyPrint

Pretty print separator with = (for assignments...).

>>> "a" <=> "123"
a = 123

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

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

Symbolic boolean equivalence