Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

  1. (.&&.) :: Applicative f => f Bool -> f Bool -> f Bool

    clash-prelude Clash.Signal.Internal

    The above type is a generalization for: 

    (.&&.) :: Signal Bool -> Signal Bool -> Signal Bool
    It is a version of (&&) that returns a Signal of Bool

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

    clash-prelude Clash.Verification.DSL

    No documentation available.

  3. (<&>) :: 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

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

    liquidhaskell-boot Language.Haskell.Liquid.Misc

    No documentation available.

  5. (=&=) :: (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).

  6. (<&) :: 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.

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

    path-extra Path.Extended

    No documentation available.

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

    sbv Data.SBV

    Symbolic conjunction

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

    sbv Data.SBV

    Symbolic nand

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

    sbv Data.SBV.Internals

    Symbolic conjunction

Page 37 of many | Previous | Next