Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Ext.Tinkerpop.V3

Description

A simple TinkerPop version 3 syntax model

Synopsis

data Edge v e p = Edge {
- edgeLabel :: EdgeLabel
- edgeId :: e
- edgeOut :: v
- edgeIn :: v
- edgeProperties :: Map PropertyKey p
}
_Edge :: Name
_Edge_label :: FieldName
_Edge_id :: FieldName
_Edge_out :: FieldName
_Edge_in :: FieldName
_Edge_properties :: FieldName
newtype EdgeLabel = EdgeLabel {
- unEdgeLabel :: String
}
_EdgeLabel :: Name
data Element v e p
- = ElementVertex (Vertex v p)
- | ElementEdge (Edge v e p)
_Element :: Name
_Element_vertex :: FieldName
_Element_edge :: FieldName
data Graph v e p = Graph {
- graphVertices :: Set (Vertex v p)
- graphEdges :: Set (Edge v e p)
}
_Graph :: Name
_Graph_vertices :: FieldName
_Graph_edges :: FieldName
data Property p = Property {
- propertyKey :: PropertyKey
- propertyValue :: p
}
_Property :: Name
_Property_key :: FieldName
_Property_value :: FieldName
newtype PropertyKey = PropertyKey {
- unPropertyKey :: String
}
_PropertyKey :: Name
data Vertex v p = Vertex {
- vertexLabel :: VertexLabel
- vertexId :: v
- vertexProperties :: Map PropertyKey p
}
_Vertex :: Name
_Vertex_label :: FieldName
_Vertex_id :: FieldName
_Vertex_properties :: FieldName
newtype VertexLabel = VertexLabel {
- unVertexLabel :: String
}
_VertexLabel :: Name

Documentation

data Edge v e p Source #

An edge

Constructors

Edge
Fields edgeLabel :: EdgeLabel edgeId :: e edgeOut :: v edgeIn :: v edgeProperties :: Map PropertyKey p

Instances

Instances details

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

_Edge :: Name Source #

_Edge_label :: FieldName Source #

_Edge_id :: FieldName Source #

_Edge_out :: FieldName Source #

_Edge_in :: FieldName Source #

_Edge_properties :: FieldName Source #

newtype EdgeLabel Source #

The (required) label of an edge

Constructors

EdgeLabel
Fields unEdgeLabel :: String The (required) label of an edge

Instances

Instances details

Read EdgeLabel Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 Methods readsPrec :: Int -> ReadS EdgeLabel # readList :: ReadS [EdgeLabel] # readPrec :: ReadPrec EdgeLabel # readListPrec :: ReadPrec [EdgeLabel] #
Show EdgeLabel Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 Methods showsPrec :: Int -> EdgeLabel -> ShowS # show :: EdgeLabel -> String # showList :: [EdgeLabel] -> ShowS #
Eq EdgeLabel Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 Methods (==) :: EdgeLabel -> EdgeLabel -> Bool # (/=) :: EdgeLabel -> EdgeLabel -> Bool #
Ord EdgeLabel Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 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 Element v e p Source #

Either a vertex or an edge

Constructors

ElementVertex (Vertex v p)
ElementEdge (Edge v e p)

Instances

Instances details

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

_Element :: Name Source #

_Element_vertex :: FieldName Source #

_Element_edge :: FieldName Source #

data Graph v e p Source #

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

Constructors

Graph
Fields graphVertices :: Set (Vertex v p) graphEdges :: Set (Edge v e p)

Instances

Instances details

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

_Graph :: Name Source #

_Graph_vertices :: FieldName Source #

_Graph_edges :: FieldName Source #

data Property p Source #

A key/value property

Constructors

Property
Fields propertyKey :: PropertyKey propertyValue :: p

Instances

Instances details

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

_Property :: Name Source #

_Property_key :: FieldName Source #

_Property_value :: FieldName Source #

newtype PropertyKey Source #

A property key

Constructors

PropertyKey
Fields unPropertyKey :: String A property key

Instances

Instances details

Read PropertyKey Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 Methods readsPrec :: Int -> ReadS PropertyKey # readList :: ReadS [PropertyKey] # readPrec :: ReadPrec PropertyKey # readListPrec :: ReadPrec [PropertyKey] #
Show PropertyKey Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 Methods showsPrec :: Int -> PropertyKey -> ShowS # show :: PropertyKey -> String # showList :: [PropertyKey] -> ShowS #
Eq PropertyKey Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 Methods (==) :: PropertyKey -> PropertyKey -> Bool # (/=) :: PropertyKey -> PropertyKey -> Bool #
Ord PropertyKey Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 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 Vertex v p Source #

A vertex

Constructors

Vertex
Fields vertexLabel :: VertexLabel vertexId :: v vertexProperties :: Map PropertyKey p

Instances

Instances details

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

_Vertex :: Name Source #

_Vertex_label :: FieldName Source #

_Vertex_id :: FieldName Source #

_Vertex_properties :: FieldName Source #

newtype VertexLabel Source #

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

Constructors

VertexLabel
Fields unVertexLabel :: String The label of a vertex. The default (null) vertex is represented by the empty string

Instances

Instances details

Read VertexLabel Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 Methods readsPrec :: Int -> ReadS VertexLabel # readList :: ReadS [VertexLabel] # readPrec :: ReadPrec VertexLabel # readListPrec :: ReadPrec [VertexLabel] #
Show VertexLabel Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 Methods showsPrec :: Int -> VertexLabel -> ShowS # show :: VertexLabel -> String # showList :: [VertexLabel] -> ShowS #
Eq VertexLabel Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 Methods (==) :: VertexLabel -> VertexLabel -> Bool # (/=) :: VertexLabel -> VertexLabel -> Bool #
Ord VertexLabel Source #
Instance details Defined in Hydra.Ext.Tinkerpop.V3 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 #