Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.Compiler

Synopsis

compileProgram ∷ Compiling m uni fun a ⇒ Program TyName Name uni fun a → m (PLCProgram uni fun a)
compileToReadable ∷ ∀ m uni fun a b. (Compiling m uni fun a, b ~ Provenance a) ⇒ Program TyName Name uni fun b → m (Program TyName Name uni fun b)
compileReadableToPlc ∷ ∀ m uni fun a b. (Compiling m uni fun a, b ~ Provenance a) ⇒ Program TyName Name uni fun b → m (PLCProgram uni fun a)
type Compiling m uni fun a = (Monad m, MonadReader (CompilationCtx uni fun a) m, MonadError (Error uni fun (Provenance a)) m, MonadQuote m, Ord a, AnnInline a, Typecheckable uni fun, GEq uni, PrettyUni uni, Pretty fun, Pretty a)
data Error uni fun a
- = CompilationError !a !Text
- | UnsupportedError !a !Text
- | OptionsError !Text
- | PLCError !(Error uni fun a)
- | PLCTypeError !(TypeError (Term TyName Name uni fun ()) uni fun a)
- | PIRTypeError !(TypeErrorExt uni a)
data Provenance a
- = Original a
- | LetBinding Recursivity (Provenance a)
- | TermBinding String (Provenance a)
- | TypeBinding String (Provenance a)
- | DatatypeComponent DatatypeComponent (Provenance a)
- | MultipleSources (Set (Provenance a))
data DatatypeComponent
- = Constructor
- | ConstructorType
- | Destructor
- | DestructorType
- | DatatypeType
- | PatternFunctor
noProvenance ∷ Provenance a
data CompilationOpts a = CompilationOpts {
- _coOptimize ∷ Bool
- _coTypecheck ∷ Bool
- _coPedantic ∷ Bool
- _coVerbose ∷ Bool
- _coDebug ∷ Bool
- _coDatatypes ∷ DatatypeCompilationOpts
- _coMaxSimplifierIterations ∷ Int
- _coDoSimplifierUnwrapCancel ∷ Bool
- _coDoSimplifierCaseReduce ∷ Bool
- _coDoSimplifierRewrite ∷ Bool
- _coDoSimplifierBeta ∷ Bool
- _coDoSimplifierInline ∷ Bool
- _coDoSimplifierKnownCon ∷ Bool
- _coDoSimplifierCaseOfCase ∷ Bool
- _coDoSimplifierEvaluateBuiltins ∷ Bool
- _coDoSimplifierStrictifyBindings ∷ Bool
- _coDoSimplifierRemoveDeadBindings ∷ Bool
- _coInlineHints ∷ InlineHints Name (Provenance a)
- _coInlineConstants ∷ Bool
- _coInlineFix ∷ Bool
- _coInlineCallsiteGrowth ∷ Size
- _coProfile ∷ Bool
- _coRelaxedFloatin ∷ Bool
- _coCaseOfCaseConservative ∷ Bool
- _coPreserveLogging ∷ Bool
}
coOptimize ∷ ∀ a. Lens' (CompilationOpts a) Bool
coTypecheck ∷ ∀ a. Lens' (CompilationOpts a) Bool
coPedantic ∷ ∀ a. Lens' (CompilationOpts a) Bool
coVerbose ∷ ∀ a. Lens' (CompilationOpts a) Bool
coDebug ∷ ∀ a. Lens' (CompilationOpts a) Bool
coMaxSimplifierIterations ∷ ∀ a. Lens' (CompilationOpts a) Int
coDoSimplifierUnwrapCancel ∷ ∀ a. Lens' (CompilationOpts a) Bool
coDoSimplifierBeta ∷ ∀ a. Lens' (CompilationOpts a) Bool
coDoSimplifierInline ∷ ∀ a. Lens' (CompilationOpts a) Bool
coDoSimplifierEvaluateBuiltins ∷ ∀ a. Lens' (CompilationOpts a) Bool
coDoSimplifierStrictifyBindings ∷ ∀ a. Lens' (CompilationOpts a) Bool
coDoSimplifierRewrite ∷ ∀ a. Lens' (CompilationOpts a) Bool
coDoSimplifierKnownCon ∷ ∀ a. Lens' (CompilationOpts a) Bool
coInlineConstants ∷ ∀ a. Lens' (CompilationOpts a) Bool
coInlineFix ∷ ∀ a. Lens' (CompilationOpts a) Bool
coInlineHints ∷ ∀ a a. Lens (CompilationOpts a) (CompilationOpts a) (InlineHints Name (Provenance a)) (InlineHints Name (Provenance a))
coInlineCallsiteGrowth ∷ ∀ a. Lens' (CompilationOpts a) Size
coProfile ∷ ∀ a. Lens' (CompilationOpts a) Bool
coRelaxedFloatin ∷ ∀ a. Lens' (CompilationOpts a) Bool
coCaseOfCaseConservative ∷ ∀ a. Lens' (CompilationOpts a) Bool
coPreserveLogging ∷ ∀ a. Lens' (CompilationOpts a) Bool
coDatatypes ∷ ∀ a. Lens' (CompilationOpts a) DatatypeCompilationOpts
dcoStyle ∷ Iso' DatatypeCompilationOpts DatatypeStyle
data DatatypeStyle
- = ScottEncoding
- | SumsOfProducts
defaultCompilationOpts ∷ CompilationOpts a
data CompilationCtx uni fun a
ccOpts ∷ ∀ uni fun a. Lens' (CompilationCtx uni fun a) (CompilationOpts a)
ccEnclosing ∷ ∀ uni fun a. Lens' (CompilationCtx uni fun a) (Provenance a)
ccTypeCheckConfig ∷ ∀ uni fun a. Lens' (CompilationCtx uni fun a) (PirTCConfig uni fun)
ccBuiltinsInfo ∷ ∀ uni fun a. Lens' (CompilationCtx uni fun a) (BuiltinsInfo uni fun)
ccBuiltinCostModel ∷ ∀ uni fun a. Lens' (CompilationCtx uni fun a) (CostingPart uni fun)
data PirTCConfig uni fun = PirTCConfig {
- _pirConfigTCConfig ∷ TypeCheckConfig uni fun
- _pirConfigAllowEscape ∷ AllowEscape
}
data AllowEscape
- = YesEscape
- | NoEscape
toDefaultCompilationCtx ∷ (Default (BuiltinsInfo uni fun), Default (CostingPart uni fun), Default (RewriteRules uni fun)) ⇒ TypeCheckConfig uni fun → CompilationCtx uni fun a
runCompilerPass ∷ (Compiling m uni fun a, b ~ Provenance a) ⇒ m (Pass m tyname name uni fun b) → Term tyname name uni fun b → m (Term tyname name uni fun b)
simplifier ∷ Compiling m uni fun a ⇒ m (Pass m TyName Name uni fun (Provenance a))

Documentation

compileProgram ∷ Compiling m uni fun a ⇒ Program TyName Name uni fun a → m (PLCProgram uni fun a) Source #

compileToReadable ∷ ∀ m uni fun a b. (Compiling m uni fun a, b ~ Provenance a) ⇒ Program TyName Name uni fun b → m (Program TyName Name uni fun b) Source #

The 1st half of the PIR compiler pipeline up to floating/merging the lets. We stop momentarily here to give a chance to the tx-plugin to dump a "readable" version of pir (i.e. floated).

compileReadableToPlc ∷ ∀ m uni fun a b. (Compiling m uni fun a, b ~ Provenance a) ⇒ Program TyName Name uni fun b → m (PLCProgram uni fun a) Source #

The 2nd half of the PIR compiler pipeline. Compiles a Term into a PLC Term, by removing/translating step-by-step the PIR's language constructs to PLC. Note: the result *does* have globally unique names.

type Compiling m uni fun a = (Monad m, MonadReader (CompilationCtx uni fun a) m, MonadError (Error uni fun (Provenance a)) m, MonadQuote m, Ord a, AnnInline a, Typecheckable uni fun, GEq uni, PrettyUni uni, Pretty fun, Pretty a) Source #

data Error uni fun a Source #

Constructors

CompilationError !a !Text	A generic compilation error.
UnsupportedError !a !Text	An error relating specifically to an unsupported feature.
OptionsError !Text	An error relating to compilation options.
PLCError !(Error uni fun a)	An error from running some PLC function, lifted into this error type for convenience.
PLCTypeError !(TypeError (Term TyName Name uni fun ()) uni fun a)
PIRTypeError !(TypeErrorExt uni a)

Instances

Instances details

(PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy PrettyConfigPlc (Error uni fun ann) Source #
Instance details Defined in PlutusIR.Error Methods prettyBy ∷ PrettyConfigPlc → Error uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigPlc → [Error uni fun ann] → Doc ann0 Source #
Functor (Error uni fun) Source #
Instance details Defined in PlutusIR.Error Methods fmap ∷ (a → b) → Error uni fun a → Error uni fun b Source # (<$) ∷ a → Error uni fun b → Error uni fun a Source #
(ThrowableBuiltins uni fun, Pretty ann, Typeable ann) ⇒ Exception (Error uni fun ann) Source #
Instance details Defined in PlutusIR.Error Methods toException ∷ Error uni fun ann → SomeException Source # fromException ∷ SomeException → Maybe (Error uni fun ann) Source # displayException ∷ Error uni fun ann → String Source #
(PrettyUni uni, Pretty fun, Pretty ann) ⇒ Show (Error uni fun ann) Source #
Instance details Defined in PlutusIR.Error Methods showsPrec ∷ Int → Error uni fun ann → ShowS Source # show ∷ Error uni fun ann → String Source # showList ∷ [Error uni fun ann] → ShowS Source #
(PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Error uni fun ann) Source #
Instance details Defined in PlutusIR.Error Methods pretty ∷ Error uni fun ann → Doc ann0 Source # prettyList ∷ [Error uni fun ann] → Doc ann0 Source #

data Provenance a Source #

Indicates where a value comes from.

This is either an original annotation or a pieces of context explaining how the term relates to a previous Provenance. We also provide noProvenance for convenience.

The provenance should always be just the original annotation, if we have one. It should only be another kind of provenance if we're in the process of generating some term that doesn't correspond directly to a term in the original AST.

Constructors

Original a
LetBinding Recursivity (Provenance a)
TermBinding String (Provenance a)
TypeBinding String (Provenance a)
DatatypeComponent DatatypeComponent (Provenance a)
MultipleSources (Set (Provenance a))	Added for accumulating difference provenances when floating lets

Instances

Instances details

Foldable Provenance Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods fold ∷ Monoid m ⇒ Provenance m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → Provenance a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → Provenance a → m Source # foldr ∷ (a → b → b) → b → Provenance a → b Source # foldr' ∷ (a → b → b) → b → Provenance a → b Source # foldl ∷ (b → a → b) → b → Provenance a → b Source # foldl' ∷ (b → a → b) → b → Provenance a → b Source # foldr1 ∷ (a → a → a) → Provenance a → a Source # foldl1 ∷ (a → a → a) → Provenance a → a Source # toList ∷ Provenance a → [a] Source # null ∷ Provenance a → Bool Source # length ∷ Provenance a → Int Source # elem ∷ Eq a ⇒ a → Provenance a → Bool Source # maximum ∷ Ord a ⇒ Provenance a → a Source # minimum ∷ Ord a ⇒ Provenance a → a Source # sum ∷ Num a ⇒ Provenance a → a Source # product ∷ Num a ⇒ Provenance a → a Source #
Ord a ⇒ Monoid (Provenance a) Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods mempty ∷ Provenance a Source # mappend ∷ Provenance a → Provenance a → Provenance a Source # mconcat ∷ [Provenance a] → Provenance a Source #
Ord a ⇒ Semigroup (Provenance a) Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods (<>) ∷ Provenance a → Provenance a → Provenance a Source # sconcat ∷ NonEmpty (Provenance a) → Provenance a Source # stimes ∷ Integral b ⇒ b → Provenance a → Provenance a Source #
Generic (Provenance a) Source #
Instance details Defined in PlutusIR.Compiler.Provenance Associated Types type Rep (Provenance a) ∷ Type → Type Source # Methods from ∷ Provenance a → Rep (Provenance a) x Source # to ∷ Rep (Provenance a) x → Provenance a Source #
Show a ⇒ Show (Provenance a) Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods showsPrec ∷ Int → Provenance a → ShowS Source # show ∷ Provenance a → String Source # showList ∷ [Provenance a] → ShowS Source #
Eq a ⇒ Eq (Provenance a) Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods (==) ∷ Provenance a → Provenance a → Bool Source # (/=) ∷ Provenance a → Provenance a → Bool Source #
Ord a ⇒ Ord (Provenance a) Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods compare ∷ Provenance a → Provenance a → Ordering Source # (<) ∷ Provenance a → Provenance a → Bool Source # (<=) ∷ Provenance a → Provenance a → Bool Source # (>) ∷ Provenance a → Provenance a → Bool Source # (>=) ∷ Provenance a → Provenance a → Bool Source # max ∷ Provenance a → Provenance a → Provenance a Source # min ∷ Provenance a → Provenance a → Provenance a Source #
Hashable a ⇒ Hashable (Provenance a) Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods hashWithSalt ∷ Int → Provenance a → Int Source # hash ∷ Provenance a → Int Source #
AnnInline a ⇒ AnnInline (Provenance a) Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods annAlwaysInline ∷ Provenance a Source # annSafeToInline ∷ Provenance a Source # annMayInline ∷ Provenance a Source #
Pretty a ⇒ Pretty (Provenance a) Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods pretty ∷ Provenance a → Doc ann Source # prettyList ∷ [Provenance a] → Doc ann Source #
type Rep (Provenance a) Source #
Instance details Defined in PlutusIR.Compiler.Provenance type Rep (Provenance a) = D1 ('MetaData "Provenance" "PlutusIR.Compiler.Provenance" "plutus-core-1.46.0.0-inplace-plutus-ir" 'False) ((C1 ('MetaCons "Original" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "LetBinding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Recursivity) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Provenance a))) :+: C1 ('MetaCons "TermBinding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Provenance a))))) :+: (C1 ('MetaCons "TypeBinding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Provenance a))) :+: (C1 ('MetaCons "DatatypeComponent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatatypeComponent) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Provenance a))) :+: C1 ('MetaCons "MultipleSources" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Provenance a)))))))

data DatatypeComponent Source #

Constructors

Constructor
ConstructorType
Destructor
DestructorType
DatatypeType
PatternFunctor

Instances

Instances details

Generic DatatypeComponent Source #
Instance details Defined in PlutusIR.Compiler.Provenance Associated Types type Rep DatatypeComponent ∷ Type → Type Source # Methods from ∷ DatatypeComponent → Rep DatatypeComponent x Source # to ∷ Rep DatatypeComponent x → DatatypeComponent Source #
Show DatatypeComponent Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods showsPrec ∷ Int → DatatypeComponent → ShowS Source # show ∷ DatatypeComponent → String Source # showList ∷ [DatatypeComponent] → ShowS Source #
Eq DatatypeComponent Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods (==) ∷ DatatypeComponent → DatatypeComponent → Bool Source # (/=) ∷ DatatypeComponent → DatatypeComponent → Bool Source #
Ord DatatypeComponent Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods compare ∷ DatatypeComponent → DatatypeComponent → Ordering Source # (<) ∷ DatatypeComponent → DatatypeComponent → Bool Source # (<=) ∷ DatatypeComponent → DatatypeComponent → Bool Source # (>) ∷ DatatypeComponent → DatatypeComponent → Bool Source # (>=) ∷ DatatypeComponent → DatatypeComponent → Bool Source # max ∷ DatatypeComponent → DatatypeComponent → DatatypeComponent Source # min ∷ DatatypeComponent → DatatypeComponent → DatatypeComponent Source #
Hashable DatatypeComponent Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods hashWithSalt ∷ Int → DatatypeComponent → Int Source # hash ∷ DatatypeComponent → Int Source #
Pretty DatatypeComponent Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods pretty ∷ DatatypeComponent → Doc ann Source # prettyList ∷ [DatatypeComponent] → Doc ann Source #
type Rep DatatypeComponent Source #
Instance details Defined in PlutusIR.Compiler.Provenance type Rep DatatypeComponent = D1 ('MetaData "DatatypeComponent" "PlutusIR.Compiler.Provenance" "plutus-core-1.46.0.0-inplace-plutus-ir" 'False) ((C1 ('MetaCons "Constructor" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ConstructorType" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Destructor" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "DestructorType" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "DatatypeType" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "PatternFunctor" 'PrefixI 'False) (U1 ∷ Type → Type))))

noProvenance ∷ Provenance a Source #

data CompilationOpts a Source #

Constructors

CompilationOpts

Fields

_coOptimize ∷ Bool
_coTypecheck ∷ Bool
_coPedantic ∷ Bool
_coVerbose ∷ Bool
_coDebug ∷ Bool
_coDatatypes ∷ DatatypeCompilationOpts
_coMaxSimplifierIterations ∷ Int
_coDoSimplifierUnwrapCancel ∷ Bool
_coDoSimplifierCaseReduce ∷ Bool
_coDoSimplifierRewrite ∷ Bool
_coDoSimplifierBeta ∷ Bool
_coDoSimplifierInline ∷ Bool
_coDoSimplifierKnownCon ∷ Bool
_coDoSimplifierCaseOfCase ∷ Bool
_coDoSimplifierEvaluateBuiltins ∷ Bool
_coDoSimplifierStrictifyBindings ∷ Bool
_coDoSimplifierRemoveDeadBindings ∷ Bool
_coInlineHints ∷ InlineHints Name (Provenance a)
_coInlineConstants ∷ Bool
_coInlineFix ∷ Bool
_coInlineCallsiteGrowth ∷ Size
_coProfile ∷ Bool
_coRelaxedFloatin ∷ Bool
_coCaseOfCaseConservative ∷ Bool
_coPreserveLogging ∷ Bool
Whether to try and preserve the logging beahviour of the program.

Instances

Instances details

Show (CompilationOpts a) Source #
Instance details Defined in PlutusIR.Compiler.Types Methods showsPrec ∷ Int → CompilationOpts a → ShowS Source # show ∷ CompilationOpts a → String Source # showList ∷ [CompilationOpts a] → ShowS Source #

coOptimize ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coTypecheck ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coPedantic ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coVerbose ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coDebug ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coMaxSimplifierIterations ∷ ∀ a. Lens' (CompilationOpts a) Int Source #

coDoSimplifierUnwrapCancel ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coDoSimplifierBeta ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coDoSimplifierInline ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coDoSimplifierEvaluateBuiltins ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coDoSimplifierStrictifyBindings ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coDoSimplifierRewrite ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coDoSimplifierKnownCon ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coInlineConstants ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coInlineFix ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coInlineHints ∷ ∀ a a. Lens (CompilationOpts a) (CompilationOpts a) (InlineHints Name (Provenance a)) (InlineHints Name (Provenance a)) Source #

coInlineCallsiteGrowth ∷ ∀ a. Lens' (CompilationOpts a) Size Source #

coProfile ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coRelaxedFloatin ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coCaseOfCaseConservative ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coPreserveLogging ∷ ∀ a. Lens' (CompilationOpts a) Bool Source #

coDatatypes ∷ ∀ a. Lens' (CompilationOpts a) DatatypeCompilationOpts Source #

dcoStyle ∷ Iso' DatatypeCompilationOpts DatatypeStyle Source #

data DatatypeStyle Source #

What style to use when encoding datatypes. Generally, SumsOfProducts is superior, unless you are targeting an old Plutus Core language version.

See Note [Encoding of datatypes]

Constructors

ScottEncoding
SumsOfProducts

Instances

Instances details

Read DatatypeStyle Source #
Instance details Defined in PlutusIR.Compiler.Types Methods readsPrec ∷ Int → ReadS DatatypeStyle Source # readList ∷ ReadS [DatatypeStyle] Source # readPrec ∷ ReadPrec DatatypeStyle Source # readListPrec ∷ ReadPrec [DatatypeStyle] Source #
Show DatatypeStyle Source #
Instance details Defined in PlutusIR.Compiler.Types Methods showsPrec ∷ Int → DatatypeStyle → ShowS Source # show ∷ DatatypeStyle → String Source # showList ∷ [DatatypeStyle] → ShowS Source #
Eq DatatypeStyle Source #
Instance details Defined in PlutusIR.Compiler.Types Methods (==) ∷ DatatypeStyle → DatatypeStyle → Bool Source # (/=) ∷ DatatypeStyle → DatatypeStyle → Bool Source #
Pretty DatatypeStyle Source #
Instance details Defined in PlutusIR.Compiler.Types Methods pretty ∷ DatatypeStyle → Doc ann Source # prettyList ∷ [DatatypeStyle] → Doc ann Source #

defaultCompilationOpts ∷ CompilationOpts a Source #

data CompilationCtx uni fun a Source #

ccOpts ∷ ∀ uni fun a. Lens' (CompilationCtx uni fun a) (CompilationOpts a) Source #

ccEnclosing ∷ ∀ uni fun a. Lens' (CompilationCtx uni fun a) (Provenance a) Source #

ccTypeCheckConfig ∷ ∀ uni fun a. Lens' (CompilationCtx uni fun a) (PirTCConfig uni fun) Source #

ccBuiltinsInfo ∷ ∀ uni fun a. Lens' (CompilationCtx uni fun a) (BuiltinsInfo uni fun) Source #

ccBuiltinCostModel ∷ ∀ uni fun a. Lens' (CompilationCtx uni fun a) (CostingPart uni fun) Source #

data PirTCConfig uni fun Source #

extending the plc typecheck config with AllowEscape

Constructors

PirTCConfig
Fields _pirConfigTCConfig ∷ TypeCheckConfig uni fun _pirConfigAllowEscape ∷ AllowEscape

Instances

Instances details

HasKindCheckConfig (PirTCConfig uni fun) Source #
Instance details Defined in PlutusIR.Compiler.Types Methods kindCheckConfig ∷ Lens' (PirTCConfig uni fun) KindCheckConfig Source # kccHandleNameMismatches ∷ Lens' (PirTCConfig uni fun) HandleNameMismatches Source #
HasTypeCheckConfig (PirTCConfig uni fun) uni fun Source #
Instance details Defined in PlutusIR.Compiler.Types Methods typeCheckConfig ∷ Lens' (PirTCConfig uni fun) (TypeCheckConfig uni fun) Source # tccKindCheckConfig ∷ Lens' (PirTCConfig uni fun) KindCheckConfig Source # tccBuiltinTypes ∷ Lens' (PirTCConfig uni fun) (BuiltinTypes uni fun) Source #

data AllowEscape Source #

Extra flag to be passed in the TypeCheckM Reader context, to signal if the PIR expression currently being typechecked is at the top-level and thus its type can escape, or nested and thus not allowed to escape.

Constructors

YesEscape
NoEscape

toDefaultCompilationCtx ∷ (Default (BuiltinsInfo uni fun), Default (CostingPart uni fun), Default (RewriteRules uni fun)) ⇒ TypeCheckConfig uni fun → CompilationCtx uni fun a Source #

runCompilerPass ∷ (Compiling m uni fun a, b ~ Provenance a) ⇒ m (Pass m tyname name uni fun b) → Term tyname name uni fun b → m (Term tyname name uni fun b) Source #

simplifier ∷ Compiling m uni fun a ⇒ m (Pass m TyName Name uni fun (Provenance a)) Source #