Safe Haskell	None
Language	Haskell2010

IR.Pattern.Anomaly

Synopsis

data AnomalyCtx = AnomalyCtx {
- typeMap :: Map Identifier TInfo
- consMap :: Map Identifier CInfo
}
newtype AnomalyFn a = AnomalyFn (ReaderT AnomalyCtx Pass a)
buildCtx :: [(TConId, TypeDef)] -> AnomalyCtx
runAnomalyFn :: AnomalyFn a -> AnomalyCtx -> Pass a
checkProgram :: Show t => Program t -> Pass ()
checkDefs :: Show t => [(VarId, Expr t)] -> AnomalyFn ()
checkExprs :: Show t => [Expr t] -> AnomalyFn ()
checkExpr :: Show t => Expr t -> AnomalyFn ()
checkPats :: Show t => [Alt t] -> AnomalyFn ()
checkUseless :: Show t => [Alt t] -> AnomalyFn ()
checkExhaustive :: Show t => [Alt t] -> AnomalyFn ()
useful :: PatMat t -> PatVec t -> AnomalyFn Bool
usefulInductive :: PatMat t -> PatVec t -> AnomalyFn Bool
samplePat :: PatMat t -> Maybe (Alt t)
askCInfo :: Identifier -> AnomalyFn CInfo
askTInfo :: Identifier -> AnomalyFn TInfo
hasCompleteCons :: Set Identifier -> PatMat t -> Bool
showId :: Identifier -> ErrorMsg
showSet :: Set Identifier -> ErrorMsg
throwMalformedError :: AnomalyFn a

Documentation

data AnomalyCtx Source #

Constructors

AnomalyCtx
Fields typeMap :: Map Identifier TInfo consMap :: Map Identifier CInfo

Instances

Instances details

MonadReader AnomalyCtx AnomalyFn Source #
Instance details Defined in IR.Pattern.Anomaly Methods ask :: AnomalyFn AnomalyCtx # local :: (AnomalyCtx -> AnomalyCtx) -> AnomalyFn a -> AnomalyFn a # reader :: (AnomalyCtx -> a) -> AnomalyFn a #

newtype AnomalyFn a Source #

Constructors

AnomalyFn (ReaderT AnomalyCtx Pass a)

Instances

Instances details

Monad AnomalyFn Source #
Instance details Defined in IR.Pattern.Anomaly Methods (>>=) :: AnomalyFn a -> (a -> AnomalyFn b) -> AnomalyFn b # (>>) :: AnomalyFn a -> AnomalyFn b -> AnomalyFn b # return :: a -> AnomalyFn a #
Functor AnomalyFn Source #
Instance details Defined in IR.Pattern.Anomaly Methods fmap :: (a -> b) -> AnomalyFn a -> AnomalyFn b # (<$) :: a -> AnomalyFn b -> AnomalyFn a #
MonadFail AnomalyFn Source #
Instance details Defined in IR.Pattern.Anomaly Methods fail :: String -> AnomalyFn a #
Applicative AnomalyFn Source #
Instance details Defined in IR.Pattern.Anomaly Methods pure :: a -> AnomalyFn a # (<>) :: AnomalyFn (a -> b) -> AnomalyFn a -> AnomalyFn b # liftA2 :: (a -> b -> c) -> AnomalyFn a -> AnomalyFn b -> AnomalyFn c # (>) :: AnomalyFn a -> AnomalyFn b -> AnomalyFn b # (<*) :: AnomalyFn a -> AnomalyFn b -> AnomalyFn a #
MonadReader AnomalyCtx AnomalyFn Source #
Instance details Defined in IR.Pattern.Anomaly Methods ask :: AnomalyFn AnomalyCtx # local :: (AnomalyCtx -> AnomalyCtx) -> AnomalyFn a -> AnomalyFn a # reader :: (AnomalyCtx -> a) -> AnomalyFn a #
MonadError Error AnomalyFn Source #
Instance details Defined in IR.Pattern.Anomaly Methods throwError :: Error -> AnomalyFn a # catchError :: AnomalyFn a -> (Error -> AnomalyFn a) -> AnomalyFn a #
MonadWriter [Warning] AnomalyFn Source #
Instance details Defined in IR.Pattern.Anomaly Methods writer :: (a, [Warning]) -> AnomalyFn a # tell :: [Warning] -> AnomalyFn () # listen :: AnomalyFn a -> AnomalyFn (a, [Warning]) # pass :: AnomalyFn (a, [Warning] -> [Warning]) -> AnomalyFn a #