Hoogle Search
Within LTS Haskell 24.5 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
tfp Type.Data.Ord No documentation available.
-
tfp Type.Data.Ord 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.
data ((f :: k -> Type)
:*: (g :: k -> Type)) (p :: k)beam-core Database.Beam.Schema.Tables Products: encode multiple arguments to constructors
(
:*: ) :: f p -> g p -> (:*:) (f :: k -> Type) (g :: k -> Type) (p :: k)beam-core Database.Beam.Schema.Tables 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 ()