Revision history for greskell

2.0.3.1 – 2024-09-12

• Update dependency version bounds with cabal-plan-bounds. This adds support for new packages, while drops support for old ones.

2.0.3.0 – 2023-02-24

• Add GTraversal.Gen module (see https://github.com/debug-ito/greskell/issues/15 )

2.0.2.0 – 2023-01-11

• Add oDesc and oAsc functions (Gremlin module) ( https://github.com/debug-ito/greskell/pull/14 )

2.0.1.0 – 2022-11-24

• Confirm test with ghc-9.2.5, vector-0.13.0.0 and aeson-2.1.0.0.
• Remove doctests. This is because it’s so difficult to maintain doctests with recent GHCs and cabals.
  • doctests have been moved to examples function defined in some modules.
  • @ners helped a lot in https://github.com/debug-ito/greskell/pull/12
• Add the following functions ( https://github.com/debug-ito/greskell/pull/13 )
  • gElementMap (GTraversal module)
  • toGremlinKeys (Graph module)
• Use stylish-haskell to format codes.

2.0.0.0 – 2021-12-28

• BREAKING CHANGE: Now greskell uses aeson-2.0. As a result, now implementation of Data.Aeson.Object has been changed from HashMap to KeyMap. Some types in greskell (e.g. Binding) directly uses the Object type.
• Confirm test with aeson-2.0.2.0, semigroups-0.20, hashable-1.4.0.1, doctest-0.19, doctest-0.20.
• Add showWalkType, showLift and showSplit functions, but those are only for testing purposes.
• hint-test-suite is removed. Instead, typecheck-test-suite is added, which is more robust and lightweight.

1.2.0.2 – 2021-11-08

• Confirm test with base-4.15.0.0.

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. Use gFlatMap'For monomorphic version.
• Add the following functions.
  • gFlatMap'
  • gCoalesce
  • gIterate
  • gPath
  • gPathBy
• Document change: Now gProject is a “Transformation step”, and gUnfold 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 for AsLabel.
• 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 for GValue. It was an associated type family in Element class. However, I think there was no point to make it polymorphic.
• BREAKING CHANGE Remove EdgeVertexID type family from Edge class.
• BREAKING CHANGE Add ElementData class, and set it as a super class of Element.
• BREAKING CHANGE Type of the ID field for AVertex, AEdge and AVertexProperty is now ElementID, not GValue.
• Add unsafeCastElementID function.
• Add ElementPropertyContainer type family to Element class. It’s necessary for gValueMap 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 from AVertex.
• BREAKING CHANGE Remove aeInVLabel, aeOutVLabel, aeInV, aeOutV and aeProperties fields from AEdge.
• BREAKING CHANGE Remove avpProperties field from AVertexProperty.
• BREAKING CHANGE Move PropertyMap class, FromGraphSONWithKey class, PropertyMapSingle type, PropertyMapList types and related functions to Graph.PropertyMap module. They are now all deprecated. Use PMap module instead.

Graph module - Key for element property

• BREAKING CHANGE Internal of Key is modified from Greskell Text to Text, so that it can be an instance of PMapKey class.
• BREAKING CHANGE Add KeyNoValue data constructor for KeyValue 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 and gByL functions.
• Add LabeledByProjection type.
• Add unsafeCastStart and unsafeCastEnd functions to ToGTraversal class.

Extra module

• BREAKING CHANGE Remove writeAllProperties because PropertyMap 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 for PMap.
• BREAKING CHANGE lookup, lookupM, lookupAs and lookupAsM are now re-exports from PMap module, whose signature is more polymorphic than the original ones and have a different exception type.
• BREAKING CHANGE AsLookupException is removed. Use PMapLookupException instead.
• Make AsLabel an instance of PMapKey.
• Add IsString instance to AsLabel.

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 has manual: 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 and hint-0.8.0.

Graph module

• BREAKING CHANGE: Now AVertex, AEdge, AVertexProperty are based on GValue type, instead of GraphSON Value. This is for taking care of possibly nested GraphSON-encoded values in a generic way.

• BREAKING CHANGE: parseOneValue, parseListValues, parseNonEmptyValues functions now require FromGraphSON constraint, instead of FromJSON, because property types of AVertex etc have changed.

• Add Cardinality type and its enum instances.

• Add KeyValue type and (=:) operator.

• (internal change): PropertyMapGeneric is now based on HashMap.Strict.

The top Data.Greskell module

• Re-export GMap and AsIterator 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.