Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.Compiler.Definitions

Description

Support for generating PIR with global definitions with dependencies between them.

Synopsis

data DefT key uni fun ann m a
class (Monad m, Ord key) ⇒ MonadDefs key uni fun ann m | m → key uni fun ann where
- liftDef ∷ DefT key uni fun ann Identity a → m a
type TermDefWithStrictness uni fun ann = Def (VarDecl TyName Name uni ann) (Term TyName Name uni fun ann, Strictness)
runDefT ∷ (Monad m, Ord key) ⇒ ann → DefT key uni fun ann m (Term TyName Name uni fun ann) → m (Term TyName Name uni fun ann)
defineTerm ∷ MonadDefs key uni fun ann m ⇒ key → TermDefWithStrictness uni fun ann → Set key → m ()
modifyTermDef ∷ MonadDefs key uni fun ann m ⇒ key → (TermDefWithStrictness uni fun ann → TermDefWithStrictness uni fun ann) → m ()
defineType ∷ MonadDefs key uni fun ann m ⇒ key → TypeDef TyName uni ann → Set key → m ()
modifyTypeDef ∷ MonadDefs key uni fun ann m ⇒ key → (TypeDef TyName uni ann → TypeDef TyName uni ann) → m ()
defineDatatype ∷ ∀ key uni fun ann m. MonadDefs key uni fun ann m ⇒ key → DatatypeDef TyName Name uni ann → Set key → m ()
modifyDatatypeDef ∷ MonadDefs key uni fun ann m ⇒ key → (DatatypeDef TyName Name uni ann → DatatypeDef TyName Name uni ann) → m ()
modifyDeps ∷ MonadDefs key uni fun ann m ⇒ key → (Set key → Set key) → m ()
recordAlias ∷ ∀ key uni fun ann m. MonadDefs key uni fun ann m ⇒ key → m ()
lookupTerm ∷ MonadDefs key uni fun ann m ⇒ ann → key → m (Maybe (Term TyName Name uni fun ann))
lookupOrDefineTerm ∷ MonadDefs key uni fun ann m ⇒ ann → key → m (TermDefWithStrictness uni fun ann, Set key) → m (Term TyName Name uni fun ann)
lookupType ∷ MonadDefs key uni fun ann m ⇒ ann → key → m (Maybe (Type TyName uni ann))
lookupOrDefineType ∷ MonadDefs key uni fun ann m ⇒ ann → key → m (TypeDef TyName uni ann, Set key) → m (Type TyName uni ann)
lookupConstructors ∷ MonadDefs key uni fun ann m ⇒ ann → key → m (Maybe [Term TyName Name uni fun ann])
lookupDestructor ∷ ∀ key uni fun ann m. MonadDefs key uni fun ann m ⇒ ann → key → m (Maybe (Term TyName Name uni fun ann))

Documentation

data DefT key uni fun ann m a Source #

Instances

Instances details

(Ord key, Monad m) ⇒ MonadDefs key uni fun ann (DefT key uni fun ann m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods liftDef ∷ DefT key uni fun ann Identity a → DefT key uni fun ann m a Source #
MFunctor (DefT key uni fun ann ∷ (Type → Type) → Type → Type) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods hoist ∷ ∀ m n (b ∷ k). Monad m ⇒ (∀ a. m a → n a) → DefT key uni fun ann m b → DefT key uni fun ann n b Source #
MonadError e m ⇒ MonadError e (DefT key uni fun ann m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods throwError ∷ e → DefT key uni fun ann m a Source # catchError ∷ DefT key uni fun ann m a → (e → DefT key uni fun ann m a) → DefT key uni fun ann m a Source #
MonadReader r m ⇒ MonadReader r (DefT key uni fun ann m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods ask ∷ DefT key uni fun ann m r Source # local ∷ (r → r) → DefT key uni fun ann m a → DefT key uni fun ann m a Source # reader ∷ (r → a) → DefT key uni fun ann m a Source #
MonadState s m ⇒ MonadState s (DefT key uni fun ann m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods get ∷ DefT key uni fun ann m s Source # put ∷ s → DefT key uni fun ann m () Source # state ∷ (s → (a, s)) → DefT key uni fun ann m a Source #
MonadWriter w m ⇒ MonadWriter w (DefT key uni fun ann m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods writer ∷ (a, w) → DefT key uni fun ann m a Source # tell ∷ w → DefT key uni fun ann m () Source # listen ∷ DefT key uni fun ann m a → DefT key uni fun ann m (a, w) Source # pass ∷ DefT key uni fun ann m (a, w → w) → DefT key uni fun ann m a Source #
MonadTrans (DefT key uni fun ann) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods lift ∷ Monad m ⇒ m a → DefT key uni fun ann m a Source #
Monad m ⇒ Applicative (DefT key uni fun ann m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods pure ∷ a → DefT key uni fun ann m a Source # (<>) ∷ DefT key uni fun ann m (a → b) → DefT key uni fun ann m a → DefT key uni fun ann m b Source # liftA2 ∷ (a → b → c) → DefT key uni fun ann m a → DefT key uni fun ann m b → DefT key uni fun ann m c Source # (>) ∷ DefT key uni fun ann m a → DefT key uni fun ann m b → DefT key uni fun ann m b Source # (<*) ∷ DefT key uni fun ann m a → DefT key uni fun ann m b → DefT key uni fun ann m a Source #
Functor m ⇒ Functor (DefT key uni fun ann m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods fmap ∷ (a → b) → DefT key uni fun ann m a → DefT key uni fun ann m b Source # (<$) ∷ a → DefT key uni fun ann m b → DefT key uni fun ann m a Source #
Monad m ⇒ Monad (DefT key uni fun ann m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods (>>=) ∷ DefT key uni fun ann m a → (a → DefT key uni fun ann m b) → DefT key uni fun ann m b Source # (>>) ∷ DefT key uni fun ann m a → DefT key uni fun ann m b → DefT key uni fun ann m b Source # return ∷ a → DefT key uni fun ann m a Source #
MonadQuote m ⇒ MonadQuote (DefT key uni fun ann m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods liftQuote ∷ Quote a → DefT key uni fun ann m a Source #

class (Monad m, Ord key) ⇒ MonadDefs key uni fun ann m | m → key uni fun ann where Source #

Minimal complete definition

Nothing

Methods

liftDef ∷ DefT key uni fun ann Identity a → m a Source #

default liftDef ∷ (MonadDefs key uni fun ann n, MonadTrans t, t n ~ m) ⇒ DefT key uni fun ann Identity a → m a Source #

Instances

Instances details

MonadDefs key uni fun ann m ⇒ MonadDefs key uni fun ann (ExceptT e m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods liftDef ∷ DefT key uni fun ann Identity a → ExceptT e m a Source #
MonadDefs key uni fun ann m ⇒ MonadDefs key uni fun ann (ReaderT r m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods liftDef ∷ DefT key uni fun ann Identity a → ReaderT r m a Source #
MonadDefs key uni fun ann m ⇒ MonadDefs key uni fun ann (StateT s m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods liftDef ∷ DefT key uni fun ann Identity a → StateT s m a Source #
(Ord key, Monad m) ⇒ MonadDefs key uni fun ann (DefT key uni fun ann m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods liftDef ∷ DefT key uni fun ann Identity a → DefT key uni fun ann m a Source #

type TermDefWithStrictness uni fun ann = Def (VarDecl TyName Name uni ann) (Term TyName Name uni fun ann, Strictness) Source #

runDefT ∷ (Monad m, Ord key) ⇒ ann → DefT key uni fun ann m (Term TyName Name uni fun ann) → m (Term TyName Name uni fun ann) Source #

defineTerm ∷ MonadDefs key uni fun ann m ⇒ key → TermDefWithStrictness uni fun ann → Set key → m () Source #

modifyTermDef ∷ MonadDefs key uni fun ann m ⇒ key → (TermDefWithStrictness uni fun ann → TermDefWithStrictness uni fun ann) → m () Source #

defineType ∷ MonadDefs key uni fun ann m ⇒ key → TypeDef TyName uni ann → Set key → m () Source #

modifyTypeDef ∷ MonadDefs key uni fun ann m ⇒ key → (TypeDef TyName uni ann → TypeDef TyName uni ann) → m () Source #

defineDatatype ∷ ∀ key uni fun ann m. MonadDefs key uni fun ann m ⇒ key → DatatypeDef TyName Name uni ann → Set key → m () Source #

modifyDatatypeDef ∷ MonadDefs key uni fun ann m ⇒ key → (DatatypeDef TyName Name uni ann → DatatypeDef TyName Name uni ann) → m () Source #

modifyDeps ∷ MonadDefs key uni fun ann m ⇒ key → (Set key → Set key) → m () Source #

Modifies the dependency set of a key.

recordAlias ∷ ∀ key uni fun ann m. MonadDefs key uni fun ann m ⇒ key → m () Source #

lookupTerm ∷ MonadDefs key uni fun ann m ⇒ ann → key → m (Maybe (Term TyName Name uni fun ann)) Source #

lookupOrDefineTerm ∷ MonadDefs key uni fun ann m ⇒ ann → key → m (TermDefWithStrictness uni fun ann, Set key) → m (Term TyName Name uni fun ann) Source #

lookupType ∷ MonadDefs key uni fun ann m ⇒ ann → key → m (Maybe (Type TyName uni ann)) Source #

lookupOrDefineType ∷ MonadDefs key uni fun ann m ⇒ ann → key → m (TypeDef TyName uni ann, Set key) → m (Type TyName uni ann) Source #

lookupConstructors ∷ MonadDefs key uni fun ann m ⇒ ann → key → m (Maybe [Term TyName Name uni fun ann]) Source #

lookupDestructor ∷ ∀ key uni fun ann m. MonadDefs key uni fun ann m ⇒ ann → key → m (Maybe (Term TyName Name uni fun ann)) Source #