clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.

Safe Haskell	Safe
Language	Haskell2010

Language.Clafer.Front.ErrM

Documentation

data Err a Source

Constructors

Ok a
Bad Pos String

Instances

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