plutus-core-1.0.0.1: Language library for Plutus Core
Safe Haskell None
Language Haskell2010

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.