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

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)

GraphSONTyped (P a)

Defined in Data.Greskell.Gremlin

Methods

gsonTypeFor :: P a -> Text

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 (LabeledP a)

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

Defined in Data.Greskell.AsLabel

Associated Types

type PParameter (LabeledP a)

PLike (P a)

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

Defined in Data.Greskell.Gremlin

Associated Types

type PParameter (P a)

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

P.not static method.

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

P.eq static method.

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.

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.

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 (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)

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)

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

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)

GraphSONTyped (Order a)

Defined in Data.Greskell.Gremlin

Methods

gsonTypeFor :: Order a -> Text

type CompareArg (Order a)

Defined in Data.Greskell.Gremlin

type CompareArg (Order a) = a

oDesc :: Greskell (Order a)

desc order.

Since: 2.0.2.0

oAsc :: Greskell (Order a)

asc order.

Since: 2.0.2.0

oDecr :: Greskell (Order a)

decr order.

Note that decr was removed in TinkerPop 3.5.0. Use oDesc instead.

oIncr :: Greskell (Order a)

incr order.

Note that incr was removed in TinkerPop 3.5.0. Use oAsc instead.

oShuffle :: Greskell (Order a)

shuffle order.

Examples

examples :: [(Text, Text)]

Examples of using this module. See the source. The fst of the output is the testee, while the snd is the expectation.