SelfInitializingType -- the class of all self initializing types

Description

A self initializing type X will produce an instance of X from initial data v with the expression X v.

i1 : X = new SelfInitializingType of BasicList

o1 = X

o1 : SelfInitializingType

i2 : x = X {1,2,3}

o2 = X{1, 2, 3}

o2 : X

i3 : class x

o3 = X

o3 : SelfInitializingType

Command is an example of a self initializing type.

SelfInitializingType Thing
List / SelfInitializingType -- see VisibleList / Function -- apply a function to elements of a list
SelfInitializingType \ VisibleList -- see VisibleList / Function -- apply a function to elements of a list
VisibleList / SelfInitializingType -- see VisibleList / Function -- apply a function to elements of a list
SelfInitializingType \\ Thing -- see VisibleList // Function -- apply a function
Thing // SelfInitializingType -- see VisibleList // Function -- apply a function

Bag -- the class of all bags
Command -- the class of all commands
Eliminate -- elimination order
Iterator -- class for iterators
NumberedVerticalList -- a type of visible self-initializing list that prints vertically
ProductOrder -- product ordering
TestInput -- see tests -- locate a package's tests
URL -- a type representing a URL
VerticalList -- a type of visible self-initializing list that prints vertically

The source of this document is in Macaulay2Doc/ov_types.m2:666:0.