Safe Haskell	None
Language	Haskell2010

Database.Cayley.Types

Synopsis

data APIVersion = V1
data QueryLang
- = Gremlin
- | MQL
data CayleyConfig = CayleyConfig {
- serverPort :: !Int
- serverName :: !String
- apiVersion :: !APIVersion
- queryLang :: !QueryLang
}
defaultCayleyConfig :: CayleyConfig
data CayleyConnection = CayleyConnection {
- cayleyConfig :: !CayleyConfig
- manager :: !Manager
}
data Quad = Quad {
- subject :: !Text
- predicate :: !Text
- object :: !Text
- label :: !(Maybe Text)
}
data Shape = Shape {
- nodes :: ![Node]
- links :: ![Link]
}
parseNode :: Value -> Parser Node
parseLink :: Value -> Parser Link
data Node = Node {
- id :: !Integer
- tags :: !(Maybe [Tag])
- values :: !(Maybe [Value])
- isLinkNode :: !Bool
- isFixed :: !Bool
}
data Link = Link {
- source :: !Integer
- target :: !Integer
- linkNode :: !Integer
}
type Query = Text
type Subject = Text
type Predicate = Text
type Object = Text
type Label = Text
type Tag = Text
type Value = Text

Documentation

data APIVersion Source #

Constructors

V1

Instances

Instances details

Show APIVersion Source #
Instance details Defined in Database.Cayley.Types Methods showsPrec :: Int -> APIVersion -> ShowS # show :: APIVersion -> String # showList :: [APIVersion] -> ShowS #

data QueryLang Source #

Constructors

Gremlin
MQL

Instances

Instances details

Show QueryLang Source #
Instance details Defined in Database.Cayley.Types Methods showsPrec :: Int -> QueryLang -> ShowS # show :: QueryLang -> String # showList :: [QueryLang] -> ShowS #

data CayleyConfig Source #

Constructors

CayleyConfig
Fields serverPort :: !Int serverName :: !String apiVersion :: !APIVersion queryLang :: !QueryLang

Instances

Instances details

Show CayleyConfig Source #
Instance details Defined in Database.Cayley.Types Methods showsPrec :: Int -> CayleyConfig -> ShowS # show :: CayleyConfig -> String # showList :: [CayleyConfig] -> ShowS #

defaultCayleyConfig :: CayleyConfig Source #

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

data CayleyConnection Source #

Constructors

CayleyConnection
Fields cayleyConfig :: !CayleyConfig manager :: !Manager

data Quad Source #

Constructors

Quad
Fields subject :: !Text Subject node predicate :: !Text Predicate node object :: !Text Object node label :: !(Maybe Text) Label node

Instances

Instances details

FromJSON Quad Source #

Instance details

Defined in Database.Cayley.Types

Methods

parseJSON :: Value -> Parser Quad #

parseJSONList :: Value -> Parser [Quad] #

omittedField :: Maybe Quad #

ToJSON Quad Source #

Instance details

Defined in Database.Cayley.Types

Methods

toJSON :: Quad -> Value #

toEncoding :: Quad -> Encoding #

toJSONList :: [Quad] -> Value #

toEncodingList :: [Quad] -> Encoding #

omitField :: Quad -> Bool #

Generic Quad Source #

Instance details

Defined in Database.Cayley.Types

Associated Types

type Rep Quad

Instance details

Defined in Database.Cayley.Types

type Rep Quad = D1 ('MetaData "Quad" "Database.Cayley.Types" "cayley-client-0.4.19.5-7go7Z1GM4zH5QRcsCYx9BJ" '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)))))

Methods

from :: Quad -> Rep Quad x #

to :: Rep Quad x -> Quad #

Show Quad Source #

Instance details

Defined in Database.Cayley.Types

Methods

showsPrec :: Int -> Quad -> ShowS #

show :: Quad -> String #

showList :: [Quad] -> ShowS #

Binary Quad Source #

Instance details

Defined in Database.Cayley.Types

Methods

put :: Quad -> Put #

get :: Get Quad #

putList :: [Quad] -> Put #

Eq Quad Source #

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

Instance details

Defined in Database.Cayley.Types

Methods

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

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

type Rep Quad Source #

Instance details

Defined in Database.Cayley.Types

type Rep Quad = D1 ('MetaData "Quad" "Database.Cayley.Types" "cayley-client-0.4.19.5-7go7Z1GM4zH5QRcsCYx9BJ" '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 Source #

Constructors

Shape
Fields nodes :: ![Node] links :: ![Link]

Instances

Instances details

FromJSON Shape Source #
Instance details Defined in Database.Cayley.Types Methods parseJSON :: Value -> Parser Shape # parseJSONList :: Value -> Parser [Shape] # omittedField :: Maybe Shape #
Show Shape Source #
Instance details Defined in Database.Cayley.Types Methods showsPrec :: Int -> Shape -> ShowS # show :: Shape -> String # showList :: [Shape] -> ShowS #
Eq Shape Source #
Instance details Defined in Database.Cayley.Types Methods (==) :: Shape -> Shape -> Bool # (/=) :: Shape -> Shape -> Bool #

parseNode :: Value -> Parser Node Source #

parseLink :: Value -> Parser Link Source #

data Node Source #

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

Instances details

Show Node Source #
Instance details Defined in Database.Cayley.Types Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #
Eq Node Source #
Instance details Defined in Database.Cayley.Types Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #

data Link Source #

Constructors

Link
Fields source :: !Integer Node ID target :: !Integer Node ID linkNode :: !Integer Node ID

Instances

Instances details

Show Link Source #
Instance details Defined in Database.Cayley.Types Methods showsPrec :: Int -> Link -> ShowS # show :: Link -> String # showList :: [Link] -> ShowS #
Eq Link Source #
Instance details Defined in Database.Cayley.Types Methods (==) :: Link -> Link -> Bool # (/=) :: Link -> Link -> Bool #

type Query = Text Source #

type Subject = Text Source #

type Predicate = Text Source #

type Object = Text Source #

type Label = Text Source #

type Tag = Text Source #

type Value = Text Source #