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

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 #
Show Quad Source #
Instance details Defined in Database.Cayley.Types Methods showsPrec :: Int -> Quad -> ShowS # show :: Quad -> String # showList :: [Quad] -> ShowS #
Generic Quad Source #
Instance details Defined in Database.Cayley.Types Associated Types type Rep Quad :: Type -> Type # Methods from :: Quad -> Rep Quad x # to :: Rep Quad x -> Quad #
ToJSON Quad Source #
Instance details Defined in Database.Cayley.Types Methods toJSON :: Quad -> Value # toEncoding :: Quad -> Encoding # toJSONList :: [Quad] -> Value # toEncodingList :: [Quad] -> Encoding #
FromJSON Quad Source #
Instance details Defined in Database.Cayley.Types Methods parseJSON :: Value -> Parser Quad # parseJSONList :: Value -> Parser [Quad] #
Binary Quad Source #
Instance details Defined in Database.Cayley.Types Methods put :: Quad -> Put # get :: Get Quad # putList :: [Quad] -> Put #
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.2-B9Ab1XbNO6nKV6ORJTf4so" '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

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

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

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

data Link Source #

Constructors

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

Instances

Instances details

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

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 #