libcspm-0.2.1: A library providing a parser, type checker and evaluator for CSPM.

CSPM.Evaluator.Exceptions

Documentation

patternMatchFailureMessage :: SrcSpan -> TCPat -> Value -> ErrorMessage Source

headEmptyListMessage :: ErrorMessage Source

tailEmptyListMessage :: ErrorMessage Source

funBindPatternMatchFailureMessage :: SrcSpan -> Name -> [[Value]] -> ErrorMessage Source

replicatedInternalChoiceOverEmptySetMessage :: SrcSpan -> Exp Name -> ErrorMessage Source

typeCheckerFailureMessage :: String -> ErrorMessage Source

cannotConvertIntegersToListMessage :: ErrorMessage Source

cannotConvertProcessesToListMessage :: ErrorMessage Source

cannotCheckSetMembershipError :: Value -> ValueSet -> ErrorMessage Source

cardOfInfiniteSetMessage :: ValueSet -> ErrorMessage Source

cannotUnionSetsMessage :: ValueSet -> ValueSet -> ErrorMessage Source

cannotIntersectSetsMessage :: ValueSet -> ValueSet -> ErrorMessage Source

cannotDifferenceSetsMessage :: ValueSet -> ValueSet -> ErrorMessage Source

eventIsNotValidMessage :: Value -> ErrorMessage Source