Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

  1. rsequenceIn :: forall (f :: Type -> Type) (g :: Type -> Type) (rs :: [Type]) . (Traversable f, Applicative g) => Rec (f :. g) rs -> Rec g (MapTyCon f rs)

    vinyl Data.Vinyl.Core

    Push an outer layer of interpretation functor into each field.

  2. type REquivalent (rs :: [k]) (ss :: [k]) (is :: [Nat]) (js :: [Nat]) = (RSubset rs ss is, RSubset ss rs js)

    vinyl Data.Vinyl.Lens

    Two record types are equivalent when they are subtypes of each other.

  3. infoMessageQueueLength :: ProcessInfo -> Int

    distributed-process Control.Distributed.Process

    No documentation available.

  4. seqCP :: (Typeable a, Typeable b) => Closure (Process a) -> Closure (Process b) -> Closure (Process b)

    distributed-process Control.Distributed.Process.Closure

    CP version of (>>)

  5. dequeue :: CQueue m -> BlockSpec -> [MatchOn m a] -> IO (Maybe a)

    distributed-process Control.Distributed.Process.Internal.CQueue

    Dequeue an element The timeout (if any) is applied only to waiting for incoming messages, not to checking messages that have already arrived

  6. seqCP :: (Typeable a, Typeable b) => Closure (Process a) -> Closure (Process b) -> Closure (Process b)

    distributed-process Control.Distributed.Process.Internal.Closure.BuiltIn

    CP version of (>>)

  7. infoMessageQueueLength :: ProcessInfo -> Int

    distributed-process Control.Distributed.Process.Internal.Primitives

    No documentation available.

  8. infoMessageQueueLength :: ProcessInfo -> Int

    distributed-process Control.Distributed.Process.Internal.Types

    No documentation available.

  9. doubleQuotes :: HasChars a => Doc a -> Doc a

    doclayout Text.DocLayout

    Wraps a Doc in double quotes.

  10. data TyEq (c :: a) (d :: b) (e :: Bool)

    first-class-families Fcf

    Type equality.

    Details

    The base library also defines a similar (==); it differs from TyEq in the following ways:
    • TyEq is heterogeneous: its arguments may have different kinds;
    • TyEq is reflexive: TyEq a a always reduces to True even if a is a variable.

Page 306 of many | Previous | Next