Generics.BiGUL.Error

Documentation

class PrettyPrintable a where

Methods

toDoc :: a -> Doc

Instances

PrettyPrintable (PatExprDirError a)

PrettyPrintable (GetError s v)

PrettyPrintable (PutError s v)

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

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

Show (PutError s v)

PrettyPrintable (PutError s v)

incrBranchNo :: PutError s v -> PutError s v

indent :: Doc -> Doc

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

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

Show (GetError s v)

PrettyPrintable (GetError s v)

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

data PatExprDirError :: * -> * where

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

Show (PatExprDirError a)

PrettyPrintable (PatExprDirError a)

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