Class GRBMONOID


  • public final class GRBMONOID
    extends java.lang.Object
    • Constructor Detail

      • GRBMONOID

        public GRBMONOID()
    • Method Detail

      • createMonoidBoolean

        public static java.nio.Buffer createMonoidBoolean​(java.nio.Buffer binaryOp,
                                                          boolean identity)
      • createMonoidByte

        public static java.nio.Buffer createMonoidByte​(java.nio.Buffer binaryOp,
                                                       byte identity)
      • minMonoidByte

        public static java.nio.Buffer minMonoidByte()
      • maxMonoidByte

        public static java.nio.Buffer maxMonoidByte()
      • plusMonoidByte

        public static java.nio.Buffer plusMonoidByte()
      • timesMonoidByte

        public static java.nio.Buffer timesMonoidByte()
      • anyMonoidByte

        public static java.nio.Buffer anyMonoidByte()
      • createMonoidShort

        public static java.nio.Buffer createMonoidShort​(java.nio.Buffer binaryOp,
                                                        short identity)
      • minMonoidShort

        public static java.nio.Buffer minMonoidShort()
      • maxMonoidShort

        public static java.nio.Buffer maxMonoidShort()
      • plusMonoidShort

        public static java.nio.Buffer plusMonoidShort()
      • timesMonoidShort

        public static java.nio.Buffer timesMonoidShort()
      • anyMonoidShort

        public static java.nio.Buffer anyMonoidShort()
      • createMonoidInt

        public static java.nio.Buffer createMonoidInt​(java.nio.Buffer binaryOp,
                                                      int identity)
      • minMonoidInt

        public static java.nio.Buffer minMonoidInt()
      • maxMonoidInt

        public static java.nio.Buffer maxMonoidInt()
      • plusMonoidInt

        public static java.nio.Buffer plusMonoidInt()
      • timesMonoidInt

        public static java.nio.Buffer timesMonoidInt()
      • anyMonoidInt

        public static java.nio.Buffer anyMonoidInt()
      • createMonoidLong

        public static java.nio.Buffer createMonoidLong​(java.nio.Buffer binaryOp,
                                                       long identity)
      • minMonoidLong

        public static java.nio.Buffer minMonoidLong()
      • maxMonoidLong

        public static java.nio.Buffer maxMonoidLong()
      • plusMonoidLong

        public static java.nio.Buffer plusMonoidLong()
      • timesMonoidLong

        public static java.nio.Buffer timesMonoidLong()
      • anyMonoidLong

        public static java.nio.Buffer anyMonoidLong()
      • createMonoidFloat

        public static java.nio.Buffer createMonoidFloat​(java.nio.Buffer binaryOp,
                                                        float identity)
      • minMonoidFloat

        public static java.nio.Buffer minMonoidFloat()
      • maxMonoidFloat

        public static java.nio.Buffer maxMonoidFloat()
      • plusMonoidFloat

        public static java.nio.Buffer plusMonoidFloat()
      • timesMonoidFloat

        public static java.nio.Buffer timesMonoidFloat()
      • anyMonoidFloat

        public static java.nio.Buffer anyMonoidFloat()
      • createMonoidDouble

        public static java.nio.Buffer createMonoidDouble​(java.nio.Buffer binaryOp,
                                                         double identity)
      • minMonoidDouble

        public static java.nio.Buffer minMonoidDouble()
      • maxMonoidDouble

        public static java.nio.Buffer maxMonoidDouble()
      • plusMonoidDouble

        public static java.nio.Buffer plusMonoidDouble()
      • timesMonoidDouble

        public static java.nio.Buffer timesMonoidDouble()
      • anyMonoidDouble

        public static java.nio.Buffer anyMonoidDouble()
      • lorMonoid

        public static java.nio.Buffer lorMonoid()
      • landMonoid

        public static java.nio.Buffer landMonoid()
      • lxorMonoid

        public static java.nio.Buffer lxorMonoid()
      • eqBoolMonoid

        public static java.nio.Buffer eqBoolMonoid()