Goto Chapter: Top 1 2 3 4 5 6 Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

3 Code Generation for Monodial Categories
 3.1 Monoidal Categories
 3.2 Closed Monoidal Categories
 3.3 Coclosed Monoidal Categories

3 Code Generation for Monodial Categories

3.1 Monoidal Categories

3.1-1 WriteFileForMonoidalStructure
‣ WriteFileForMonoidalStructure( key_val_rec, package_name, files_rec )( function )

Returns: nothing

This functions uses the dictionary key_val_rec to create a new monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.

3.2 Closed Monoidal Categories

3.2-1 WriteFileForClosedMonoidalStructure
‣ WriteFileForClosedMonoidalStructure( key_val_rec, package_name, files_rec )( function )

Returns: nothing

This functions uses the dictionary key_val_rec to create a new closed monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.

3.2-2 WriteFileForLeftClosedMonoidalStructure
‣ WriteFileForLeftClosedMonoidalStructure( key_val_rec, package_name, files_rec )( function )

Returns: nothing

This functions uses the dictionary key_val_rec to create a new left closed monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.

3.3 Coclosed Monoidal Categories

3.3-1 WriteFileForCoclosedMonoidalStructure
‣ WriteFileForCoclosedMonoidalStructure( key_val_rec, package_name, files_rec )( function )

Returns: nothing

This functions uses the dictionary key_val_rec to create a new coclosed monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.

3.3-2 WriteFileForLeftCoclosedMonoidalStructure
‣ WriteFileForLeftCoclosedMonoidalStructure( key_val_rec, package_name, files_rec )( function )

Returns: nothing

This functions uses the dictionary key_val_rec to create a new left coclosed monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.

 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 Ind

generated by GAPDoc2HTML