Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. (|&|) :: forall (dom :: Domain) a b . (AssertionValue dom a, AssertionValue dom b) => a -> b -> Assertion dom

    clash-prelude Clash.Verification.DSL

    No documentation available.

  2. (<&>) :: Functor f => f a -> (a -> b) -> f b

    incipit-base Incipit.Base

    Flipped version of <$>. 

    (<&>) = flip fmap

    Examples

    Apply (+1) to a list, a Just and a Right: 
    >>> Just 2 <&> (+1)
Just 3

    >>> [1,2,3] <&> (+1)
[2,3,4]

    >>> Right 3 <&> (+1)
Right 4

  3. (.&&.) :: (a -> Bool) -> (a -> Bool) -> a -> Bool

    liquidhaskell-boot Language.Haskell.Liquid.Misc

    No documentation available.

  4. (=&=) :: (MonadState (Dependencies v n) m, MonadError (DepError v n) m, Eq v, Hashable v, Hashable n, RealFrac n, Floating n, Ord v) => (Expr v n, Expr v n) -> (Expr v n, Expr v n) -> m ()

    mfsolve Math.MFSolve

    Make the pairs of expressions on both sides equal. No error is signaled if the equation for one of the sides is Redundant for example in (x, 0) == (y, 0).

  5. (<&) :: forall (m :: Type -> Type) s e a b . Monad m => Wire s e m a (Event b) -> Wire s e m a (Event b) -> Wire s e m a (Event b)

    netwire Control.Wire.Event

    Merge events with the leftmost event taking precedence. Equivalent to using the monoid interface with First. Infixl 5.

    • Depends: now on both.
    • Inhibits: when any of the two wires inhibit.

  6. (<&>) :: Location base -> QueryParam -> Location base

    path-extra Path.Extended

    No documentation available.

  7. (.&&) :: SBool -> SBool -> SBool

    sbv Data.SBV

    Symbolic conjunction

  8. (.~&) :: SBool -> SBool -> SBool

    sbv Data.SBV

    Symbolic nand

  9. (.&&) :: SBool -> SBool -> SBool

    sbv Data.SBV.Internals

    Symbolic conjunction

  10. (.~&) :: SBool -> SBool -> SBool

    sbv Data.SBV.Internals

    Symbolic nand

Page 37 of many | Previous | Next