Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Langs.Tinkerpop.PropertyGraph

Description

A typed property graph data model. Property graphs are parameterized a type for property and id values, while property graph schemas are parameterized by a type for property and id types

Synopsis

data Direction
- = DirectionOut
- | DirectionIn
- | DirectionBoth
- | DirectionUndirected
_Direction :: Name
_Direction_out :: Name
_Direction_in :: Name
_Direction_both :: Name
_Direction_undirected :: Name
data Edge v = Edge {
- edgeLabel :: EdgeLabel
- edgeId :: v
- edgeOut :: v
- edgeIn :: v
- edgeProperties :: Map PropertyKey v
}
_Edge :: Name
_Edge_label :: Name
_Edge_id :: Name
_Edge_out :: Name
_Edge_in :: Name
_Edge_properties :: Name
newtype EdgeLabel = EdgeLabel {
- unEdgeLabel :: String
}
_EdgeLabel :: Name
data EdgeType t = EdgeType {
- edgeTypeLabel :: EdgeLabel
- edgeTypeId :: t
- edgeTypeOut :: VertexLabel
- edgeTypeIn :: VertexLabel
- edgeTypeProperties :: [PropertyType t]
}
_EdgeType :: Name
_EdgeType_label :: Name
_EdgeType_id :: Name
_EdgeType_out :: Name
_EdgeType_in :: Name
_EdgeType_properties :: Name
data Element v
- = ElementVertex (Vertex v)
- | ElementEdge (Edge v)
_Element :: Name
_Element_vertex :: Name
_Element_edge :: Name
data ElementKind
- = ElementKindVertex
- | ElementKindEdge
_ElementKind :: Name
_ElementKind_vertex :: Name
_ElementKind_edge :: Name
data ElementTree v = ElementTree {
- elementTreeSelf :: Element v
- elementTreeDependencies :: [ElementTree v]
}
_ElementTree :: Name
_ElementTree_self :: Name
_ElementTree_dependencies :: Name
data ElementType t
- = ElementTypeVertex (VertexType t)
- | ElementTypeEdge (EdgeType t)
_ElementType :: Name
_ElementType_vertex :: Name
_ElementType_edge :: Name
data ElementTypeTree t = ElementTypeTree {
- elementTypeTreeSelf :: ElementType t
- elementTypeTreeDependencies :: [ElementTypeTree t]
}
_ElementTypeTree :: Name
_ElementTypeTree_self :: Name
_ElementTypeTree_dependencies :: Name
data Graph v = Graph {
- graphVertices :: Map v (Vertex v)
- graphEdges :: Map v (Edge v)
}
_Graph :: Name
_Graph_vertices :: Name
_Graph_edges :: Name
data GraphSchema t = GraphSchema {
- graphSchemaVertices :: Map VertexLabel (VertexType t)
- graphSchemaEdges :: Map EdgeLabel (EdgeType t)
}
_GraphSchema :: Name
_GraphSchema_vertices :: Name
_GraphSchema_edges :: Name
data Label
- = LabelVertex VertexLabel
- | LabelEdge EdgeLabel
_Label :: Name
_Label_vertex :: Name
_Label_edge :: Name
data Property v = Property {
- propertyKey :: PropertyKey
- propertyValue :: v
}
_Property :: Name
_Property_key :: Name
_Property_value :: Name
newtype PropertyKey = PropertyKey {
- unPropertyKey :: String
}
_PropertyKey :: Name
data PropertyType t = PropertyType {
- propertyTypeKey :: PropertyKey
- propertyTypeValue :: t
- propertyTypeRequired :: Bool
}
_PropertyType :: Name
_PropertyType_key :: Name
_PropertyType_value :: Name
_PropertyType_required :: Name
data Vertex v = Vertex {
- vertexLabel :: VertexLabel
- vertexId :: v
- vertexProperties :: Map PropertyKey v
}
_Vertex :: Name
_Vertex_label :: Name
_Vertex_id :: Name
_Vertex_properties :: Name
newtype VertexLabel = VertexLabel {
- unVertexLabel :: String
}
_VertexLabel :: Name
data VertexType t = VertexType {
- vertexTypeLabel :: VertexLabel
- vertexTypeId :: t
- vertexTypeProperties :: [PropertyType t]
}
_VertexType :: Name
_VertexType_label :: Name
_VertexType_id :: Name
_VertexType_properties :: Name

Documentation

data Direction Source #

The direction of an edge or edge pattern

Constructors

DirectionOut
DirectionIn
DirectionBoth
DirectionUndirected

Instances

Instances details

Read Direction Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS Direction # readList :: ReadS [Direction] # readPrec :: ReadPrec Direction # readListPrec :: ReadPrec [Direction] #
Show Direction Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> Direction -> ShowS # show :: Direction -> String # showList :: [Direction] -> ShowS #
Eq Direction Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: Direction -> Direction -> Bool # (/=) :: Direction -> Direction -> Bool #
Ord Direction Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: Direction -> Direction -> Ordering # (<) :: Direction -> Direction -> Bool # (<=) :: Direction -> Direction -> Bool # (>) :: Direction -> Direction -> Bool # (>=) :: Direction -> Direction -> Bool # max :: Direction -> Direction -> Direction # min :: Direction -> Direction -> Direction #

_Direction :: Name Source #

_Direction_out :: Name Source #

_Direction_in :: Name Source #

_Direction_both :: Name Source #

_Direction_undirected :: Name Source #

data Edge v Source #

An edge

Constructors

Edge
Fields edgeLabel :: EdgeLabel The label of the edge edgeId :: v The unique identifier of the edge edgeOut :: v The id of the out-vertex (tail) of the edge edgeIn :: v The id of the in-vertex (head) of the edge edgeProperties :: Map PropertyKey v A key/value map of edge properties

Instances

Instances details

Read v => Read (Edge v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (Edge v) # readList :: ReadS [Edge v] # readPrec :: ReadPrec (Edge v) # readListPrec :: ReadPrec [Edge v] #
Show v => Show (Edge v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> Edge v -> ShowS # show :: Edge v -> String # showList :: [Edge v] -> ShowS #
Eq v => Eq (Edge v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: Edge v -> Edge v -> Bool # (/=) :: Edge v -> Edge v -> Bool #
Ord v => Ord (Edge v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: Edge v -> Edge v -> Ordering # (<) :: Edge v -> Edge v -> Bool # (<=) :: Edge v -> Edge v -> Bool # (>) :: Edge v -> Edge v -> Bool # (>=) :: Edge v -> Edge v -> Bool # max :: Edge v -> Edge v -> Edge v # min :: Edge v -> Edge v -> Edge v #

_Edge :: Name Source #

_Edge_label :: Name Source #

_Edge_id :: Name Source #

_Edge_out :: Name Source #

_Edge_in :: Name Source #

_Edge_properties :: Name Source #

newtype EdgeLabel Source #

The label of an edge

Constructors

EdgeLabel
Fields unEdgeLabel :: String

Instances

Instances details

Read EdgeLabel Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS EdgeLabel # readList :: ReadS [EdgeLabel] # readPrec :: ReadPrec EdgeLabel # readListPrec :: ReadPrec [EdgeLabel] #
Show EdgeLabel Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> EdgeLabel -> ShowS # show :: EdgeLabel -> String # showList :: [EdgeLabel] -> ShowS #
Eq EdgeLabel Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: EdgeLabel -> EdgeLabel -> Bool # (/=) :: EdgeLabel -> EdgeLabel -> Bool #
Ord EdgeLabel Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: EdgeLabel -> EdgeLabel -> Ordering # (<) :: EdgeLabel -> EdgeLabel -> Bool # (<=) :: EdgeLabel -> EdgeLabel -> Bool # (>) :: EdgeLabel -> EdgeLabel -> Bool # (>=) :: EdgeLabel -> EdgeLabel -> Bool # max :: EdgeLabel -> EdgeLabel -> EdgeLabel # min :: EdgeLabel -> EdgeLabel -> EdgeLabel #

_EdgeLabel :: Name Source #

data EdgeType t Source #

The type of an edge

Constructors

EdgeType

Fields

edgeTypeLabel :: EdgeLabel
The label of any edge of this edge type
edgeTypeId :: t
The type of the id of any edge of this edge type
edgeTypeOut :: VertexLabel
The label of the out-vertex (tail) of any edge of this edge type
edgeTypeIn :: VertexLabel
The label of the in-vertex (head) of any edge of this edge type
edgeTypeProperties :: [PropertyType t]
A list of property types. The types are ordered for the sake of applications in which property order is significant.

Instances

Instances details

Read t => Read (EdgeType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (EdgeType t) # readList :: ReadS [EdgeType t] # readPrec :: ReadPrec (EdgeType t) # readListPrec :: ReadPrec [EdgeType t] #
Show t => Show (EdgeType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> EdgeType t -> ShowS # show :: EdgeType t -> String # showList :: [EdgeType t] -> ShowS #
Eq t => Eq (EdgeType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: EdgeType t -> EdgeType t -> Bool # (/=) :: EdgeType t -> EdgeType t -> Bool #
Ord t => Ord (EdgeType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: EdgeType t -> EdgeType t -> Ordering # (<) :: EdgeType t -> EdgeType t -> Bool # (<=) :: EdgeType t -> EdgeType t -> Bool # (>) :: EdgeType t -> EdgeType t -> Bool # (>=) :: EdgeType t -> EdgeType t -> Bool # max :: EdgeType t -> EdgeType t -> EdgeType t # min :: EdgeType t -> EdgeType t -> EdgeType t #

_EdgeType :: Name Source #

_EdgeType_label :: Name Source #

_EdgeType_id :: Name Source #

_EdgeType_out :: Name Source #

_EdgeType_in :: Name Source #

_EdgeType_properties :: Name Source #

data Element v Source #

Either a vertex or an edge

Constructors

ElementVertex (Vertex v)
ElementEdge (Edge v)

Instances

Instances details

Read v => Read (Element v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (Element v) # readList :: ReadS [Element v] # readPrec :: ReadPrec (Element v) # readListPrec :: ReadPrec [Element v] #
Show v => Show (Element v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> Element v -> ShowS # show :: Element v -> String # showList :: [Element v] -> ShowS #
Eq v => Eq (Element v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: Element v -> Element v -> Bool # (/=) :: Element v -> Element v -> Bool #
Ord v => Ord (Element v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: Element v -> Element v -> Ordering # (<) :: Element v -> Element v -> Bool # (<=) :: Element v -> Element v -> Bool # (>) :: Element v -> Element v -> Bool # (>=) :: Element v -> Element v -> Bool # max :: Element v -> Element v -> Element v # min :: Element v -> Element v -> Element v #

_Element :: Name Source #

_Element_vertex :: Name Source #

_Element_edge :: Name Source #

data ElementKind Source #

The kind of an element: vertex or edge

Constructors

ElementKindVertex
ElementKindEdge

Instances

Instances details

Read ElementKind Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS ElementKind # readList :: ReadS [ElementKind] # readPrec :: ReadPrec ElementKind # readListPrec :: ReadPrec [ElementKind] #
Show ElementKind Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> ElementKind -> ShowS # show :: ElementKind -> String # showList :: [ElementKind] -> ShowS #
Eq ElementKind Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: ElementKind -> ElementKind -> Bool # (/=) :: ElementKind -> ElementKind -> Bool #
Ord ElementKind Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: ElementKind -> ElementKind -> Ordering # (<) :: ElementKind -> ElementKind -> Bool # (<=) :: ElementKind -> ElementKind -> Bool # (>) :: ElementKind -> ElementKind -> Bool # (>=) :: ElementKind -> ElementKind -> Bool # max :: ElementKind -> ElementKind -> ElementKind # min :: ElementKind -> ElementKind -> ElementKind #

_ElementKind :: Name Source #

_ElementKind_vertex :: Name Source #

_ElementKind_edge :: Name Source #

data ElementTree v Source #

An element together with its dependencies in some context

Constructors

ElementTree
Fields elementTreeSelf :: Element v elementTreeDependencies :: [ElementTree v]

Instances

Instances details

Read v => Read (ElementTree v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (ElementTree v) # readList :: ReadS [ElementTree v] # readPrec :: ReadPrec (ElementTree v) # readListPrec :: ReadPrec [ElementTree v] #
Show v => Show (ElementTree v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> ElementTree v -> ShowS # show :: ElementTree v -> String # showList :: [ElementTree v] -> ShowS #
Eq v => Eq (ElementTree v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: ElementTree v -> ElementTree v -> Bool # (/=) :: ElementTree v -> ElementTree v -> Bool #
Ord v => Ord (ElementTree v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: ElementTree v -> ElementTree v -> Ordering # (<) :: ElementTree v -> ElementTree v -> Bool # (<=) :: ElementTree v -> ElementTree v -> Bool # (>) :: ElementTree v -> ElementTree v -> Bool # (>=) :: ElementTree v -> ElementTree v -> Bool # max :: ElementTree v -> ElementTree v -> ElementTree v # min :: ElementTree v -> ElementTree v -> ElementTree v #

_ElementTree :: Name Source #

_ElementTree_self :: Name Source #

_ElementTree_dependencies :: Name Source #

data ElementType t Source #

The type of a vertex or edge

Constructors

ElementTypeVertex (VertexType t)
ElementTypeEdge (EdgeType t)

Instances

Instances details

Read t => Read (ElementType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (ElementType t) # readList :: ReadS [ElementType t] # readPrec :: ReadPrec (ElementType t) # readListPrec :: ReadPrec [ElementType t] #
Show t => Show (ElementType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> ElementType t -> ShowS # show :: ElementType t -> String # showList :: [ElementType t] -> ShowS #
Eq t => Eq (ElementType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: ElementType t -> ElementType t -> Bool # (/=) :: ElementType t -> ElementType t -> Bool #
Ord t => Ord (ElementType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: ElementType t -> ElementType t -> Ordering # (<) :: ElementType t -> ElementType t -> Bool # (<=) :: ElementType t -> ElementType t -> Bool # (>) :: ElementType t -> ElementType t -> Bool # (>=) :: ElementType t -> ElementType t -> Bool # max :: ElementType t -> ElementType t -> ElementType t # min :: ElementType t -> ElementType t -> ElementType t #

_ElementType :: Name Source #

_ElementType_vertex :: Name Source #

_ElementType_edge :: Name Source #

data ElementTypeTree t Source #

An element type together with its dependencies in some context

Constructors

ElementTypeTree
Fields elementTypeTreeSelf :: ElementType t elementTypeTreeDependencies :: [ElementTypeTree t]

Instances

Instances details

Read t => Read (ElementTypeTree t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (ElementTypeTree t) # readList :: ReadS [ElementTypeTree t] # readPrec :: ReadPrec (ElementTypeTree t) # readListPrec :: ReadPrec [ElementTypeTree t] #
Show t => Show (ElementTypeTree t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> ElementTypeTree t -> ShowS # show :: ElementTypeTree t -> String # showList :: [ElementTypeTree t] -> ShowS #
Eq t => Eq (ElementTypeTree t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: ElementTypeTree t -> ElementTypeTree t -> Bool # (/=) :: ElementTypeTree t -> ElementTypeTree t -> Bool #
Ord t => Ord (ElementTypeTree t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: ElementTypeTree t -> ElementTypeTree t -> Ordering # (<) :: ElementTypeTree t -> ElementTypeTree t -> Bool # (<=) :: ElementTypeTree t -> ElementTypeTree t -> Bool # (>) :: ElementTypeTree t -> ElementTypeTree t -> Bool # (>=) :: ElementTypeTree t -> ElementTypeTree t -> Bool # max :: ElementTypeTree t -> ElementTypeTree t -> ElementTypeTree t # min :: ElementTypeTree t -> ElementTypeTree t -> ElementTypeTree t #

_ElementTypeTree :: Name Source #

_ElementTypeTree_self :: Name Source #

_ElementTypeTree_dependencies :: Name Source #

data Graph v Source #

A graph; a self-contained collection of vertices and edges

Constructors

Graph
Fields graphVertices :: Map v (Vertex v) graphEdges :: Map v (Edge v)

Instances

Instances details

(Ord v, Read v) => Read (Graph v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (Graph v) # readList :: ReadS [Graph v] # readPrec :: ReadPrec (Graph v) # readListPrec :: ReadPrec [Graph v] #
Show v => Show (Graph v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> Graph v -> ShowS # show :: Graph v -> String # showList :: [Graph v] -> ShowS #
Eq v => Eq (Graph v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: Graph v -> Graph v -> Bool # (/=) :: Graph v -> Graph v -> Bool #
Ord v => Ord (Graph v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: Graph v -> Graph v -> Ordering # (<) :: Graph v -> Graph v -> Bool # (<=) :: Graph v -> Graph v -> Bool # (>) :: Graph v -> Graph v -> Bool # (>=) :: Graph v -> Graph v -> Bool # max :: Graph v -> Graph v -> Graph v # min :: Graph v -> Graph v -> Graph v #

_Graph :: Name Source #

_Graph_vertices :: Name Source #

_Graph_edges :: Name Source #

data GraphSchema t Source #

A graph schema; a vertex and edge types for the vertices and edges of a graph conforming to the schema

Constructors

GraphSchema
Fields graphSchemaVertices :: Map VertexLabel (VertexType t) A unique vertex type for each vertex label which may occur in a graph graphSchemaEdges :: Map EdgeLabel (EdgeType t) A unique edge type for each edge label which may occur in a graph

Instances

Instances details

Read t => Read (GraphSchema t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (GraphSchema t) # readList :: ReadS [GraphSchema t] # readPrec :: ReadPrec (GraphSchema t) # readListPrec :: ReadPrec [GraphSchema t] #
Show t => Show (GraphSchema t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> GraphSchema t -> ShowS # show :: GraphSchema t -> String # showList :: [GraphSchema t] -> ShowS #
Eq t => Eq (GraphSchema t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: GraphSchema t -> GraphSchema t -> Bool # (/=) :: GraphSchema t -> GraphSchema t -> Bool #
Ord t => Ord (GraphSchema t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: GraphSchema t -> GraphSchema t -> Ordering # (<) :: GraphSchema t -> GraphSchema t -> Bool # (<=) :: GraphSchema t -> GraphSchema t -> Bool # (>) :: GraphSchema t -> GraphSchema t -> Bool # (>=) :: GraphSchema t -> GraphSchema t -> Bool # max :: GraphSchema t -> GraphSchema t -> GraphSchema t # min :: GraphSchema t -> GraphSchema t -> GraphSchema t #

_GraphSchema :: Name Source #

_GraphSchema_vertices :: Name Source #

_GraphSchema_edges :: Name Source #

data Label Source #

Either a vertex or edge label

Constructors

LabelVertex VertexLabel
LabelEdge EdgeLabel

Instances

Instances details

Read Label Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS Label # readList :: ReadS [Label] # readPrec :: ReadPrec Label # readListPrec :: ReadPrec [Label] #
Show Label Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> Label -> ShowS # show :: Label -> String # showList :: [Label] -> ShowS #
Eq Label Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: Label -> Label -> Bool # (/=) :: Label -> Label -> Bool #
Ord Label Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: Label -> Label -> Ordering # (<) :: Label -> Label -> Bool # (<=) :: Label -> Label -> Bool # (>) :: Label -> Label -> Bool # (>=) :: Label -> Label -> Bool # max :: Label -> Label -> Label # min :: Label -> Label -> Label #

_Label :: Name Source #

_Label_vertex :: Name Source #

_Label_edge :: Name Source #

data Property v Source #

A key/value property

Constructors

Property
Fields propertyKey :: PropertyKey They key of the property propertyValue :: v The value of the property

Instances

Instances details

Read v => Read (Property v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (Property v) # readList :: ReadS [Property v] # readPrec :: ReadPrec (Property v) # readListPrec :: ReadPrec [Property v] #
Show v => Show (Property v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> Property v -> ShowS # show :: Property v -> String # showList :: [Property v] -> ShowS #
Eq v => Eq (Property v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: Property v -> Property v -> Bool # (/=) :: Property v -> Property v -> Bool #
Ord v => Ord (Property v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: Property v -> Property v -> Ordering # (<) :: Property v -> Property v -> Bool # (<=) :: Property v -> Property v -> Bool # (>) :: Property v -> Property v -> Bool # (>=) :: Property v -> Property v -> Bool # max :: Property v -> Property v -> Property v # min :: Property v -> Property v -> Property v #

_Property :: Name Source #

_Property_key :: Name Source #

_Property_value :: Name Source #

newtype PropertyKey Source #

A property key

Constructors

PropertyKey
Fields unPropertyKey :: String

Instances

Instances details

Read PropertyKey Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS PropertyKey # readList :: ReadS [PropertyKey] # readPrec :: ReadPrec PropertyKey # readListPrec :: ReadPrec [PropertyKey] #
Show PropertyKey Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> PropertyKey -> ShowS # show :: PropertyKey -> String # showList :: [PropertyKey] -> ShowS #
Eq PropertyKey Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: PropertyKey -> PropertyKey -> Bool # (/=) :: PropertyKey -> PropertyKey -> Bool #
Ord PropertyKey Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: PropertyKey -> PropertyKey -> Ordering # (<) :: PropertyKey -> PropertyKey -> Bool # (<=) :: PropertyKey -> PropertyKey -> Bool # (>) :: PropertyKey -> PropertyKey -> Bool # (>=) :: PropertyKey -> PropertyKey -> Bool # max :: PropertyKey -> PropertyKey -> PropertyKey # min :: PropertyKey -> PropertyKey -> PropertyKey #

_PropertyKey :: Name Source #

data PropertyType t Source #

The type of a property

Constructors

PropertyType
Fields propertyTypeKey :: PropertyKey A property's key propertyTypeValue :: t The type of a property's value propertyTypeRequired :: Bool Whether the property is required; values may be omitted from a property map otherwise

Instances

Instances details

Read t => Read (PropertyType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (PropertyType t) # readList :: ReadS [PropertyType t] # readPrec :: ReadPrec (PropertyType t) # readListPrec :: ReadPrec [PropertyType t] #
Show t => Show (PropertyType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> PropertyType t -> ShowS # show :: PropertyType t -> String # showList :: [PropertyType t] -> ShowS #
Eq t => Eq (PropertyType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: PropertyType t -> PropertyType t -> Bool # (/=) :: PropertyType t -> PropertyType t -> Bool #
Ord t => Ord (PropertyType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: PropertyType t -> PropertyType t -> Ordering # (<) :: PropertyType t -> PropertyType t -> Bool # (<=) :: PropertyType t -> PropertyType t -> Bool # (>) :: PropertyType t -> PropertyType t -> Bool # (>=) :: PropertyType t -> PropertyType t -> Bool # max :: PropertyType t -> PropertyType t -> PropertyType t # min :: PropertyType t -> PropertyType t -> PropertyType t #

_PropertyType :: Name Source #

_PropertyType_key :: Name Source #

_PropertyType_value :: Name Source #

_PropertyType_required :: Name Source #

data Vertex v Source #

A vertex

Constructors

Vertex
Fields vertexLabel :: VertexLabel The label of the vertex vertexId :: v The unique identifier of the vertex vertexProperties :: Map PropertyKey v A key/value map of vertex properties

Instances

Instances details

Read v => Read (Vertex v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (Vertex v) # readList :: ReadS [Vertex v] # readPrec :: ReadPrec (Vertex v) # readListPrec :: ReadPrec [Vertex v] #
Show v => Show (Vertex v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> Vertex v -> ShowS # show :: Vertex v -> String # showList :: [Vertex v] -> ShowS #
Eq v => Eq (Vertex v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: Vertex v -> Vertex v -> Bool # (/=) :: Vertex v -> Vertex v -> Bool #
Ord v => Ord (Vertex v) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: Vertex v -> Vertex v -> Ordering # (<) :: Vertex v -> Vertex v -> Bool # (<=) :: Vertex v -> Vertex v -> Bool # (>) :: Vertex v -> Vertex v -> Bool # (>=) :: Vertex v -> Vertex v -> Bool # max :: Vertex v -> Vertex v -> Vertex v # min :: Vertex v -> Vertex v -> Vertex v #

_Vertex :: Name Source #

_Vertex_label :: Name Source #

_Vertex_id :: Name Source #

_Vertex_properties :: Name Source #

newtype VertexLabel Source #

The label of a vertex. The default (null) vertex is represented by the empty string

Constructors

VertexLabel
Fields unVertexLabel :: String

Instances

Instances details

Read VertexLabel Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS VertexLabel # readList :: ReadS [VertexLabel] # readPrec :: ReadPrec VertexLabel # readListPrec :: ReadPrec [VertexLabel] #
Show VertexLabel Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> VertexLabel -> ShowS # show :: VertexLabel -> String # showList :: [VertexLabel] -> ShowS #
Eq VertexLabel Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: VertexLabel -> VertexLabel -> Bool # (/=) :: VertexLabel -> VertexLabel -> Bool #
Ord VertexLabel Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: VertexLabel -> VertexLabel -> Ordering # (<) :: VertexLabel -> VertexLabel -> Bool # (<=) :: VertexLabel -> VertexLabel -> Bool # (>) :: VertexLabel -> VertexLabel -> Bool # (>=) :: VertexLabel -> VertexLabel -> Bool # max :: VertexLabel -> VertexLabel -> VertexLabel # min :: VertexLabel -> VertexLabel -> VertexLabel #

_VertexLabel :: Name Source #

data VertexType t Source #

The type of a vertex

Constructors

VertexType
Fields vertexTypeLabel :: VertexLabel The label of any vertex of this vertex type vertexTypeId :: t The type of the id of any vertex of this vertex type vertexTypeProperties :: [PropertyType t] A list of property types. The types are ordered for the sake of applications in which property order is significant.

Instances

Instances details

Read t => Read (VertexType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods readsPrec :: Int -> ReadS (VertexType t) # readList :: ReadS [VertexType t] # readPrec :: ReadPrec (VertexType t) # readListPrec :: ReadPrec [VertexType t] #
Show t => Show (VertexType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods showsPrec :: Int -> VertexType t -> ShowS # show :: VertexType t -> String # showList :: [VertexType t] -> ShowS #
Eq t => Eq (VertexType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods (==) :: VertexType t -> VertexType t -> Bool # (/=) :: VertexType t -> VertexType t -> Bool #
Ord t => Ord (VertexType t) Source #
Instance details Defined in Hydra.Langs.Tinkerpop.PropertyGraph Methods compare :: VertexType t -> VertexType t -> Ordering # (<) :: VertexType t -> VertexType t -> Bool # (<=) :: VertexType t -> VertexType t -> Bool # (>) :: VertexType t -> VertexType t -> Bool # (>=) :: VertexType t -> VertexType t -> Bool # max :: VertexType t -> VertexType t -> VertexType t # min :: VertexType t -> VertexType t -> VertexType t #

_VertexType :: Name Source #

_VertexType_label :: Name Source #

_VertexType_id :: Name Source #

_VertexType_properties :: Name Source #