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

Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Clafer.Front.ErrM

Documentation

data Err a Source

Constructors

Ok a 
Bad Pos String 

Instances

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