Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data MatchQuery
- data Graph = Graph {}
- data GraknError
- data Result
- = MatchResult [Map Var Concept]
- | InsertResult [Text]
- | AskResult Bool
- | CountResult Integer
- | DeleteResult
- data Var
- data Name
- data Value
- defaultUrl :: BaseUrl
- defaultKeyspace :: String
- execute :: IsQuery q => Graph -> q -> IO (Either ServantError Result)
- match :: Convert a Pattern => [a] -> MatchQuery
- select :: [Var] -> MatchQuery -> MatchQuery
- distinct :: MatchQuery -> MatchQuery
- limit :: Integer -> MatchQuery -> MatchQuery
- var :: Text -> Var
- name :: Text -> Name
- isa :: (Convert p Pattern, Convert a VarOrName) => p -> a -> Pattern
- (-:) :: (Convert p Pattern, Convert a VarOrName) => p -> a -> Pattern
- (.:) :: Convert a VarOrName => a -> Var -> RolePlayer
- rp :: Var -> RolePlayer
- (<:) :: (Convert p Pattern, Convert a RolePlayer) => p -> [a] -> Pattern
- rel :: Convert a RolePlayer => [a] -> Pattern
- has :: (Convert p Pattern, Convert a (Either Value Var)) => p -> Name -> a -> Pattern
- hasText :: Convert p Pattern => p -> Name -> Text -> Pattern
- var_ :: Pattern
Documentation
data MatchQuery Source #
A Graql match
query that finds a pattern in the graph
data GraknError Source #
A result of a match query, binding variables to concepts
MatchResult [Map Var Concept] | |
InsertResult [Text] | |
AskResult Bool | |
CountResult Integer | |
DeleteResult |
A variable name wildcard that will represent a concept in the results
A name of something in the graph
A value of a resource
defaultUrl :: BaseUrl Source #
The default Grakn URL, accessing localhost
defaultKeyspace :: String Source #
The default Grakn keyspace
match :: Convert a Pattern => [a] -> MatchQuery Source #
Create a match query by providing a list of patterns
select :: [Var] -> MatchQuery -> MatchQuery Source #
Select variables from a match query, intended to be used infix
distinct :: MatchQuery -> MatchQuery Source #
Retrieve only distinct results from a match query
limit :: Integer -> MatchQuery -> MatchQuery Source #
Limit a match query, intended to be used infix
isa :: (Convert p Pattern, Convert a VarOrName) => p -> a -> Pattern Source #
Specify a property has a particular type
(-:) :: (Convert p Pattern, Convert a VarOrName) => p -> a -> Pattern Source #
Specify a property has a particular type
(.:) :: Convert a VarOrName => a -> Var -> RolePlayer Source #
A casting in a relation between a role type and a role player
(<:) :: (Convert p Pattern, Convert a RolePlayer) => p -> [a] -> Pattern Source #
Specify a property is a relation between other variables
has :: (Convert p Pattern, Convert a (Either Value Var)) => p -> Name -> a -> Pattern Source #
Specify a property has a resource