mac-0.1.0.0: Static Mandatory Access Control in Haskell

Safe HaskellTrustworthy
LanguageHaskell98

MAC.Exception

Description

Exceptions

Synopsis

Documentation

throwMAC :: Exception e => e -> MAC l a Source

Throwing exceptions

catchMAC :: Exception e => MAC l a -> (e -> MAC l a) -> MAC l a Source

Throwing and catching exceptions are done among family members with the same labels