hydra-0.1.0: Type-aware transformations for data and functional programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Ext.Tinkerpop.Typed

Synopsis

Documentation

data Edge Source #

An edge, comprised of an id, an out-vertex and in-vertex id, and zero or more properties

Instances

Instances details
Read Edge Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Show Edge Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

showsPrec :: Int -> Edge -> ShowS #

show :: Edge -> String #

showList :: [Edge] -> ShowS #

Eq Edge Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

(==) :: Edge -> Edge -> Bool #

(/=) :: Edge -> Edge -> Bool #

Ord Edge Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

compare :: Edge -> Edge -> Ordering #

(<) :: Edge -> Edge -> Bool #

(<=) :: Edge -> Edge -> Bool #

(>) :: Edge -> Edge -> Bool #

(>=) :: Edge -> Edge -> Bool #

max :: Edge -> Edge -> Edge #

min :: Edge -> Edge -> Edge #

newtype EdgeId Source #

A literal value representing an edge id

Constructors

EdgeId 

Fields

Instances

Instances details
Read EdgeId Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Show EdgeId Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Eq EdgeId Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

(==) :: EdgeId -> EdgeId -> Bool #

(/=) :: EdgeId -> EdgeId -> Bool #

Ord EdgeId Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

newtype EdgeIdType Source #

The type of a reference to an edge by id

Constructors

EdgeIdType 

Fields

data EdgeType Source #

The type of an edge, with characteristic id, out-vertex, in-vertex, and property types

data Id Source #

A vertex or edge id

Instances

Instances details
Read Id Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Show Id Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

showsPrec :: Int -> Id -> ShowS #

show :: Id -> String #

showList :: [Id] -> ShowS #

Eq Id Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

(==) :: Id -> Id -> Bool #

(/=) :: Id -> Id -> Bool #

Ord Id Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

compare :: Id -> Id -> Ordering #

(<) :: Id -> Id -> Bool #

(<=) :: Id -> Id -> Bool #

(>) :: Id -> Id -> Bool #

(>=) :: Id -> Id -> Bool #

max :: Id -> Id -> Id #

min :: Id -> Id -> Id #

data IdType Source #

The type of a reference to a strongly-typed element (vertex or edge) by id

Instances

Instances details
Read IdType Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Show IdType Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Eq IdType Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

(==) :: IdType -> IdType -> Bool #

(/=) :: IdType -> IdType -> Bool #

Ord IdType Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

newtype Key Source #

A property key or map key

Constructors

Key 

Fields

Instances

Instances details
Read Key Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Show Key Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

showsPrec :: Int -> Key -> ShowS #

show :: Key -> String #

showList :: [Key] -> ShowS #

Eq Key Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

(==) :: Key -> Key -> Bool #

(/=) :: Key -> Key -> Bool #

Ord Key Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

compare :: Key -> Key -> Ordering #

(<) :: Key -> Key -> Bool #

(<=) :: Key -> Key -> Bool #

(>) :: Key -> Key -> Bool #

(>=) :: Key -> Key -> Bool #

max :: Key -> Key -> Key #

min :: Key -> Key -> Key #

newtype Label Source #

A vertex or edge label

Constructors

Label 

Fields

Instances

Instances details
Read Label Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Show Label Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

showsPrec :: Int -> Label -> ShowS #

show :: Label -> String #

showList :: [Label] -> ShowS #

Eq Label Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

(==) :: Label -> Label -> Bool #

(/=) :: Label -> Label -> Bool #

Ord Label Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

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 #

data Type Source #

The type of a value, such as a property value

Instances

Instances details
Read Type Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Show Type Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

Eq Type Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

(==) :: Type -> Type -> Bool #

(/=) :: Type -> Type -> Bool #

Ord Type Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

compare :: Type -> Type -> Ordering #

(<) :: Type -> Type -> Bool #

(<=) :: Type -> Type -> Bool #

(>) :: Type -> Type -> Bool #

(>=) :: Type -> Type -> Bool #

max :: Type -> Type -> Type #

min :: Type -> Type -> Type #

data Value Source #

A concrete value such as a number or string, a collection of other values, or an element reference

Instances

Instances details
Read Value Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Show Value Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

showsPrec :: Int -> Value -> ShowS #

show :: Value -> String #

showList :: [Value] -> ShowS #

Eq Value Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

(==) :: Value -> Value -> Bool #

(/=) :: Value -> Value -> Bool #

Ord Value Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

compare :: Value -> Value -> Ordering #

(<) :: Value -> Value -> Bool #

(<=) :: Value -> Value -> Bool #

(>) :: Value -> Value -> Bool #

(>=) :: Value -> Value -> Bool #

max :: Value -> Value -> Value #

min :: Value -> Value -> Value #

data Vertex Source #

A vertex, comprised of an id and zero or more properties

Instances

Instances details
Read Vertex Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Show Vertex Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Eq Vertex Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

Methods

(==) :: Vertex -> Vertex -> Bool #

(/=) :: Vertex -> Vertex -> Bool #

Ord Vertex Source # 
Instance details

Defined in Hydra.Ext.Tinkerpop.Typed

newtype VertexId Source #

A literal value representing a vertex id

Constructors

VertexId 

Fields