:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Moduleplutus-core-1.70.0.0
MultiplyDefined !Unique !ann !annIncoherentUsage !Unique !ann !annFreeVariable !Unique !annFunctor UniqueErrorDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorEq ann => Eq (UniqueError ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorShow ann => Show (UniqueError ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorGeneric (UniqueError ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorException (UniqueError SrcSpan)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorNFData ann => NFData (UniqueError ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorPretty ann => Pretty (UniqueError ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Errortype Rep (UniqueError ann) = D1 ('MetaData "UniqueError"
"PlutusCore.Error"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'False) (C1 ('MetaCons "MultiplyDefined"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Unique) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))) :+: (C1 ('MetaCons "IncoherentUsage"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Unique) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))) :+: C1 ('MetaCons "FreeVariable"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Unique) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))))Defined in plutus-core-1.70.0.0 · PlutusCore.Error