Hoogle Search

Within LTS Haskell 24.22 (ghc-9.10.3)

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

Exact lookup

1. (:&) :: a -> b -> (:&) a b

   diagrams-lib	Diagrams.Coordinates

   No documentation available.

2. (^&) :: Coordinates c => PrevDim c -> FinalCoord c -> c

   diagrams-lib	Diagrams.Coordinates

   Construct a value of type c by providing something of one less dimension (which is perhaps itself recursively constructed using (^&)) and a final coordinate. For example,

   2 ^& 3 :: P2
   3 ^& 5 ^& 6 :: V3
   

   Note that ^& is left-associative.

3. (<&&=) :: MonadState s m => LensLike' ((,) Bool) s Bool -> Bool -> m Bool

   diagrams-lib	Diagrams.Prelude

   Logically && a Boolean valued Lens into your Monad's state and return the result. When you do not need the result of the operation, (&&=) is more flexible.

   (<&&=) :: MonadState s m => Lens' s Bool -> Bool -> m Bool
   (<&&=) :: MonadState s m => Iso' s Bool  -> Bool -> m Bool
   

4. (<&&~) :: LensLike ((,) Bool) s t Bool Bool -> Bool -> s -> (Bool, t)

   diagrams-lib	Diagrams.Prelude

   Logically && a Boolean valued Lens and return the result. When you do not need the result of the operation, (&&~) is more flexible.

   (<&&~) :: Lens' s Bool -> Bool -> s -> (Bool, s)
   (<&&~) :: Iso' s Bool  -> Bool -> s -> (Bool, s)
   

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

   diagrams-lib	Diagrams.Prelude

   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
   

6. (<<&&=) :: MonadState s m => LensLike' ((,) Bool) s Bool -> Bool -> m Bool

   diagrams-lib	Diagrams.Prelude

   Modify the target of a Lens into your Monad's state by taking its logical && with a value and return the old value that was replaced. When you do not need the result of the operation, (&&=) is more flexible.

   (<<&&=) :: MonadState s m => Lens' s Bool -> Bool -> m Bool
   (<<&&=) :: MonadState s m => Iso' s Bool -> Bool -> m Bool
   

7. (<<&&~) :: LensLike' ((,) Bool) s Bool -> Bool -> s -> (Bool, s)

   diagrams-lib	Diagrams.Prelude

   Logically && the target of a Bool-valued Lens and return the old value. When you do not need the old value, (&&~) is more flexible.

   >>> (False,6) & _1 <<&&~ True
   (False,(False,6))
   

   >>> ("hello",True) & _2 <<&&~ False
   (True,("hello",False))
   

   (<<&&~) :: Lens' s Bool -> Bool -> s -> (Bool, s)
   (<<&&~) :: Iso' s Bool -> Bool -> s -> (Bool, s)
   

8. (.&&&.) :: Selector s a -> Selector s b -> Selector s (a, b)

   hxt	Data.Function.Selector

   No documentation available.

9. (.&&&.) :: Selector s a -> Selector s b -> Selector s (a, b)

   hxt	Text.XML.HXT.Arrow.XmlState.TypeDefs

   No documentation available.

10. (:%&:) :: forall s (t :: s ~> Type) (fst :: s) (sfst :: Sing fst) (snd :: t @@ fst) . Sing ('WrapSing sfst :: WrappedSing fst) -> Sing snd -> SSigma (sfst ':&: snd :: Sigma s t)

    singletons	Data.Singletons.Sigma

    No documentation available.

Page 29 of many | Previous | Next