type Rep ParserErrorBundle
Instance details Defined in PlutusCore.Error type Rep ParserErrorBundle = D1 ('MetaData "ParserErrorBundle" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ParseErrorB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ParseErrorBundle Text ParserError))))

Methods

from :: ParserErrorBundle -> Rep ParserErrorBundle x Source #

to :: Rep ParserErrorBundle x -> ParserErrorBundle Source #

Show ParserErrorBundle Source #

Instance details

Defined in PlutusCore.Error

Methods

showsPrec :: Int -> ParserErrorBundle -> ShowS Source #

show :: ParserErrorBundle -> String Source #

showList :: [ParserErrorBundle] -> ShowS Source #

NFData ParserErrorBundle Source #

Instance details

Defined in PlutusCore.Error

Methods

rnf :: ParserErrorBundle -> () Source #

Eq ParserErrorBundle Source #

Instance details

Defined in PlutusCore.Error

Methods

(==) :: ParserErrorBundle -> ParserErrorBundle -> Bool Source #

(/=) :: ParserErrorBundle -> ParserErrorBundle -> Bool Source #

Pretty ParserErrorBundle Source #

Instance details

Defined in PlutusCore.Error

Methods

pretty :: ParserErrorBundle -> Doc ann #

prettyList :: [ParserErrorBundle] -> Doc ann #

type Rep ParserErrorBundle Source #

Instance details

Defined in PlutusCore.Error

type Rep ParserErrorBundle = D1 ('MetaData "ParserErrorBundle" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ParseErrorB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ParseErrorBundle Text ParserError))))

data NormCheckError tyname name (uni :: Type -> Type) fun ann Source #

Constructors

BadType !ann !(Type tyname uni ann) !Text
BadTerm !ann !(Term tyname name uni fun ann) !Text

Instances

Instances details

(Pretty ann, PrettyBy config (Type tyname uni ann), PrettyBy config (Term tyname name uni fun ann)) => PrettyBy config (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

prettyBy :: config -> NormCheckError tyname name uni fun ann -> Doc ann0 #

prettyListBy :: config -> [NormCheckError tyname name uni fun ann] -> Doc ann0 #

Functor (NormCheckError tyname name uni fun) Source #

Instance details

Defined in PlutusCore.Error

Methods

fmap :: (a -> b) -> NormCheckError tyname name uni fun a -> NormCheckError tyname name uni fun b Source #

(<$) :: a -> NormCheckError tyname name uni fun b -> NormCheckError tyname name uni fun a Source #

Generic (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (NormCheckError tyname name uni fun ann)

Instance details

Defined in PlutusCore.Error

type Rep (NormCheckError tyname name uni fun ann) = D1 ('MetaData "NormCheckError" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "BadType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :+: C1 ('MetaCons "BadTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term tyname name uni fun ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))))

Methods

from :: NormCheckError tyname name uni fun ann -> Rep (NormCheckError tyname name uni fun ann) x Source #

to :: Rep (NormCheckError tyname name uni fun ann) x -> NormCheckError tyname name uni fun ann Source #

(Show tyname, Show name, Closed uni, Everywhere uni Show, Show fun, Show ann, GShow uni) => Show (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

showsPrec :: Int -> NormCheckError tyname name uni fun ann -> ShowS Source #

show :: NormCheckError tyname name uni fun ann -> String Source #

showList :: [NormCheckError tyname name uni fun ann] -> ShowS Source #

(NFData tyname, NFData name, Closed uni, Everywhere uni NFData, NFData fun, NFData ann) => NFData (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

rnf :: NormCheckError tyname name uni fun ann -> () Source #

(Eq (Term tyname name uni fun ann), Eq (Type tyname uni ann), GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

(==) :: NormCheckError tyname name uni fun ann -> NormCheckError tyname name uni fun ann -> Bool Source #

(/=) :: NormCheckError tyname name uni fun ann -> NormCheckError tyname name uni fun ann -> Bool Source #

type Rep (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

type Rep (NormCheckError tyname name uni fun ann) = D1 ('MetaData "NormCheckError" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "BadType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :+: C1 ('MetaCons "BadTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term tyname name uni fun ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))))

data UniqueError ann Source #

Constructors

MultiplyDefined !Unique !ann !ann
IncoherentUsage !Unique !ann !ann
FreeVariable !Unique !ann

Instances

Instances details

Functor UniqueError Source #

Instance details

Defined in PlutusCore.Error

Methods

fmap :: (a -> b) -> UniqueError a -> UniqueError b Source #

(<$) :: a -> UniqueError b -> UniqueError a Source #

Exception (UniqueError SrcSpan) Source #

Instance details

Defined in PlutusCore.Error

Methods

toException :: UniqueError SrcSpan -> SomeException Source #

fromException :: SomeException -> Maybe (UniqueError SrcSpan) Source #

displayException :: UniqueError SrcSpan -> String Source #

Generic (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (UniqueError ann)

Instance details

Defined in PlutusCore.Error

Methods

from :: UniqueError ann -> Rep (UniqueError ann) x Source #

to :: Rep (UniqueError ann) x -> UniqueError ann Source #

Show ann => Show (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

showsPrec :: Int -> UniqueError ann -> ShowS Source #

show :: UniqueError ann -> String Source #

showList :: [UniqueError ann] -> ShowS Source #

NFData ann => NFData (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

rnf :: UniqueError ann -> () Source #

Eq ann => Eq (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

(==) :: UniqueError ann -> UniqueError ann -> Bool Source #

(/=) :: UniqueError ann -> UniqueError ann -> Bool Source #

Pretty ann => Pretty (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

pretty :: UniqueError ann -> Doc ann0 #

prettyList :: [UniqueError ann] -> Doc ann0 #

type Rep (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

data ExpectedShapeOr a Source #

This is needed for nice kind/type checking error messages. In some cases the type checker knows the exact type that an expression has to have for type checking to succeed (see any of checkTypeM functions and its usages), which is what ExpectedExact is suitable for. In other cases the type checker only cares about the shape of the inferred type, e.g. the type checker knows that the type of a function has to be dom -> cod for type checking to succeed, but it doesn't yet care what dom and cod exactly are. Which is what ExpectedShape is useful for as it allows one to specify the shape of an expected type with some existential variables in it when it's impossible to provide an exact type.

Constructors

ExpectedShape
Fields !Text The expected shape potentially referencing existential variables. ![Text] The list of existential variables.
ExpectedExact !a

Instances

Instances details

Functor ExpectedShapeOr Source #

Instance details

Defined in PlutusCore.Error

Methods

fmap :: (a -> b) -> ExpectedShapeOr a -> ExpectedShapeOr b Source #

(<$) :: a -> ExpectedShapeOr b -> ExpectedShapeOr a Source #

PrettyBy PrettyConfigPlc a => PrettyBy PrettyConfigPlc (ExpectedShapeOr a) Source #

Instance details

Defined in PlutusCore.Error

Methods

prettyBy :: PrettyConfigPlc -> ExpectedShapeOr a -> Doc ann #

prettyListBy :: PrettyConfigPlc -> [ExpectedShapeOr a] -> Doc ann #

Generic (ExpectedShapeOr a) Source #

Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (ExpectedShapeOr a)

Instance details

Defined in PlutusCore.Error

type Rep (ExpectedShapeOr a) = D1 ('MetaData "ExpectedShapeOr" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ExpectedShape" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text])) :+: C1 ('MetaCons "ExpectedExact" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

Methods

from :: ExpectedShapeOr a -> Rep (ExpectedShapeOr a) x Source #

to :: Rep (ExpectedShapeOr a) x -> ExpectedShapeOr a Source #

Show a => Show (ExpectedShapeOr a) Source #

Instance details

Defined in PlutusCore.Error

Methods

showsPrec :: Int -> ExpectedShapeOr a -> ShowS Source #

show :: ExpectedShapeOr a -> String Source #

showList :: [ExpectedShapeOr a] -> ShowS Source #

NFData a => NFData (ExpectedShapeOr a) Source #

Instance details

Defined in PlutusCore.Error

Methods

rnf :: ExpectedShapeOr a -> () Source #

Eq a => Eq (ExpectedShapeOr a) Source #

Instance details

Defined in PlutusCore.Error

Methods

(==) :: ExpectedShapeOr a -> ExpectedShapeOr a -> Bool Source #

(/=) :: ExpectedShapeOr a -> ExpectedShapeOr a -> Bool Source #

type Rep (ExpectedShapeOr a) Source #

Instance details

Defined in PlutusCore.Error

type Rep (ExpectedShapeOr a) = D1 ('MetaData "ExpectedShapeOr" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ExpectedShape" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text])) :+: C1 ('MetaCons "ExpectedExact" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

data TypeError term (uni :: Type -> Type) fun ann Source #

Constructors

KindMismatch
Fields !ann !(Type TyName uni ()) !(ExpectedShapeOr (Kind ())) The expected type or the shape of a kind. !(Kind ()) The actual kind.
TypeMismatch
Fields !ann !term !(ExpectedShapeOr (Type TyName uni ())) The expected type or the shape of a type. !(Normalized (Type TyName uni ())) The actual type.
TyNameMismatch !ann !TyName !TyName
NameMismatch !ann !Name !Name
FreeTypeVariableE !ann !TyName
FreeVariableE !ann !Name
UnknownBuiltinFunctionE !ann !fun
UnsupportedCaseBuiltin !ann !Text

Instances

Instances details

(Pretty term, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

prettyBy :: PrettyConfigPlc -> TypeError term uni fun ann -> Doc ann0 #

prettyListBy :: PrettyConfigPlc -> [TypeError term uni fun ann] -> Doc ann0 #

Functor (TypeError term uni fun) Source #

Instance details

Defined in PlutusCore.Error

Methods

fmap :: (a -> b) -> TypeError term uni fun a -> TypeError term uni fun b Source #

(<$) :: a -> TypeError term uni fun b -> TypeError term uni fun a Source #

Generic (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (TypeError term uni fun ann)

Instance details

Defined in PlutusCore.Error

Methods

from :: TypeError term uni fun ann -> Rep (TypeError term uni fun ann) x Source #

to :: Rep (TypeError term uni fun ann) x -> TypeError term uni fun ann Source #

(GShow uni, Show term, Show fun, Show ann) => Show (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

showsPrec :: Int -> TypeError term uni fun ann -> ShowS Source #

show :: TypeError term uni fun ann -> String Source #

showList :: [TypeError term uni fun ann] -> ShowS Source #

(Closed uni, NFData ann, NFData term, NFData fun) => NFData (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

rnf :: TypeError term uni fun ann -> () Source #

(GEq uni, Eq term, Eq fun, Eq ann) => Eq (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

(==) :: TypeError term uni fun ann -> TypeError term uni fun ann -> Bool Source #

(/=) :: TypeError term uni fun ann -> TypeError term uni fun ann -> Bool Source #

type Rep (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

data FreeVariableError Source #

We cannot do a correct translation to or from de Bruijn indices if the program is not well-scoped. So we throw an error in such a case.

Constructors

FreeUnique !Unique
FreeIndex !Index

Instances

Instances details

Exception FreeVariableError Source #

Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

toException :: FreeVariableError -> SomeException Source #

fromException :: SomeException -> Maybe FreeVariableError Source #

displayException :: FreeVariableError -> String Source #

Generic FreeVariableError Source #

Instance details

Defined in PlutusCore.DeBruijn.Internal

Associated Types

type Rep FreeVariableError

Instance details

Defined in PlutusCore.DeBruijn.Internal

type Rep FreeVariableError = D1 ('MetaData "FreeVariableError" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "FreeUnique" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unique)) :+: C1 ('MetaCons "FreeIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Index)))

Methods

from :: FreeVariableError -> Rep FreeVariableError x Source #

to :: Rep FreeVariableError x -> FreeVariableError Source #

Show FreeVariableError Source #

Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

showsPrec :: Int -> FreeVariableError -> ShowS Source #

show :: FreeVariableError -> String Source #

showList :: [FreeVariableError] -> ShowS Source #

NFData FreeVariableError Source #

Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

rnf :: FreeVariableError -> () Source #

Eq FreeVariableError Source #

Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

(==) :: FreeVariableError -> FreeVariableError -> Bool Source #

(/=) :: FreeVariableError -> FreeVariableError -> Bool Source #

Ord FreeVariableError Source #

Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

compare :: FreeVariableError -> FreeVariableError -> Ordering Source #

(<) :: FreeVariableError -> FreeVariableError -> Bool Source #

(<=) :: FreeVariableError -> FreeVariableError -> Bool Source #

(>) :: FreeVariableError -> FreeVariableError -> Bool Source #

(>=) :: FreeVariableError -> FreeVariableError -> Bool Source #

max :: FreeVariableError -> FreeVariableError -> FreeVariableError Source #

min :: FreeVariableError -> FreeVariableError -> FreeVariableError Source #

Pretty FreeVariableError Source #

Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

pretty :: FreeVariableError -> Doc ann #

prettyList :: [FreeVariableError] -> Doc ann #

type Rep FreeVariableError Source #

Instance details

Defined in PlutusCore.DeBruijn.Internal

type Rep FreeVariableError = D1 ('MetaData "FreeVariableError" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "FreeUnique" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unique)) :+: C1 ('MetaCons "FreeIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Index)))

data Error (uni :: Type -> Type) fun ann Source #

Constructors

ParseErrorE !ParserErrorBundle
UniqueCoherencyErrorE !(UniqueError ann)
TypeErrorE !(TypeError (Term TyName Name uni fun ()) uni fun ann)
NormCheckErrorE !(NormCheckError TyName Name uni fun ann)
FreeVariableErrorE !FreeVariableError

Instances

Instances details

(PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

prettyBy :: PrettyConfigPlc -> Error uni fun ann -> Doc ann0 #

prettyListBy :: PrettyConfigPlc -> [Error uni fun ann] -> Doc ann0 #

Functor (Error uni fun) Source #

Instance details

Defined in PlutusCore.Error

Methods

fmap :: (a -> b) -> Error uni fun a -> Error uni fun b Source #

(<$) :: a -> Error uni fun b -> Error uni fun a Source #

Generic (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (Error uni fun ann)

Instance details

Defined in PlutusCore.Error

type Rep (Error uni fun ann) = D1 ('MetaData "Error" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((C1 ('MetaCons "ParseErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ParserErrorBundle)) :+: C1 ('MetaCons "UniqueCoherencyErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UniqueError ann)))) :+: (C1 ('MetaCons "TypeErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TypeError (Term TyName Name uni fun ()) uni fun ann))) :+: (C1 ('MetaCons "NormCheckErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NormCheckError TyName Name uni fun ann))) :+: C1 ('MetaCons "FreeVariableErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FreeVariableError)))))

Methods

from :: Error uni fun ann -> Rep (Error uni fun ann) x Source #

to :: Rep (Error uni fun ann) x -> Error uni fun ann Source #

(Show fun, Show ann, Closed uni, Everywhere uni Show, GShow uni, Show ParserError) => Show (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

showsPrec :: Int -> Error uni fun ann -> ShowS Source #

show :: Error uni fun ann -> String Source #

showList :: [Error uni fun ann] -> ShowS Source #

(NFData fun, NFData ann, Closed uni, Everywhere uni NFData, NFData ParserError) => NFData (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

rnf :: Error uni fun ann -> () Source #

(Eq fun, Eq ann, Closed uni, Everywhere uni Eq, GEq uni, Eq ParserError) => Eq (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

(==) :: Error uni fun ann -> Error uni fun ann -> Bool Source #

(/=) :: Error uni fun ann -> Error uni fun ann -> Bool Source #

type Rep (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

type Rep (Error uni fun ann) = D1 ('MetaData "Error" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((C1 ('MetaCons "ParseErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ParserErrorBundle)) :+: C1 ('MetaCons "UniqueCoherencyErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UniqueError ann)))) :+: (C1 ('MetaCons "TypeErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TypeError (Term TyName Name uni fun ()) uni fun ann))) :+: (C1 ('MetaCons "NormCheckErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NormCheckError TyName Name uni fun ann))) :+: C1 ('MetaCons "FreeVariableErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FreeVariableError)))))

throwingEither :: MonadError e m => AReview e t -> Either t a -> m a Source #

Lifts an Either into an error context where we can embed the Left value into the error.

class Ord a => ShowErrorComponent a where #

Minimal complete definition

showErrorComponent

Methods

showErrorComponent :: a -> String #

errorComponentLen :: a -> Int #

Instances

Instances details

ShowErrorComponent Void
Instance details Defined in Text.Megaparsec.Error Methods showErrorComponent :: Void -> String # errorComponentLen :: Void -> Int #
ShowErrorComponent ParserError Source #
Instance details Defined in PlutusCore.Error Methods showErrorComponent :: ParserError -> String # errorComponentLen :: ParserError -> Int #

data ApplyProgramError Source #

Errors from applyProgram for PIR, PLC, UPLC.

Constructors

MkApplyProgramError Version Version

Instances

Instances details

Exception ApplyProgramError Source #
Instance details Defined in PlutusCore.Error Methods toException :: ApplyProgramError -> SomeException Source # fromException :: SomeException -> Maybe ApplyProgramError Source # displayException :: ApplyProgramError -> String Source #
Show ApplyProgramError Source #
Instance details Defined in PlutusCore.Error Methods showsPrec :: Int -> ApplyProgramError -> ShowS Source # show :: ApplyProgramError -> String Source # showList :: [ApplyProgramError] -> ShowS Source #

Orphan instances

Pretty SourcePos Source #
Instance details Methods pretty :: SourcePos -> Doc ann # prettyList :: [SourcePos] -> Doc ann #