Language.Lambda.Shared.Errors

Documentation

data LambdaException

Constructors

ParseError Text

An expression that cannot be parsed Examples:

x y = y

InvalidLet Text

A let binding nested in another expression

TyMismatchError Text

The expected type does not match the actual type Examples:

(x: X. x) (y:Y)

ImpossibleError

A catch-all error that indicates a bug in this project

Instances

Eq LambdaException

Defined in Language.Lambda.Shared.Errors

Methods

(==) :: LambdaException -> LambdaException -> Bool

(/=) :: LambdaException -> LambdaException -> Bool

Show LambdaException

Defined in Language.Lambda.Shared.Errors

Methods

showsPrec :: Int -> LambdaException -> ShowS

show :: LambdaException -> String

showList :: [LambdaException] -> ShowS

Exception LambdaException

Defined in Language.Lambda.Shared.Errors

Methods

toException :: LambdaException -> SomeException

fromException :: SomeException -> Maybe LambdaException

displayException :: LambdaException -> String

Display LambdaException

Defined in Language.Lambda.Shared.Errors

Methods

display :: LambdaException -> Utf8Builder

textDisplay :: LambdaException -> Text

isLambdaException :: LambdaException -> Bool

Returns true if the passed in value is a LamdbaExpression. Can be used, for example, as a shouldThrow matcher

isLetError :: LambdaException -> Bool

isParseError :: LambdaException -> Bool

isImpossibleError :: LambdaException -> Bool