greskell
Haskell binding for Gremlin graph query language
https://github.com/debug-ito/greskell/
Version on this page: | 1.2.0.1 |
LTS Haskell 23.0: | 2.0.3.2 |
Stackage Nightly 2024-12-09: | 2.0.3.2 |
Latest on Hackage: | 2.0.3.2 |
greskell-1.2.0.1@sha256:a330a20f5dcf6b28eda7bc301b44322470c3493dcd5c09c176f8c37b6aad9144,6674
greskell
Haskell binding for Gremlin query language.
See the package description, or project README.
Author
Toshio Ito [email protected]
Changes
Revision history for greskell
1.2.0.1 – 2021-02-11
- Confirm test with
doctest-0.18
.
1.2.0.0 – 2020-12-29
- Add
Logic
module.
Gremlin module
- Add
PLike
class. - BREAKING CHANGE Generalize signatures of the following functions
using
PLike
. You may encounter compile errors if the compiler fails to infer the type.pEq
pNeq
pLt
pLte
pGt
pGte
pInside
pOutside
pBetween
pWithin
pWithout
GTraversal module
- Add the following functions. (Fix for #10)
gWhereP1
gWhereP1'
gWhereP2
gWhereP2'
gMatch
mPattern
- Add the following types.
MatchPattern
MatchResult
Gremlin module
- Add
LabeledP
type.
1.1.0.3 – 2020-06-21
- Confirm test with
base-4.14.0.0
.
1.1.0.2 – 2020-06-06
- Support
doctest-0.17
.
1.1.0.1 – 2020-05-30
- Support
aeson-1.5.0.0
.
1.1.0.0 – 2020-04-26
GTraversal module
- BREAKING CHANGE
gFlatMap
is now polymorphic about the WalkTypes. UsegFlatMap'
For monomorphic version. - Add the following functions.
gFlatMap'
gCoalesce
gIterate
gPath
gPathBy
- Document change: Now
gProject
is a “Transformation step”, andgUnfold
is an “Accessor step”.
Graph module
- Add the following types.
Path
PathEntry
- Add the following functions.
pathToPMap
makePathEntry
Extra module
- Add
gWhenEmptyInput
function.
AsLabel module
- Derive
Hashable
instance forAsLabel
. - Add
unsafeCastAsLabel
function.
1.0.1.0 – 2020-04-24
GTraversal module
- Add the following functions.
gRepeat
gTimes
gUntilHead
gUntilTail
gEmitHead
gEmitTail
gEmitHeadT
gEmitTailT
gLoops
gIs
gIs'
gIsP
gIsP'
gCyclicPath
gCyclicPath'
gSimplePath
gSimplePath'
gUnion
gChoose3
gConstant
gLocal
gBarrier
gDedup
gDedupN
gUnfold
- Add the follwing types.
RepeatUntil
RepeatEmit
RepeatPos
RepeatLabel
1.0.0.1 – 2019-12-30
- Confirm test with
base-4.13.0.0
1.0.0.0 – 2019-12-27
- Add some test cases to server-behavior-test
- Add PMap and NonEmptyLike modules.
Data.Greskell module
- Export PMap module.
Graph module - Element class and ElementID
- BREAKING CHANGE Now
ElementID
is a newtype forGValue
. It was an associated type family inElement
class. However, I think there was no point to make it polymorphic. - BREAKING CHANGE Remove
EdgeVertexID
type family fromEdge
class. - BREAKING CHANGE Add
ElementData
class, and set it as a super class ofElement
. - BREAKING CHANGE Type of the ID field for
AVertex
,AEdge
andAVertexProperty
is nowElementID
, notGValue
. - Add
unsafeCastElementID
function. - Add
ElementPropertyContainer
type family toElement
class. It’s necessary forgValueMap
traversal.
Graph module - “reference” model for graph element types
Now the graph element types don’t contain properties. They only have their ID and label (and the value if it’s a VertexProperty). This is because some graph implementation of TinkerPop don’t return properties when it returns graph elements. See #6.
- BREAKING CHANGE Remove
avProperties
field fromAVertex
. - BREAKING CHANGE Remove
aeInVLabel
,aeOutVLabel
,aeInV
,aeOutV
andaeProperties
fields fromAEdge
. - BREAKING CHANGE Remove
avpProperties
field fromAVertexProperty
. - BREAKING CHANGE Move
PropertyMap
class,FromGraphSONWithKey
class,PropertyMapSingle
type,PropertyMapList
types and related functions toGraph.PropertyMap
module. They are now all deprecated. UsePMap
module instead.
Graph module - Key for element property
- BREAKING CHANGE Internal of
Key
is modified fromGreskell Text
toText
, so that it can be an instance ofPMapKey
class. - BREAKING CHANGE Add
KeyNoValue
data constructor forKeyValue
type. - Add
unsafeCastKey
function. - Add
Keys
type and related functions.
GTraversal module
- BREAKING CHANGE Change the signature of the following functions
because now
ElementID
is a newtype, not a type alias.sV'
gV'
sE'
- Add
gValueMap
,gProject
andgByL
functions. - Add
LabeledByProjection
type. - Add
unsafeCastStart
andunsafeCastEnd
functions toToGTraversal
class.
Extra module
- BREAKING CHANGE Remove
writeAllProperties
becausePropertyMap
is deprecated. - Add
writeKeyValues
function. - Add
writePMapProperties
function. - Add
(<=:>)
and(<=?>)
operators. - Re-export property reader functions such as
lookupAs
.
AsLabel module
- Now
SelectedMap
is a specialized type alias forPMap
. - BREAKING CHANGE
lookup
,lookupM
,lookupAs
andlookupAsM
are now re-exports fromPMap
module, whose signature is more polymorphic than the original ones and have a different exception type. - BREAKING CHANGE
AsLookupException
is removed. UsePMapLookupException
instead. - Make
AsLabel
an instance ofPMapKey
. - Add
IsString
instance toAsLabel
.
0.2.3.1 – 2019-10-02
- Confirm test with
semigroups-0.19.1
.
0.2.3.0 – 2019-01-01
- Add Extra module.
0.2.2.0 – 2018-11-23
- Add new
AsLabel
module.
GTraversal module
- Add
gAs
,gSelect1
,gSelectN
,gSelectBy1
,gSelectByN
,gOutV
,gOutV'
,gInV
,gInV'
functions.
Binder module
- Add
newAsLabel
function.
0.2.1.1 – 2018-10-03
- Confirm test with
base-4.12.0.0
0.2.1.0 – 2018-08-17
GTraversal module
- Add
(<$.>)
,(<*.>)
,gLimit
,gTail
,gSkip
,gId
,gLabel
functions.
0.2.0.3 – 2018-07-24
- Confirmed test with
doctest-discover-0.2.0.0
.
0.2.0.2 – 2018-06-24
- Confirmed test with
doctest-0.16.0
.
0.2.0.1 – 2018-06-24
- .cabal: Now
hint-test
flag hasmanual: True
setting. The hint-test may be sometimes unstable, so the user should be able to disable it in a stable way. See https://github.com/commercialhaskell/stackage/pull/3758
0.2.0.0 – 2018-06-21
- Confirmed test with
aeson-1.4.0.0
andhint-0.8.0
.
Graph module
-
BREAKING CHANGE: Now
AVertex
,AEdge
,AVertexProperty
are based onGValue
type, instead ofGraphSON Value
. This is for taking care of possibly nested GraphSON-encoded values in a generic way. -
BREAKING CHANGE:
parseOneValue
,parseListValues
,parseNonEmptyValues
functions now requireFromGraphSON
constraint, instead ofFromJSON
, because property types ofAVertex
etc have changed. -
Add
Cardinality
type and its enum instances. -
Add
KeyValue
type and(=:)
operator. -
(internal change):
PropertyMapGeneric
is now based onHashMap.Strict
.
The top Data.Greskell module
- Re-export
GMap
andAsIterator
modules.
GTraversal module
- Add
gV
,gV'
,gAddE
,gAddE'
,gFrom
,gTo
,gProperty
,gPropertyV
,sAddV
,sAddV'
.
0.1.1.0 – 2018-04-08
- Add Semigroup instance to PropertyMapSingle and PropertyMapList.
- Confirmed test with base-4.11 (with hint-test and server-test disabled)
0.1.0.0 – 2018-03-12
- First version. Released on an unsuspecting world.