Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

  1. weakenFor :: forall (e :: Effect) (es :: [Effect]) (e' :: Effect) . Membership e es -> Membership e (e' ': es)

    data-effects-core Data.Effect.OpenUnion

    No documentation available.

  2. weakenHOEsFor :: forall (es :: [Effect]) (e :: Effect) . WeakenHOEs es => Membership e (RemoveHOEs es) -> Membership e es

    data-effects-core Data.Effect.OpenUnion

    No documentation available.

  3. weakensFor :: forall (es :: [Effect]) (es' :: [Effect]) (e :: Effect) . Suffix es es' => Membership e es -> Membership e es'

    data-effects-core Data.Effect.OpenUnion

    No documentation available.

  4. weakensUnderFor :: forall (es :: [Effect]) (es' :: [Effect]) (e :: Effect) . SuffixUnder es es' => Membership e es -> Membership e es'

    data-effects-core Data.Effect.OpenUnion

    No documentation available.

  5. WillFork :: Lookahead

    dejafu Test.DejaFu.Conc

    Will start a new thread.

  6. WillForkOS :: Lookahead

    dejafu Test.DejaFu.Conc

    Will start a new bound thread.

  7. AFork :: String -> ((forall b . () => ModelConc n b -> ModelConc n b) -> Action n) -> (ThreadId -> Action n) -> Action (n :: Type -> Type)

    dejafu Test.DejaFu.Conc.Internal.Common

    No documentation available.

  8. AForkOS :: String -> ((forall b . () => ModelConc n b -> ModelConc n b) -> Action n) -> (ThreadId -> Action n) -> Action (n :: Type -> Type)

    dejafu Test.DejaFu.Conc.Internal.Common

    No documentation available.

  9. readForTicket :: MonadDejaFu n => ModelIORef n a -> ThreadId -> n (ModelTicket a)

    dejafu Test.DejaFu.Conc.Internal.Memory

    Read from a IORef, returning a Ticket representing the current view of the thread.

  10. checkFor :: (Testable p, Listable (X p)) => Int -> Int -> p -> IO (Maybe (FailedProperty (O p) (X p)))

    dejafu Test.DejaFu.Refinement

    Like check, but take a number of cases to try, also returns the counter example found rather than printing it. If multiple counterexamples exist, this will be faster than listToMaybe composed with counterExamples.

Page 1334 of many | Previous | Next