clafer-0.3.7: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Safe HaskellSafe-Inferred

Language.Clafer.Front.ErrM

Documentation

data Err a Source

Constructors

Ok a 
Bad Pos String 

Instances

Monad Err 
Functor Err 
MonadPlus Err 
Applicative Err 
Alternative Err 
Eq a => Eq (Err a) 
Ord a => Ord (Err a) 
Read a => Read (Err a) 
Show a => Show (Err a)