| Maintainer | Toshio Ito <debug.ito@gmail.com> |
|---|---|
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Greskell.Gremlin
Description
This modules defines types and functions for utility classes in Gremlin.
Synopsis
- class Predicate p where
- type PredicateArg p
- newtype PredicateA a = PredicateA {
- unPredicateA :: a -> Bool
- data P a
- pNot :: Greskell (P a) -> Greskell (P a)
- pEq :: Greskell a -> Greskell (P a)
- pNeq :: Greskell a -> Greskell (P a)
- pLt :: Greskell a -> Greskell (P a)
- pLte :: Greskell a -> Greskell (P a)
- pGt :: Greskell a -> Greskell (P a)
- pGte :: Greskell a -> Greskell (P a)
- pInside :: Greskell a -> Greskell a -> Greskell (P a)
- pOutside :: Greskell a -> Greskell a -> Greskell (P a)
- pBetween :: Greskell a -> Greskell a -> Greskell (P a)
- pWithin :: [Greskell a] -> Greskell (P a)
- pWithout :: [Greskell a] -> Greskell (P a)
- class Comparator c where
- type CompareArg c
- newtype ComparatorA a = ComparatorA {
- unComparatorA :: a -> a -> Int
- data Order a
- oDecr :: Greskell (Order a)
- oIncr :: Greskell (Order a)
- oShuffle :: Greskell (Order a)
Predicate
java.util.function.Predicate interface.
A Predicate p is a function that takes PredicateArg p and
returns Bool.
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) :: * # | |
| 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
| |
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 | |
P class
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 PredicateArg (P a) # | |
Defined in Data.Greskell.Gremlin | |
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\")"
pInside :: Greskell a -> Greskell a -> Greskell (P a) #
P.inside static method.
>>>toGremlin $ pInside (number 10) (number 20)"P.inside(10.0,20.0)"
pWithin :: [Greskell a] -> Greskell (P a) #
P.within static method.
>>>toGremlin $ pWithin (["foo", "bar", "hoge"] :: [Greskell String])"P.within(\"foo\",\"bar\",\"hoge\")"
Comparator
class Comparator c where #
java.util.Comparator interface.
Comparator compares two data of type CompareArg c.
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) # |
|
Defined in Data.Greskell.Gremlin Associated Types type CompareArg (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
| |
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 | |
Order enum
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) # |
|
Defined in Data.Greskell.Gremlin Associated Types type CompareArg (Order a) :: * # | |
| type CompareArg (Order a) # | |
Defined in Data.Greskell.Gremlin | |