Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. (.:) :: (c -> d) -> (a -> b -> c) -> a -> b -> d

   pointless-fun	Data.Function.Pointless

   Binary composition: pass two args to the right argument before composing.

   (f .: g) x y = f (g x y)
   

   or,

   f .: g = curry (f . uncurry g)
   

   This is the same as the common idiom (f .) . g but more easily extended to multiple uses, due to the fixity declaration.

2. (<:=) :: forall (t :: Type -> Type) v (m :: Type -> Type) e em . (BindingMonad t v m, Fallible t v e, MonadTrans em, Functor (em m), MonadError e (em m)) => UTerm t v -> UTerm t v -> em m Bool

   unification-fd	Control.Unification

   subsumes

3. (=:=) :: forall (t :: Type -> Type) v (m :: Type -> Type) e em . (BindingMonad t v m, Fallible t v e, MonadTrans em, Functor (em m), MonadError e (em m)) => UTerm t v -> UTerm t v -> em m (UTerm t v)

   unification-fd	Control.Unification

   unify

4. (=:=) :: forall (t :: Type -> Type) v (m :: Type -> Type) e em . (RankedBindingMonad t v m, Fallible t v e, MonadTrans em, Functor (em m), MonadError e (em m)) => UTerm t v -> UTerm t v -> em m (UTerm t v)

   unification-fd	Control.Unification.Ranked

   unify

5. (?:) :: Maybe a -> a -> a

   verset	Verset

   An infix form of fromMaybe with arguments flipped.

6. (=:) :: SettableClass s x y => s c -> y -> Arr c c

   xmonad-contrib	XMonad.Config.Prime

   This lets you modify an attribute.

7. (.:) :: (a -> b) -> (c -> d -> a) -> c -> d -> b

   xmonad-contrib	XMonad.Prelude

   Multivariable composition.

   f .: g ≡ (f .) . g ≡ \c d -> f (g c d)
   

Page 106 of many | Previous | Next