Data.Greskell.Gremlin

This modules defines types and functions for utility classes in Gremlin.

Predicate

class Predicate p where

java.util.function.Predicate interface.

A Predicate p is a function that takes PredicateArg p and returns Bool.

Minimal complete definition

Nothing

Associated Types

type PredicateArg p

Methods

pAnd :: Greskell p -> Greskell p -> Greskell p

.and method.

pOr :: Greskell p -> Greskell p -> Greskell p

.or method.

pTest :: Greskell p -> Greskell (PredicateArg p) -> Greskell Bool

.test method.

pNegate :: Greskell p -> Greskell p

.nagate method.

Instances

Predicate (P a)

Defined in Data.Greskell.Gremlin

Associated Types

type PredicateArg (P a)

Methods

pAnd :: Greskell (P a) -> Greskell (P a) -> Greskell (P a)

pOr :: Greskell (P a) -> Greskell (P a) -> Greskell (P a)

pTest :: Greskell (P a) -> Greskell (PredicateArg (P a)) -> Greskell Bool

pNegate :: Greskell (P a) -> Greskell (P a)

Predicate (PredicateA a)

Defined in Data.Greskell.Gremlin

Associated Types

type PredicateArg (PredicateA a)

Methods

pAnd :: Greskell (PredicateA a) -> Greskell (PredicateA a) -> Greskell (PredicateA a)

pOr :: Greskell (PredicateA a) -> Greskell (PredicateA a) -> Greskell (PredicateA a)

pTest :: Greskell (PredicateA a) -> Greskell (PredicateArg (PredicateA a)) -> Greskell Bool

pNegate :: Greskell (PredicateA a) -> Greskell (PredicateA a)

newtype PredicateA a

Type for anonymous class of Predicate interface.

Constructors

PredicateA

Fields

• unPredicateA :: a -> Bool

Instances

Predicate (PredicateA a)

Defined in Data.Greskell.Gremlin

Associated Types

type PredicateArg (PredicateA a)

Methods

pAnd :: Greskell (PredicateA a) -> Greskell (PredicateA a) -> Greskell (PredicateA a)

pOr :: Greskell (PredicateA a) -> Greskell (PredicateA a) -> Greskell (PredicateA a)

pTest :: Greskell (PredicateA a) -> Greskell (PredicateArg (PredicateA a)) -> Greskell Bool

pNegate :: Greskell (PredicateA a) -> Greskell (PredicateA a)

type PredicateArg (PredicateA a)

Defined in Data.Greskell.Gremlin

type PredicateArg (PredicateA a) = a

P class

data P a

org.apache.tinkerpop.gremlin.process.traversal.P class.

P a keeps data of type a and compares it with data of type a given as the Predicate argument.

Instances

GraphSONTyped (P a)

Defined in Data.Greskell.Gremlin

Methods

gsonTypeFor :: P a -> Text

PLike (P a)

You can construct Greskell (P a) from Greskell a.

Defined in Data.Greskell.Gremlin

Associated Types

type PParameter (P a)

Predicate (P a)

Defined in Data.Greskell.Gremlin

Associated Types

type PredicateArg (P a)

Methods

pAnd :: Greskell (P a) -> Greskell (P a) -> Greskell (P a)

pOr :: Greskell (P a) -> Greskell (P a) -> Greskell (P a)

pTest :: Greskell (P a) -> Greskell (PredicateArg (P a)) -> Greskell Bool

pNegate :: Greskell (P a) -> Greskell (P a)

type PParameter (P a)

Defined in Data.Greskell.Gremlin

type PParameter (P a) = Greskell a

type PredicateArg (P a)

Defined in Data.Greskell.Gremlin

type PredicateArg (P a) = a

class ToGreskell (PParameter p) => PLike p

Type that is compatible with P. You can construct a value of type Greskell p using values of PParameter p.

Note that the type of constuctor arguments (i.e. GreskellReturn (PParameter p)) should implement Java's Comparable interface. This is true for most types, so greskell doesn't have any explicit constraint about it.

Since: 1.2.0.0

Associated Types

type PParameter p

Instances

PLike (P a)

You can construct Greskell (P a) from Greskell a.

Defined in Data.Greskell.Gremlin

Associated Types

type PParameter (P a)

PLike (LabeledP a)

You can construct Greskell (LabeledP a) from AsLabel a.

Defined in Data.Greskell.AsLabel

Associated Types

type PParameter (LabeledP a)

pNot :: PLike p => Greskell p -> Greskell p

P.not static method.

>>> toGremlin (pNot $ pEq $ 10 :: Greskell (P Int))
"P.not(P.eq(10))"

pEq :: PLike p => PParameter p -> Greskell p

P.eq static method.

>>> toGremlin (pEq $ string "hoge" :: Greskell (P Text))
"P.eq(\"hoge\")"

pNeq :: PLike p => PParameter p -> Greskell p

P.neq static method.

pLt :: PLike p => PParameter p -> Greskell p

P.lt static method.

pLte :: PLike p => PParameter p -> Greskell p

P.lte static method.

pGt :: PLike p => PParameter p -> Greskell p

P.gt static method.

pGte :: PLike p => PParameter p -> Greskell p

P.gte static method.

pInside :: PLike p => PParameter p -> PParameter p -> Greskell p

P.inside static method.

>>> toGremlin (pInside 10 20 :: Greskell (P Int))
"P.inside(10,20)"

pOutside :: PLike p => PParameter p -> PParameter p -> Greskell p

P.outside static method.

pBetween :: PLike p => PParameter p -> PParameter p -> Greskell p

P.between static method.

pWithin :: PLike p => [PParameter p] -> Greskell p

P.within static method.

>>> toGremlin (pWithin ["foo", "bar", "hoge"] :: Greskell (P Text))
"P.within(\"foo\",\"bar\",\"hoge\")"

pWithout :: PLike p => [PParameter p] -> Greskell p

P.without static method.

Comparator

class Comparator c where

java.util.Comparator interface.

Comparator compares two data of type CompareArg c.

Minimal complete definition

Nothing

Associated Types

type CompareArg c

Methods

cCompare :: Greskell c -> Greskell (CompareArg c) -> Greskell (CompareArg c) -> Greskell Int

.compare method.

cReversed :: Greskell c -> Greskell c

.reversed method.

cThenComparing :: Greskell c -> Greskell c -> Greskell c

.thenComparing method.

Instances

Comparator (Order a)

Order a compares the type a.

Defined in Data.Greskell.Gremlin

Associated Types

type CompareArg (Order a)

Methods

cCompare :: Greskell (Order a) -> Greskell (CompareArg (Order a)) -> Greskell (CompareArg (Order a)) -> Greskell Int

cReversed :: Greskell (Order a) -> Greskell (Order a)

cThenComparing :: Greskell (Order a) -> Greskell (Order a) -> Greskell (Order a)

Comparator (ComparatorA a)

Defined in Data.Greskell.Gremlin

Associated Types

type CompareArg (ComparatorA a)

Methods

cCompare :: Greskell (ComparatorA a) -> Greskell (CompareArg (ComparatorA a)) -> Greskell (CompareArg (ComparatorA a)) -> Greskell Int

cReversed :: Greskell (ComparatorA a) -> Greskell (ComparatorA a)

cThenComparing :: Greskell (ComparatorA a) -> Greskell (ComparatorA a) -> Greskell (ComparatorA a)

newtype ComparatorA a

Type for anonymous class of Comparator interface.

Constructors

ComparatorA

Fields

• unComparatorA :: a -> a -> Int

Instances

Comparator (ComparatorA a)

Defined in Data.Greskell.Gremlin

Associated Types

type CompareArg (ComparatorA a)

Methods

cCompare :: Greskell (ComparatorA a) -> Greskell (CompareArg (ComparatorA a)) -> Greskell (CompareArg (ComparatorA a)) -> Greskell Int

cReversed :: Greskell (ComparatorA a) -> Greskell (ComparatorA a)

cThenComparing :: Greskell (ComparatorA a) -> Greskell (ComparatorA a) -> Greskell (ComparatorA a)

type CompareArg (ComparatorA a)

Defined in Data.Greskell.Gremlin

type CompareArg (ComparatorA a) = a

Order enum

data Order a

org.apache.tinkerpop.gremlin.process.traversal.Order enum.

Instances

GraphSONTyped (Order a)

Defined in Data.Greskell.Gremlin

Methods

gsonTypeFor :: Order a -> Text

Comparator (Order a)

Order a compares the type a.

Defined in Data.Greskell.Gremlin

Associated Types

type CompareArg (Order a)

Methods

cCompare :: Greskell (Order a) -> Greskell (CompareArg (Order a)) -> Greskell (CompareArg (Order a)) -> Greskell Int

cReversed :: Greskell (Order a) -> Greskell (Order a)

cThenComparing :: Greskell (Order a) -> Greskell (Order a) -> Greskell (Order a)

type CompareArg (Order a)

Defined in Data.Greskell.Gremlin

type CompareArg (Order a) = a

oDecr :: Greskell (Order a)

decr order.

>>> toGremlin oDecr
"Order.decr"

oIncr :: Greskell (Order a)

incr order.

oShuffle :: Greskell (Order a)

shuffle order.