Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Transform.Certify.Hints

Synopsis

data Inline
- = InlVar
- | InlLam Inline
- | InlApply Inline Inline
- | InlForce Inline
- | InlDelay Inline
- | InlCon
- | InlBuiltin
- | InlError
- | InlConstr [Inline]
- | InlCase Inline [Inline]
- | InlExpand Inline
- | InlDrop Inline
data Hints
- = Inline Inline
- | NoHints

Documentation

data Inline Source #

Certifier hints for the inlining pass.

Constructors

InlVar
InlLam Inline
InlApply Inline Inline
InlForce Inline
InlDelay Inline
InlCon
InlBuiltin
InlError
InlConstr [Inline]
InlCase Inline [Inline]
InlExpand Inline
InlDrop Inline

Instances

Instances details

Generic Inline Source #
Instance details Defined in UntypedPlutusCore.Transform.Certify.Hints Associated Types type Rep Inline ∷ Type → Type Source # Methods from ∷ Inline → Rep Inline x Source # to ∷ Rep Inline x → Inline Source #
NFData Inline Source #
Instance details Defined in UntypedPlutusCore.Transform.Certify.Hints Methods rnf ∷ Inline → () Source #
type Rep Inline Source #
Instance details Defined in UntypedPlutusCore.Transform.Certify.Hints type Rep Inline = D1 ('MetaData "Inline" "UntypedPlutusCore.Transform.Certify.Hints" "plutus-core-1.68.0.0-inplace" 'False) (((C1 ('MetaCons "InlVar" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "InlLam" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inline)) :+: C1 ('MetaCons "InlApply" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inline) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inline)))) :+: (C1 ('MetaCons "InlForce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inline)) :+: (C1 ('MetaCons "InlDelay" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inline)) :+: C1 ('MetaCons "InlCon" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "InlBuiltin" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "InlError" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "InlConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])))) :+: (C1 ('MetaCons "InlCase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inline) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: (C1 ('MetaCons "InlExpand" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inline)) :+: C1 ('MetaCons "InlDrop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inline))))))

data Hints Source #

Hints for the certifier.

Note that there's a separate and unrelated notion of InlineHints. When there's ambiguity, this should be referred to as "certifier hints".

Constructors

Inline Inline
NoHints

Instances

Instances details

Generic Hints Source #
Instance details Defined in UntypedPlutusCore.Transform.Certify.Hints Associated Types type Rep Hints ∷ Type → Type Source # Methods from ∷ Hints → Rep Hints x Source # to ∷ Rep Hints x → Hints Source #
NFData Hints Source #
Instance details Defined in UntypedPlutusCore.Transform.Certify.Hints Methods rnf ∷ Hints → () Source #
type Rep Hints Source #
Instance details Defined in UntypedPlutusCore.Transform.Certify.Hints type Rep Hints = D1 ('MetaData "Hints" "UntypedPlutusCore.Transform.Certify.Hints" "plutus-core-1.68.0.0-inplace" 'False) (C1 ('MetaCons "Inline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inline)) :+: C1 ('MetaCons "NoHints" 'PrefixI 'False) (U1 ∷ Type → Type))