BiGUL-0.9.0.0: The Bidirectional Generic Update Language

Safe HaskellNone
LanguageHaskell2010

Generics.BiGUL.Error

Documentation

class PrettyPrintable a where Source

Methods

toDoc :: a -> Doc Source

Instances

data PutError :: * -> * -> * where Source

Constructors

PFail :: String -> PutError s v 
PSourcePatternMismatch :: PatExprDirError s -> PutError s v 
PViewPatternMismatch :: PatExprDirError v -> PutError s v 
PUnevalFailed :: PatExprDirError s' -> PutError s v 
PDependencyMismatch :: s -> PutError s (v, v') 
PNoIntermediateSource :: GetError s v' -> PutError s v 
PCaseExhausted :: PutError s v 
PAdaptiveBranchRevisited :: PutError s v 
PAdaptiveBranchMatched :: PutError s v 
PPreviousBranchMatched :: PutError s v 
PBranchPredictionIncorrect :: PutError s v 
PPostVerificationFailed :: PutError s v 
PBranchUnmatched :: PutError s v 
PProdLeft :: s -> v -> PutError s v -> PutError (s, s') (v, v') 
PProdRight :: s' -> v' -> PutError s' v' -> PutError (s, s') (v, v') 
PRearrS :: s' -> v -> PutError s' v -> PutError s v 
PRearrV :: s -> v' -> PutError s v' -> PutError s v 
PDep :: s -> v -> PutError s v -> PutError s (v, v') 
PComposeLeft :: a -> b -> PutError a b -> PutError a c 
PComposeRight :: b -> c -> PutError b c -> PutError a c 
PBranch :: Int -> PutError s v -> PutError s v 

Instances

incrBranchNo :: PutError s v -> PutError s v Source

indent :: Doc -> Doc Source

data GetError :: * -> * -> * where Source

Constructors

GFail :: String -> GetError s v 
GSourcePatternMismatch :: PatExprDirError s -> GetError s v 
GUnevalFailed :: PatExprDirError s' -> GetError s v 
GViewRecoveringIncomplete :: PatExprDirError v' -> GetError s v 
GCaseExhausted :: [GetError s v] -> GetError s v 
GPreviousBranchMatched :: GetError s v 
GPostVerificationFailed :: GetError s v 
GBranchUnmatched :: GetError s v 
GAdaptiveBranchMatched :: GetError s v 
GProdLeft :: s -> GetError s v -> GetError (s, s') (v, v') 
GProdRight :: s' -> GetError s' v' -> GetError (s, s') (v, v') 
GRearrS :: s' -> GetError s' v -> GetError s v 
GRearrV :: s -> GetError s v' -> GetError s v 
GDep :: s -> GetError s v -> GetError s (v, v') 
GComposeLeft :: a -> GetError a b -> GetError a c 
GComposeRight :: b -> GetError b c -> GetError a c 
GBranch :: Int -> GetError s v -> GetError s v 

Instances

addCurrentBranchError :: GetError s v -> GetError s v -> GetError s v Source

data PatExprDirError :: * -> * where Source

Constructors

PEDConstantMismatch :: PatExprDirError a 
PEDEitherMismatch :: PatExprDirError (Either a b) 
PEDValueUnrecoverable :: PatExprDirError a 
PEDIncompatibleUpdates :: a -> a -> PatExprDirError a 
PEDMultipleUpdates :: a -> a -> PatExprDirError a 
PEDProdLeft :: PatExprDirError a -> PatExprDirError (a, b) 
PEDProdRight :: PatExprDirError b -> PatExprDirError (a, b) 
PEDEitherLeft :: PatExprDirError a -> PatExprDirError (Either a b) 
PEDEitherRight :: PatExprDirError b -> PatExprDirError (Either a b) 
PEDIn :: InOut a => PatExprDirError (F a) -> PatExprDirError a 

Instances

liftE :: (a -> b) -> Either a c -> Either b c Source