Database.Cayley.Types

Documentation

data APIVersion

Constructors

V1

Instances

Show APIVersion

Methods

showsPrec :: Int -> APIVersion -> ShowS

show :: APIVersion -> String

showList :: [APIVersion] -> ShowS

data QueryLang

Constructors

Gremlin

MQL

Instances

Show QueryLang

Methods

showsPrec :: Int -> QueryLang -> ShowS

show :: QueryLang -> String

showList :: [QueryLang] -> ShowS

data CayleyConfig

Constructors

CayleyConfig

Fields

• serverPort :: Int
• serverName :: String
• apiVersion :: APIVersion
• queryLang :: QueryLang

Instances

Show CayleyConfig

Methods

showsPrec :: Int -> CayleyConfig -> ShowS

show :: CayleyConfig -> String

showList :: [CayleyConfig] -> ShowS

defaultCayleyConfig :: CayleyConfig

CayleyConfig { serverPort = 64210 , serverName = "localhost" , apiVersion = V1 , queryLang = Gremlin }

data CayleyConnection

Constructors

CayleyConnection (CayleyConfig, Manager)

data Quad

Constructors

Quad

Fields

• subject :: !Text

  Subject node

• predicate :: !Text

  Predicate node

• object :: !Text

  Object node

• label :: !(Maybe Text)

  Label node

Instances

Eq Quad

Two quads are equals when subject, predicate, object and label are equals.

Methods

(==) :: Quad -> Quad -> Bool

(/=) :: Quad -> Quad -> Bool

Show Quad

Methods

showsPrec :: Int -> Quad -> ShowS

show :: Quad -> String

showList :: [Quad] -> ShowS

Generic Quad

Associated Types

type Rep Quad :: * -> *

Methods

from :: Quad -> Rep Quad x

to :: Rep Quad x -> Quad

ToJSON Quad

Methods

toJSON :: Quad -> Value

toEncoding :: Quad -> Encoding

toJSONList :: [Quad] -> Value

toEncodingList :: [Quad] -> Encoding

FromJSON Quad

Methods

parseJSON :: Value -> Parser Quad

parseJSONList :: Value -> Parser [Quad]

Binary Quad

Methods

put :: Quad -> Put

get :: Get Quad

putList :: [Quad] -> Put

type Rep Quad

type Rep Quad = D1 (MetaData "Quad" "Database.Cayley.Types" "cayley-client-0.3.3-2yyV5uQhAJ7DkCofAUcOl6" False) (C1 (MetaCons "Quad" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "subject") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)) (S1 (MetaSel (Just Symbol "predicate") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text))) ((:*:) (S1 (MetaSel (Just Symbol "object") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)) (S1 (MetaSel (Just Symbol "label") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Text))))))

data Shape

Constructors

Shape

Fields

• nodes :: ![Node]
• links :: ![Link]

Instances

Eq Shape

Methods

(==) :: Shape -> Shape -> Bool

(/=) :: Shape -> Shape -> Bool

Show Shape

Methods

showsPrec :: Int -> Shape -> ShowS

show :: Shape -> String

showList :: [Shape] -> ShowS

FromJSON Shape

Methods

parseJSON :: Value -> Parser Shape

parseJSONList :: Value -> Parser [Shape]

parseNode :: Value -> Parser Node

parseLink :: Value -> Parser Link

data Node

Constructors

Node

Fields

• id :: !Integer
• tags :: !(Maybe [Tag])

  list of tags from the query

• values :: !(Maybe [Value])

  Known values from the query

• isLinkNode :: !Bool

  Does the node represent the link or the node (the oval shapes)

• isFixed :: !Bool

  Is the node a fixed starting point of the query

Instances

Eq Node

Methods

(==) :: Node -> Node -> Bool

(/=) :: Node -> Node -> Bool

Show Node

Methods

showsPrec :: Int -> Node -> ShowS

show :: Node -> String

showList :: [Node] -> ShowS

data Link

Constructors

Link

Fields

• source :: !Integer

  Node ID

• target :: !Integer

  Node ID

• linkNode :: !Integer

  Node ID

Instances

Eq Link

Methods

(==) :: Link -> Link -> Bool

(/=) :: Link -> Link -> Bool

Show Link

Methods

showsPrec :: Int -> Link -> ShowS

show :: Link -> String

showList :: [Link] -> ShowS

type Query = Text

type Subject = Text

type Predicate = Text

type Object = Text

type Label = Text

type Tag = Text

type Value = Text