Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Lambda.Shared.Errors

Synopsis

Documentation

Constructors

ParseError Text	An expression that cannot be parsed Examples: x y = y
InvalidLet	A let binding nested in another expression Examples: x. let y = z x (let y = z)
Fields 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) (x: T. x) [U]
ImpossibleError	A catch-all error that indicates a bug in this project

Instances details

Exception LambdaException Source #
Instance details Defined in Language.Lambda.Shared.Errors Methods toException :: LambdaException -> SomeException # fromException :: SomeException -> Maybe LambdaException # displayException :: LambdaException -> String #
Show LambdaException Source #
Instance details Defined in Language.Lambda.Shared.Errors Methods showsPrec :: Int -> LambdaException -> ShowS # show :: LambdaException -> String # showList :: [LambdaException] -> ShowS #
Eq LambdaException Source #
Instance details Defined in Language.Lambda.Shared.Errors Methods (==) :: LambdaException -> LambdaException -> Bool # (/=) :: LambdaException -> LambdaException -> Bool #
Display LambdaException Source #
Instance details Defined in Language.Lambda.Shared.Errors Methods display :: LambdaException -> Utf8Builder # textDisplay :: LambdaException -> Text #

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