Graql

Documentation

data MatchQuery

A Graql match query that finds a pattern in the graph

Instances

Show MatchQuery

Methods

showsPrec :: Int -> MatchQuery -> ShowS

show :: MatchQuery -> String

showList :: [MatchQuery] -> ShowS

data Var

A variable name wildcard that will represent a concept in the results

Instances

Eq Var

Methods

(==) :: Var -> Var -> Bool

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

Ord Var

Methods

compare :: Var -> Var -> Ordering

(<) :: Var -> Var -> Bool

(<=) :: Var -> Var -> Bool

(>) :: Var -> Var -> Bool

(>=) :: Var -> Var -> Bool

max :: Var -> Var -> Var

min :: Var -> Var -> Var

Show Var

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

FromJSON Var

Methods

parseJSON :: Value -> Parser Var

parseJSONList :: Value -> Parser [Var]

FromJSONKey Var

Methods

fromJSONKey :: FromJSONKeyFunction Var

fromJSONKeyList :: FromJSONKeyFunction [Var]

data Name

A name of something in the graph

Instances

Show Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

FromJSON Name

Methods

parseJSON :: Value -> Parser Name

parseJSONList :: Value -> Parser [Name]

data Value

A value of a resource

Constructors

ValueString Text

ValueNumber Scientific

ValueBool Bool

Instances

Show Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

FromJSON Value

Methods

parseJSON :: Value -> Parser Value

parseJSONList :: Value -> Parser [Value]

match :: IsPattern a => [a] -> MatchQuery

Create a match query by providing a list of patterns

select :: [Var] -> MatchQuery -> MatchQuery

Select variables from a match query, intended to be used infix

distinct :: MatchQuery -> MatchQuery

Retrieve only distinct results from a match query

limit :: Integer -> MatchQuery -> MatchQuery

Limit a match query, intended to be used infix

var :: Text -> Var

Create a variable

name :: Text -> Name

Create a name of something in the graph

isa :: (IsPattern p, IsVarOrName a) => p -> a -> Pattern

Specify a property has a particular type

(-:) :: (IsPattern p, IsVarOrName a) => p -> a -> Pattern

Specify a property has a particular type

(.:) :: IsVarOrName a => a -> Var -> RolePlayer

A casting in a relation between a role type and a role player

rp :: Var -> RolePlayer

A casting in a relation without a role type

(<:) :: (IsPattern p, IsRolePlayer a) => p -> [a] -> Pattern

Specify a property is a relation between other variables

rel :: IsRolePlayer a => [a] -> Pattern

Shorthand to define a relation

has :: (IsPattern p, IsResource a) => p -> Name -> a -> Pattern

Specify a property has a resource

hasText :: IsPattern p => p -> Name -> Text -> Pattern

Specify a property has a resource

var_ :: Pattern

Create an anonymous variable