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.

  1. (?:) :: a -> f a -> T f a

    non-empty Data.Optional

    No documentation available.

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

    errors Control.Error.Util

    An infix form of fromMaybe with arguments flipped.

  3. (<<<>:=) :: (MonadState s m, Semigroup r) => LensLike' ((,) r) s r -> r -> m r

    diagrams-lib Diagrams.Prelude

    (<>) a Semigroup value onto the front of the target of a Lens into your Monad's state and return the old result. However, unlike (<<<>=), it is prepended to the head side. When you do not need the result of the operation, (<>:=) is more flexible.

  4. (<<<>:~) :: Semigroup m => LensLike' ((,) m) s m -> m -> s -> (m, s)

    diagrams-lib Diagrams.Prelude

    (<>) a Semigroup value onto the front of the target of a Lens and return the old result. However, unlike (<<>~), it is prepended to the head side. When you do not need the result of the operation, (<>:~) is more flexible.

  5. (<<>:=) :: (MonadState s m, Semigroup r) => LensLike' ((,) r) s r -> r -> m r

    diagrams-lib Diagrams.Prelude

    (<>) a Semigroup value onto the front of the target of a Lens into your Monad's state and return the result. However, unlike (<<>=), it is prepended to the head side. When you do not need the result of the operation, (<>:=) is more flexible.

  6. (<<>:~) :: Semigroup m => LensLike ((,) m) s t m m -> m -> s -> (m, t)

    diagrams-lib Diagrams.Prelude

    (<>) a Semigroup value onto the front of the target of a Lens and return the result. However, unlike (<<>~), it is prepended to the head side. When you do not need the result of the operation, (<>:~) is more flexible.

  7. (<>:=) :: (MonadState s m, Semigroup a) => ASetter' s a -> a -> m ()

    diagrams-lib Diagrams.Prelude

    Modify the target(s) of a Lens', Iso, Setter or Traversal by using (<>). However, unlike <>=, it is prepend to the head side.

  8. (<>:~) :: Semigroup b => ASetter s t b b -> b -> s -> t

    diagrams-lib Diagrams.Prelude

    Modify the target of a Semigroup value by using (<>). However, unlike <>~, it is prepend to the head side. 

    >>> ["world"] & id <>:~ ["hello"]
["hello","world"]

    >>> (["world"], ["lens"]) & _1 <>:~ ["hello"]
(["hello","world"],["lens"])

  9. (-:) :: a -> a -> a

    leancheck Test.LeanCheck.Utils.TypeBinding

    Type restricted version of const that forces its first argument to have the same type as the second. A symnonym to asTypeOf: 

    value -: ty  =  value :: Ty
    Examples: 
    10 -: int   =  10 :: Int
undefined -: 'a' >- 'b'  =  undefined :: Char -> Char

  10. (-:>) :: (a -> b) -> a -> a -> b

    leancheck Test.LeanCheck.Utils.TypeBinding

    Type restricted version of const that forces the argument of its first argument to have the same type as the second: 

    f -:> ty  =  f -: ty >- und  =  f :: Ty -> a
    Example: 
    abs -:> int   =  abs -: int >- und  =  abs :: Int -> Int

Page 78 of many | Previous | Next