Database.Cayley.Types

Documentation

data APIVersion

Constructors

V1

Instances

Show APIVersion

Defined in Database.Cayley.Types

Methods

showsPrec :: Int -> APIVersion -> ShowS

show :: APIVersion -> String

showList :: [APIVersion] -> ShowS

data QueryLang

Constructors

Gremlin

MQL

Instances

Show QueryLang

Defined in Database.Cayley.Types

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

Defined in Database.Cayley.Types

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

Fields

• cayleyConfig :: !CayleyConfig
• manager :: !Manager

data Quad

Constructors

Quad

Fields

• subject :: !Text

  Subject node

• predicate :: !Text

  Predicate node

• object :: !Text

  Object node

• label :: !(Maybe Text)

  Label node

Instances

FromJSON Quad

Defined in Database.Cayley.Types

Methods

parseJSON :: Value -> Parser Quad

parseJSONList :: Value -> Parser [Quad]

omittedField :: Maybe Quad

ToJSON Quad

Defined in Database.Cayley.Types

Methods

toJSON :: Quad -> Value

toEncoding :: Quad -> Encoding

toJSONList :: [Quad] -> Value

toEncodingList :: [Quad] -> Encoding

omitField :: Quad -> Bool

Generic Quad

Defined in Database.Cayley.Types

Associated Types

type Rep Quad :: Type -> Type

Methods

from :: Quad -> Rep Quad x

to :: Rep Quad x -> Quad

Show Quad

Defined in Database.Cayley.Types

Methods

showsPrec :: Int -> Quad -> ShowS

show :: Quad -> String

showList :: [Quad] -> ShowS

Binary Quad

Defined in Database.Cayley.Types

Methods

put :: Quad -> Put

get :: Get Quad

putList :: [Quad] -> Put

Eq Quad

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

Defined in Database.Cayley.Types

Methods

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

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

type Rep Quad

Defined in Database.Cayley.Types

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

data Shape

Constructors

Shape

Fields

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

Instances

FromJSON Shape

Defined in Database.Cayley.Types

Methods

parseJSON :: Value -> Parser Shape

parseJSONList :: Value -> Parser [Shape]

omittedField :: Maybe Shape

Show Shape

Defined in Database.Cayley.Types

Methods

showsPrec :: Int -> Shape -> ShowS

show :: Shape -> String

showList :: [Shape] -> ShowS

Eq Shape

Defined in Database.Cayley.Types

Methods

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

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

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

Show Node

Defined in Database.Cayley.Types

Methods

showsPrec :: Int -> Node -> ShowS

show :: Node -> String

showList :: [Node] -> ShowS

Eq Node

Defined in Database.Cayley.Types

Methods

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

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

data Link

Constructors

Link

Fields

• source :: !Integer

  Node ID

• target :: !Integer

  Node ID

• linkNode :: !Integer

  Node ID

Instances

Show Link

Defined in Database.Cayley.Types

Methods

showsPrec :: Int -> Link -> ShowS

show :: Link -> String

showList :: [Link] -> ShowS

Eq Link

Defined in Database.Cayley.Types

Methods

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

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

type Query = Text

type Subject = Text

type Predicate = Text

type Object = Text

type Label = Text

type Tag = Text

type Value = Text