Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

  1. type (f :: Type -> Type) :$: (ts :: Set Type) = 'SetApp f Map f ts

    type-set Data.Type.SetApp

    No documentation available.

  2. data ((f :: k -> Type) :*: (g :: k -> Type)) (p :: k)

    beam-core Database.Beam.Schema.Tables

    Products: encode multiple arguments to constructors

  3. (:*:) :: f p -> g p -> (:*:) (f :: k -> Type) (g :: k -> Type) (p :: k)

    beam-core Database.Beam.Schema.Tables

    No documentation available.

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

    effectful-core Effectful

    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 ()

  5. 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.

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

  7. 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.

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

    effectful-core Effectful.Internal.Monad

    No documentation available.

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

    effectful-core Effectful.NonDet

    No documentation available.

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

    express Data.Express

    function application between expressions

Page 30 of many | Previous | Next