TestUtils

Documentation

newtype Delay

Constructors

Delay

Fields

• unDelay :: Int

Instances

Arbitrary Delay

Defined in TestUtils

Methods

arbitrary :: Gen Delay

shrink :: Delay -> [Delay]

Show Delay

Defined in TestUtils

Methods

showsPrec :: Int -> Delay -> ShowS

show :: Delay -> String

showList :: [Delay] -> ShowS

Eq Delay

Defined in TestUtils

Methods

(==) :: Delay -> Delay -> Bool

(/=) :: Delay -> Delay -> Bool

sleep :: MonadIO m => Delay -> m ()

newtype Iterations

Constructors

Iterations

Fields

• unIterations :: Int

Instances

Arbitrary Iterations

Defined in TestUtils

Methods

arbitrary :: Gen Iterations

shrink :: Iterations -> [Iterations]

Show Iterations

Defined in TestUtils

Methods

showsPrec :: Int -> Iterations -> ShowS

show :: Iterations -> String

showList :: [Iterations] -> ShowS

Eq Iterations

Defined in TestUtils

Methods

(==) :: Iterations -> Iterations -> Bool

(/=) :: Iterations -> Iterations -> Bool

callN :: Applicative m => Iterations -> m a -> m ()

data Thread

Constructors

Thread

Fields

• tDelay :: Delay
• tIncrement :: Int
• tIterations :: Iterations

Instances

Arbitrary Thread

Defined in TestUtils

Methods

arbitrary :: Gen Thread

shrink :: Thread -> [Thread]

Generic Thread

Defined in TestUtils

Associated Types

type Rep Thread :: Type -> Type

Methods

from :: Thread -> Rep Thread x

to :: Rep Thread x -> Thread

Show Thread

Defined in TestUtils

Methods

showsPrec :: Int -> Thread -> ShowS

show :: Thread -> String

showList :: [Thread] -> ShowS

Eq Thread

Defined in TestUtils

Methods

(==) :: Thread -> Thread -> Bool

(/=) :: Thread -> Thread -> Bool

type Rep Thread

Defined in TestUtils

type Rep Thread = D1 ('MetaData "Thread" "TestUtils" "atomic-counter-0.1.1-49PoJ1KwOBe6zZ7fd4iASv-test-utils" 'False) (C1 ('MetaCons "Thread" 'PrefixI 'True) (S1 ('MetaSel ('Just "tDelay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Delay) :*: (S1 ('MetaSel ('Just "tIncrement") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "tIterations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Iterations))))

runThread :: MonadIO m => Thread -> (Delay -> m a) -> (Int -> m b) -> m ()

newtype Threads

Constructors

Threads

Fields

• unThreads :: NonEmpty Thread

Instances

Arbitrary Threads

Defined in TestUtils

Methods

arbitrary :: Gen Threads

shrink :: Threads -> [Threads]

Show Threads

Defined in TestUtils

Methods

showsPrec :: Int -> Threads -> ShowS

show :: Threads -> String

showList :: [Threads] -> ShowS

Eq Threads

Defined in TestUtils

Methods

(==) :: Threads -> Threads -> Bool

(/=) :: Threads -> Threads -> Bool

spawnAndCall :: Traversable f => f b -> IO a -> (a -> b -> IO ()) -> IO a