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
newtype CayleyConnection = CayleyConnection (CayleyConfig, 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 #

Constructors

V1

Instances

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

data QueryLang #

Constructors

Gremlin
MQL

Instances

Show QueryLang #
Instance details 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 #
Instance details 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 }

newtype 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.
Instance details Defined in Database.Cayley.Types Methods (==) :: Quad -> Quad -> Bool # (/=) :: Quad -> Quad -> Bool #
Show Quad #
Instance details Defined in Database.Cayley.Types Methods showsPrec :: Int -> Quad -> ShowS # show :: Quad -> String # showList :: [Quad] -> ShowS #
Generic Quad #
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 #
Instance details Defined in Database.Cayley.Types Methods toJSON :: Quad -> Value # toEncoding :: Quad -> Encoding # toJSONList :: [Quad] -> Value # toEncodingList :: [Quad] -> Encoding #
FromJSON Quad #
Instance details Defined in Database.Cayley.Types Methods parseJSON :: Value -> Parser Quad # parseJSONList :: Value -> Parser [Quad] #
Binary Quad #
Instance details Defined in Database.Cayley.Types Methods put :: Quad -> Put # get :: Get Quad # putList :: [Quad] -> Put #
type Rep Quad #
Instance details Defined in Database.Cayley.Types type Rep Quad = D1 (MetaData "Quad" "Database.Cayley.Types" "cayley-client-0.4.9-9NyruGuD6APKZkD3AxQSku" 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

Eq Shape #
Instance details Defined in Database.Cayley.Types Methods (==) :: Shape -> Shape -> Bool # (/=) :: Shape -> Shape -> Bool #
Show Shape #
Instance details Defined in Database.Cayley.Types Methods showsPrec :: Int -> Shape -> ShowS # show :: Shape -> String # showList :: [Shape] -> ShowS #
FromJSON Shape #
Instance details Defined in Database.Cayley.Types 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 #
Instance details Defined in Database.Cayley.Types Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
Show Node #
Instance details Defined in Database.Cayley.Types 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 #
Instance details Defined in Database.Cayley.Types Methods (==) :: Link -> Link -> Bool # (/=) :: Link -> Link -> Bool #
Show Link #
Instance details Defined in Database.Cayley.Types 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 #