Safe Haskell	None
Language	Haskell2010

PlutusCore.Check.Uniques

Documentation

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

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

checkType :: ( Ord ann, HasUnique tyname TypeUnique , AsUniqueError e ann, MonadError e m) => ( UniqueError ann -> Bool ) -> Type tyname uni ann -> m () Source #

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 #
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 #
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 #
Generic ( UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep ( UniqueError ann) :: Type -> Type Source # Methods from :: UniqueError ann -> Rep ( UniqueError ann) x Source # to :: Rep ( UniqueError ann) x -> UniqueError ann Source #
NFData ann => NFData ( UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf :: UniqueError ann -> () Source #
Pretty ann => Pretty ( UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods pretty :: UniqueError ann -> Doc ann0 Source # prettyList :: [ UniqueError ann] -> Doc ann0 Source #
HasErrorCode ( UniqueError _a) Source #
Instance details Defined in PlutusCore.Error Methods errorCode :: UniqueError _a -> ErrorCode Source #
AsUniqueError ( UniqueError ann) ann Source #
Instance details Defined in PlutusCore.Error Methods _UniqueError :: Prism' ( UniqueError ann) ( UniqueError ann) Source # _MultiplyDefined :: Prism' ( UniqueError ann) ( Unique , ann, ann) Source # _IncoherentUsage :: Prism' ( UniqueError ann) ( Unique , ann, ann) Source # _FreeVariable :: Prism' ( UniqueError ann) ( Unique , ann) Source #
type Rep ( UniqueError ann) Source #
Instance details Defined in PlutusCore.Error type Rep ( UniqueError ann) = D1 (' MetaData "UniqueError" "PlutusCore.Error" "plutus-core-1.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' False ) ( C1 (' MetaCons "MultiplyDefined" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Unique ) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ann) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ann))) :+: ( C1 (' MetaCons "IncoherentUsage" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Unique ) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ann) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ann))) :+: C1 (' MetaCons "FreeVariable" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Unique ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ann))))

class AsUniqueError r ann | r -> ann where Source #

Minimal complete definition

_UniqueError

Methods

_UniqueError :: Prism' r ( UniqueError ann) Source #

_MultiplyDefined :: Prism' r ( Unique , ann, ann) Source #

_IncoherentUsage :: Prism' r ( Unique , ann, ann) Source #

_FreeVariable :: Prism' r ( Unique , ann) Source #

Instances

Instances details

AsUniqueError ( UniqueError ann) ann Source #
Instance details Defined in PlutusCore.Error Methods _UniqueError :: Prism' ( UniqueError ann) ( UniqueError ann) Source # _MultiplyDefined :: Prism' ( UniqueError ann) ( Unique , ann, ann) Source # _IncoherentUsage :: Prism' ( UniqueError ann) ( Unique , ann, ann) Source # _FreeVariable :: Prism' ( UniqueError ann) ( Unique , ann) Source #
AsUniqueError ( Error uni fun ann) ann Source #
Instance details Defined in PlutusCore.Error Methods _UniqueError :: Prism' ( Error uni fun ann) ( UniqueError ann) Source # _MultiplyDefined :: Prism' ( Error uni fun ann) ( Unique , ann, ann) Source # _IncoherentUsage :: Prism' ( Error uni fun ann) ( Unique , ann, ann) Source # _FreeVariable :: Prism' ( Error uni fun ann) ( Unique , ann) Source #