Hoogle Search

Within LTS Haskell 24.58 (ghc-9.10.3)

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

Exact lookup

1. (<<**=) :: (MonadState s m, Floating a) => LensLike' ((,) a) s a -> a -> m a

   diagrams-lib	Diagrams.Prelude

   Modify the target of a Lens into your Monad's state by raising it by an arbitrary power and return the old value that was replaced. When you do not need the result of the operation, (**=) is more flexible.

   (<<**=) :: (MonadState s m, Floating a) => Lens' s a -> a -> m a
   (<<**=) :: (MonadState s m, Floating a) => Iso' s a -> a -> m a
   

2. (<<**~) :: Floating a => LensLike' ((,) a) s a -> a -> s -> (a, s)

   diagrams-lib	Diagrams.Prelude

   Raise the target of a floating-point valued Lens to an arbitrary power and return the old value. When you do not need the old value, (**~) is more flexible.

   >>> (a,b) & _1 <<**~ c
   (a,(a**c,b))
   

   >>> (a,b) & _2 <<**~ c
   (b,(a,b**c))
   

   (<<**~) :: Floating a => Lens' s a -> a -> s -> (a, s)
   (<<**~) :: Floating a => Iso' s a -> a -> s -> (a, s)
   

3. (<**>) :: Applicative f => f a -> f (a -> b) -> f b

   relude	Relude.Applicative

   A variant of <*> with the types of the arguments reversed. It differs from flip (<*>) in that the effects are resolved in the order the arguments are presented.

   Examples

   >>> (<**>) (print 1) (id <$ print 2)
   1
   2
   

   >>> flip (<*>) (print 1) (id <$ print 2)
   2
   1
   

   >>> ZipList [4, 5, 6] <**> ZipList [(+1), (*2), (/3)]
   ZipList {getZipList = [5.0,10.0,2.0]}
   

4. (%<**>) :: forall (f :: Type -> Type) a b (t1 :: f a) (t2 :: f (a ~> b)) . SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<**>@#@$) :: TyFun (f a) (f (a ~> b) ~> f b) -> Type) t1) t2)

   singletons-base	Control.Applicative.Singletons

   No documentation available.

5. type family (a1 :: f a) <**> (a2 :: f a ~> b) :: f b

   singletons-base	Control.Applicative.Singletons

   No documentation available.

6. data (a6989586621679356609 :: f a) <**>@#@$$ (b1 :: TyFun f a ~> b f b)

   singletons-base	Control.Applicative.Singletons

   No documentation available.

7. type family (a6989586621679356609 :: f a) <**>@#@$$$ (a6989586621679356610 :: f a ~> b) :: f b

   singletons-base	Control.Applicative.Singletons

   No documentation available.

8. (<**>) :: Applicative f => f a -> f (a -> b) -> f b

   ghc-internal	GHC.Internal.Base

   A variant of <*> with the types of the arguments reversed. It differs from flip (<*>) in that the effects are resolved in the order the arguments are presented.

   Examples

   >>> (<**>) (print 1) (id <$ print 2)
   1
   2
   

   >>> flip (<*>) (print 1) (id <$ print 2)
   2
   1
   

   >>> ZipList [4, 5, 6] <**> ZipList [(+1), (*2), (/3)]
   ZipList {getZipList = [5.0,10.0,2.0]}
   

9. (.**) :: (Index ix, Source r1 e, Source r2 e, Floating e) => Array r1 ix e -> Array r2 ix e -> Array D ix e

   massiv	Data.Massiv.Array.Numeric

   Apply power to each element of the array where the power value is in the same cell in the second array.

   arr1 .** arr2 == zipWith (**) arr1 arr2
   

   • Partial Throws an error when arrays do not have matching sizes

10. (<**>) :: Applicative f => f a -> f (a -> b) -> f b

    protolude	Protolude

    A variant of <*> with the types of the arguments reversed. It differs from flip (<*>) in that the effects are resolved in the order the arguments are presented.

    Examples

    >>> (<**>) (print 1) (id <$ print 2)
    1
    2
    

    >>> flip (<*>) (print 1) (id <$ print 2)
    2
    1
    

    >>> ZipList [4, 5, 6] <**> ZipList [(+1), (*2), (/3)]
    ZipList {getZipList = [5.0,10.0,2.0]}
    

Page 15 of many | Previous | Next