beautifHOL Contents Index

ErrM

Documentation

data Err a

Constructors Ok a Bad String Instances Monad Err Functor Err MonadPlus Err Eq a => Eq (Err a) Ord a => Ord (Err a) Read a => Read (Err a) Show a => Show (Err a)

Produced by Haddock version 2.4.1