tamarin-prover-utils-1.2.2: Utility library for the tamarin prover.

Copyright | (c) 2010 Simon Meier
License | GPL v3 (see LICENSE)
Maintainer | Simon Meier <iridcode@gmail.com>
Portability | GHC only
Safe Haskell | Safe
Language | Haskell98

Control.Basics

Description

Re-export basic control structures for easier imports.

# Documentation

module Control.Arrow

module Control.Applicative

module Control.Monad