Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

  1. type family (xs :: [Effect]) :>> (es :: [Effect])

    effectful-core Effectful

    Deprecated: Usage of (:>>) slows down GHC too much. See https://github.com/haskell-effectful/effectful/issues/52#issuecomment-1269155485 for more information.

  2. class (e :: Effect) :> (es :: [Effect])

    effectful-core Effectful.Internal.Effect

    A constraint that requires that a particular effect e is a member of the type-level list es. This is used to parameterize an Eff computation over an arbitrary list of effects, so long as e is somewhere in the list. For example, a computation that only needs access to a mutable value of type Integer would have the following type: 

    State Integer :> es => Eff es ()

  3. type family (xs :: [Effect]) :>> (es :: [Effect])

    effectful-core Effectful.Internal.Effect

    Deprecated: Usage of (:>>) slows down GHC too much. See https://github.com/haskell-effectful/effectful/issues/52#issuecomment-1269155485 for more information.

  4. (:<|>:) :: forall (a :: Type -> Type) b . a b -> a b -> NonDet a b

    effectful-core Effectful.Internal.Monad

    No documentation available.

  5. (:<|>:) :: forall (a :: Type -> Type) b . a b -> a b -> NonDet a b

    effectful-core Effectful.NonDet

    No documentation available.

  6. (:$) :: Expr -> Expr -> Expr

    express Data.Express

    function application between expressions

  7. (:$) :: Expr -> Expr -> Expr

    express Data.Express.Core

    function application between expressions

  8. (:&&) :: Prop -> Prop -> Prop

    ghc-typelits-presburger GHC.TypeLits.Presburger.Types

    No documentation available.

  9. (:*) :: Integer -> Expr -> Expr

    ghc-typelits-presburger GHC.TypeLits.Presburger.Types

    Multiplication by a constant

  10. (:+) :: Expr -> Expr -> Expr

    ghc-typelits-presburger GHC.TypeLits.Presburger.Types

    Addition

Page 30 of many | Previous | Next