Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Check.Uniques

Documentation

checkProgram :: (Ord ann, HasUnique name TermUnique, MonadError (UniqueError ann) m) => (UniqueError ann -> Bool) -> Program name uni fun ann -> m () #

checkTerm :: (Ord ann, HasUnique name TermUnique, MonadError (UniqueError ann) m) => (UniqueError ann -> Bool) -> Term name uni fun ann -> m () #

data UniqueError ann #

Constructors

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

Instances

Instances details

Functor UniqueError #
Instance details Defined in PlutusCore.Error Methods fmap :: (a -> b) -> UniqueError a -> UniqueError b # (<$) :: a -> UniqueError b -> UniqueError a #
Exception (UniqueError SrcSpan) #
Instance details Defined in PlutusCore.Error Methods toException :: UniqueError SrcSpan -> SomeException # fromException :: SomeException -> Maybe (UniqueError SrcSpan) # displayException :: UniqueError SrcSpan -> String #
Generic (UniqueError ann) #
Instance details Defined in PlutusCore.Error Associated Types type Rep (UniqueError ann) :: Type -> Type # Methods from :: UniqueError ann -> Rep (UniqueError ann) x # to :: Rep (UniqueError ann) x -> UniqueError ann #
Show ann => Show (UniqueError ann) #
Instance details Defined in PlutusCore.Error Methods showsPrec :: Int -> UniqueError ann -> ShowS # show :: UniqueError ann -> String # showList :: [UniqueError ann] -> ShowS #
NFData ann => NFData (UniqueError ann) #
Instance details Defined in PlutusCore.Error Methods rnf :: UniqueError ann -> () #
Eq ann => Eq (UniqueError ann) #
Instance details Defined in PlutusCore.Error Methods (==) :: UniqueError ann -> UniqueError ann -> Bool # (/=) :: UniqueError ann -> UniqueError ann -> Bool #
Pretty ann => Pretty (UniqueError ann) #
Instance details Defined in PlutusCore.Error Methods pretty :: UniqueError ann -> Doc ann0 # prettyList :: [UniqueError ann] -> Doc ann0 #
type Rep (UniqueError ann) #
Instance details Defined in PlutusCore.Error type Rep (UniqueError ann) = D1 ('MetaData "UniqueError" "PlutusCore.Error" "plutus-core-1.60.0.0-inplace" 'False) (C1 ('MetaCons "MultiplyDefined" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unique) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))) :+: (C1 ('MetaCons "IncoherentUsage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unique) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))) :+: C1 ('MetaCons "FreeVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unique) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))))