mac-0.1.0.0: Static Mandatory Access Control in Haskell
MAC.Exception
Description
Exceptions
Synopsis
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