security-policy-0.0.1: Type-parameterized Security Monads Contents Index

security-policy-0.0.1: Type-parameterized Security Monads

Implements a little library for implementing a security monad that checks security at compile time.

Modules

Control Monad Control.Monad.Security

Produced by Haddock version 0.8