public final class GRBMONOID extends Object
| Constructor and Description |
|---|
GRBMONOID() |
public static Buffer minMonoidByte()
public static Buffer maxMonoidByte()
public static Buffer plusMonoidByte()
public static Buffer timesMonoidByte()
public static Buffer anyMonoidByte()
public static Buffer minMonoidShort()
public static Buffer maxMonoidShort()
public static Buffer plusMonoidShort()
public static Buffer timesMonoidShort()
public static Buffer anyMonoidShort()
public static Buffer minMonoidInt()
public static Buffer maxMonoidInt()
public static Buffer plusMonoidInt()
public static Buffer timesMonoidInt()
public static Buffer anyMonoidInt()
public static Buffer minMonoidLong()
public static Buffer maxMonoidLong()
public static Buffer plusMonoidLong()
public static Buffer timesMonoidLong()
public static Buffer anyMonoidLong()
public static Buffer minMonoidFloat()
public static Buffer maxMonoidFloat()
public static Buffer plusMonoidFloat()
public static Buffer timesMonoidFloat()
public static Buffer anyMonoidFloat()
public static Buffer minMonoidDouble()
public static Buffer maxMonoidDouble()
public static Buffer plusMonoidDouble()
public static Buffer timesMonoidDouble()
public static Buffer anyMonoidDouble()
public static Buffer lorMonoid()
public static Buffer landMonoid()
public static Buffer lxorMonoid()
public static Buffer eqBoolMonoid()
Copyright © 2020. All rights reserved.