PlutusCore.Check.Normal · plutus-core-1.70.0.0

valuecheckProgram

:: (HasUniApply uni, MonadError (NormCheckError tyname name uni fun ann) m)
=> Program tyname name uni fun ann
-> m ()

#

valuecheckTerm

:: (HasUniApply uni, MonadError (NormCheckError tyname name uni fun ann) m)
=> Term tyname name uni fun ann
-> m ()

#

valueisNormalType :: HasUniApply uni => Type tyname uni ann -> Bool

#

datadata NormCheckError tyname name (uni :: Type -> Type) fun ann

#

Constructors

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

Instances7PrettyBy, Functor, Eq, Show, Generic, NFData, …

(Pretty ann, PrettyBy config (Type tyname uni ann), PrettyBy config (Term tyname name uni fun ann)) => PrettyBy config (NormCheckError tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Error
Functor (NormCheckError tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Error
(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)Defined in plutus-core-1.70.0.0 · PlutusCore.Error
(Show tyname, Show name, Closed uni, Everywhere uni Show, Show fun, Show ann, GShow uni) => Show (NormCheckError tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Error
Generic (NormCheckError tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Error
(NFData tyname, NFData name, Closed uni, Everywhere uni NFData, NFData fun, NFData ann) => NFData (NormCheckError tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Error
type Rep (NormCheckError tyname name uni fun ann) = D1 ('MetaData "NormCheckError" "PlutusCore.Error" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "BadType" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :+: C1 ('MetaCons "BadTerm" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term tyname name uni fun ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))))Defined in plutus-core-1.70.0.0 · PlutusCore.Error