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) :: Type

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) :: Type

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) :: Type

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

Predicate (P a)

Defined in Data.Greskell.Gremlin

Associated Types

type PredicateArg (P a) :: Type

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 PredicateArg (P a)

Defined in Data.Greskell.Gremlin

type PredicateArg (P a) = a

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

P.not static method.

>>> toGremlin $ pNot $ pEq $ number 10
"P.not(P.eq(10.0))"

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

P.eq static method.

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

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

P.neq static method.

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

P.lt static method.

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

P.lte static method.

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

P.gt static method.

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

P.gte static method.

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

P.inside static method.

>>> toGremlin $ pInside (number 10) (number 20)
"P.inside(10.0,20.0)"

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

P.outside static method.

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

P.between static method.

pWithin :: [Greskell a] -> Greskell (P a)

P.within static method.

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

pWithout :: [Greskell a] -> Greskell (P a)

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

.reverse 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) :: Type

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) :: Type

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) :: Type

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) :: Type

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.