plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.StdLib.Type

Description

This module defines Haskell data types that simplify construction of PLC types and terms.

Synopsis

Documentation

data RecursiveType uni fun ann Source #

A recursive type packaged along with a specified Wrap that allows to construct elements of this type.

Constructors

RecursiveType 

Fields

makeRecursiveType ∷ FromDataPieces uni ann (RecursiveType uni fun ann) Source #

Construct a RecursiveType out of its name, variables bound in its pattern functor and the body of the pattern functor. The 0- and 1-ary pattern functors are special-cased, while in the general case the pattern functor and type arguments get encoded into a 1-ary form first.