Hoogle Search

Within LTS Haskell 24.17 (ghc-9.10.3)

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

  1. type (p :: k -> k1 -> Type) :-> (q :: k -> k1 -> Type) = forall (a :: k) (b :: k1) . () => p a b -> q a b

    essence-of-live-coding LiveCoding

    (:->) has a polymorphic kind since 5.6.

  2. pattern (:*) :: HasDebugCallStack => Card -> SubDemand -> Demand

    ghc-lib-parser GHC.Types.Demand

    c :* sd is a demand that says "evaluated c times, and any trace in which it is evaluated will evaluate at least as deep as sd". Matching on this pattern synonym is a complete match. If the matched demand was AbsDmd, it will match as C_00 :* seqSubDmd. If the matched demand was BotDmd, it will match as C_10 :* botSubDmd. The builder of this pattern synonym simply discards the SubDemand if the Card was absent and returns AbsDmd or BotDmd instead. It will assert that the discarded sub-demand was seqSubDmd and botSubDmd, respectively. Call sites should consider whether they really want to look at the SubDemand of an absent demand and match on AbsDmd and/or BotDmd otherwise. Really, any other SubDemand would be allowed and might work better, depending on context.

  3. (:*:) :: a -> b -> StrictPair a b

    ghc-lib-parser GHC.Utils.Containers.Internal.StrictPair

    No documentation available.

  4. (::=) :: ReadWriteAttr o a b -> (o -> b) -> AttrOp o

    glib System.Glib.Attributes

    Assign a value to an attribute with the object as an argument.

  5. (::~) :: ReadWriteAttr o a b -> (o -> a -> b) -> AttrOp o

    glib System.Glib.Attributes

    Apply an update function to an attribute with the object as an argument.

  6. (:=) :: ReadWriteAttr o a b -> b -> AttrOp o

    glib System.Glib.Attributes

    Assign a value to an attribute.

  7. (:=>) :: ReadWriteAttr o a b -> IO b -> AttrOp o

    glib System.Glib.Attributes

    Assign the result of an IO action to an attribute.

  8. (:~) :: ReadWriteAttr o a b -> (a -> b) -> AttrOp o

    glib System.Glib.Attributes

    Apply an update function to an attribute.

  9. (:~>) :: ReadWriteAttr o a b -> (a -> IO b) -> AttrOp o

    glib System.Glib.Attributes

    Apply a IO update function to an attribute.

  10. data (a :: Nat) :=: (b :: Nat)

    natural-arithmetic Arithmetic.Types

    Proof that the first argument is equal to the second argument.

Page 25 of many | Previous | Next