Hoogle Search

Within LTS Haskell 24.42 (ghc-9.10.3)

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

Exact lookup

1. (.:?) :: OnObject o a => Text -> Parser a -> o (Maybe a)

   json-stream	Data.JsonStream.Parser

   Returns Nothing if value is null or does not exist or match. Otherwise returns Just value.

   key .:? val = optional (key .: val)
   

   It could be similarly used in the objectOf parser

2. ($::) :: (a -> b) -> ((a -> b) -> c -> d) -> c -> d

   pointless-fun	Data.Function.Pointless

   Lift a function for multicomposition. This is like the :: of a type signature.

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

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

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

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

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

   verset	Verset

   An infix form of fromMaybe with arguments flipped.

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