Types

Documentation

type Dict = Map Int (MVar ByteString)

data Party

Constructors

Party

Fields

• pid :: Integer
• host :: String
• port :: Integer
• outChan :: Chan ByteString
• sock :: Maybe Socket
• dict :: MVar Dict
• nbytesSent :: MVar Int

data Barrier

Constructors

Barrier

Fields

• count :: MVar Int
• signal :: MVar ()

data Env

Constructors

Env

Fields

• parties :: [Party]
• pc :: Int
• options :: Options
• forkIOBarrier :: Barrier
• gen :: StdGen
• startTime :: UTCTime

Instances

Num (SIO SecureTypes)

Defined in Runtime

Methods

(+) :: SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes

(-) :: SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes

(*) :: SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes

negate :: SIO SecureTypes -> SIO SecureTypes

abs :: SIO SecureTypes -> SIO SecureTypes

signum :: SIO SecureTypes -> SIO SecureTypes

fromInteger :: Integer -> SIO SecureTypes

Fractional (SIO SecureTypes)

Defined in Runtime

Methods

(/) :: SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes

recip :: SIO SecureTypes -> SIO SecureTypes

fromRational :: Rational -> SIO SecureTypes

IfElse (SIO SecureTypes) SecureTypes

Defined in Runtime

Methods

ifElse :: SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes

Output (SIO SecureTypes) Integer

Defined in Runtime

Methods

output :: SIO SecureTypes -> SIO (MVar Integer)

IfElse [SIO SecureTypes] [SIO SecureTypes]

Defined in Runtime

Methods

ifElse :: SIO SecureTypes -> [SIO SecureTypes] -> [SIO SecureTypes] -> SIO [SIO SecureTypes]

Input (SIO SecureTypes) [SIO SecureTypes]

Defined in Runtime

Methods

input :: SIO SecureTypes -> SIO [SIO SecureTypes]

Input [SIO SecureTypes] [[SIO SecureTypes]]

Defined in Runtime

Methods

input :: [SIO SecureTypes] -> SIO [[SIO SecureTypes]]

Output [SIO SecureTypes] [Integer]

Defined in Runtime

Methods

output :: [SIO SecureTypes] -> SIO (MVar [Integer])

type SIO a = StateT Env IO a

runSIO :: SIO a -> Env -> IO a

logging :: Priority -> String -> IO ()