Hoogle Search
Within LTS Haskell 24.41 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
:@ ) :: a -> Rendering -> Rendered atrifecta Text.Trifecta.Rendering No documentation available.
(
:^ ) :: a -> Caret -> Careted atrifecta Text.Trifecta.Rendering No documentation available.
(
:~ ) :: a -> Span -> Spanned atrifecta Text.Trifecta.Rendering No documentation available.
type (ts :: Set Type)
:+: (ts' :: Set Type) = Merge ts ts'type-set Data.Type.Set No documentation available.
type t
:- (ts :: Set Type) = Insert t tstype-set Data.Type.Set No documentation available.
type (f :: Type -> Type)
:$: (ts :: Set Type) = 'SetApp f Map f tstype-set Data.Type.SetApp No documentation available.
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 ()
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.
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 ()
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.