Copyright	(C) 2017 ATS Advanced Telematic Systems GmbH
License	BSD-style (see the file LICENSE)
Maintainer	Stevan Andjelkovic <stevan@advancedtelematic.com>
Stability	provisional
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell2010

Test.StateMachine.Internal.Types.IntRef

Description

This module provides internal refereces.

Synopsis

Documentation

data IntRef Source #

An internal (or integer) reference consists of a reference and a process id.

Constructors

IntRef Ref Pid

Instances

Eq IntRef Source #
Methods (==) :: IntRef -> IntRef -> Bool # (/=) :: IntRef -> IntRef -> Bool #
Ord IntRef Source #
Methods compare :: IntRef -> IntRef -> Ordering # (<) :: IntRef -> IntRef -> Bool # (<=) :: IntRef -> IntRef -> Bool # (>) :: IntRef -> IntRef -> Bool # (>=) :: IntRef -> IntRef -> Bool # max :: IntRef -> IntRef -> IntRef # min :: IntRef -> IntRef -> IntRef #
Read IntRef Source #
Methods readsPrec :: Int -> ReadS IntRef # readList :: ReadS [IntRef] # readPrec :: ReadPrec IntRef # readListPrec :: ReadPrec [IntRef] #
Show IntRef Source #
Methods showsPrec :: Int -> IntRef -> ShowS # show :: IntRef -> String # showList :: [IntRef] -> ShowS #

newtype Pid Source #

A process id is merely a natural number that keeps track of which thread the reference comes from. In the sequential case the process id is always 0. Likewise the sequential prefix of a parallel program also has process id 0, while the left suffix has process id 1, and then right suffix has process id 2.

Constructors

Pid Int

Instances

Eq Pid Source #
Methods (==) :: Pid -> Pid -> Bool # (/=) :: Pid -> Pid -> Bool #
Num Pid Source #
Methods (+) :: Pid -> Pid -> Pid # (-) :: Pid -> Pid -> Pid # (*) :: Pid -> Pid -> Pid # negate :: Pid -> Pid # abs :: Pid -> Pid # signum :: Pid -> Pid # fromInteger :: Integer -> Pid #
Ord Pid Source #
Methods compare :: Pid -> Pid -> Ordering # (<) :: Pid -> Pid -> Bool # (<=) :: Pid -> Pid -> Bool # (>) :: Pid -> Pid -> Bool # (>=) :: Pid -> Pid -> Bool # max :: Pid -> Pid -> Pid # min :: Pid -> Pid -> Pid #
Read Pid Source #
Methods readsPrec :: Int -> ReadS Pid # readList :: ReadS [Pid] # readPrec :: ReadPrec Pid # readListPrec :: ReadPrec [Pid] #
Show Pid Source #
Methods showsPrec :: Int -> Pid -> ShowS # show :: Pid -> String # showList :: [Pid] -> ShowS #

newtype Ref Source #

A reference is natural number.

Constructors

Ref Int

Instances

Eq Ref Source #
Methods (==) :: Ref -> Ref -> Bool # (/=) :: Ref -> Ref -> Bool #
Num Ref Source #
Methods (+) :: Ref -> Ref -> Ref # (-) :: Ref -> Ref -> Ref # (*) :: Ref -> Ref -> Ref # negate :: Ref -> Ref # abs :: Ref -> Ref # signum :: Ref -> Ref # fromInteger :: Integer -> Ref #
Ord Ref Source #
Methods compare :: Ref -> Ref -> Ordering # (<) :: Ref -> Ref -> Bool # (<=) :: Ref -> Ref -> Bool # (>) :: Ref -> Ref -> Bool # (>=) :: Ref -> Ref -> Bool # max :: Ref -> Ref -> Ref # min :: Ref -> Ref -> Ref #
Read Ref Source #
Methods readsPrec :: Int -> ReadS Ref # readList :: ReadS [Ref] # readPrec :: ReadPrec Ref # readListPrec :: ReadPrec [Ref] #
Show Ref Source #
Methods showsPrec :: Int -> Ref -> ShowS # show :: Ref -> String # showList :: [Ref] -> ShowS #

type ConstIntRef = ConstSym1 IntRef Source #

Type-level function that constantly returns an internal reference.

showRef :: IntRef -> String Source #