grakn-0.2.0: A Haskell client for <http://grakn.ai Grakn>

Safe HaskellNone
LanguageHaskell2010

Grakn

Synopsis

Documentation

data MatchQuery Source #

A Graql match query that finds a pattern in the graph

data Graph Source #

Constructors

Graph 

Fields

data Result Source #

A result of a match query, binding variables to concepts

data Var Source #

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

Instances

data Name Source #

A name of something in the graph

Instances

data Value Source #

A value of a resource

defaultUrl :: BaseUrl Source #

The default Grakn URL, accessing localhost

defaultKeyspace :: String Source #

The default Grakn keyspace

execute :: IsQuery q => Graph -> q -> IO (Either ServantError Result) Source #

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

var :: Text -> Var Source #

Create a variable

name :: Text -> Name Source #

Create a name of something in the graph

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

rp :: Var -> RolePlayer Source #

A casting in a relation without a role type

(<:) :: (Convert p Pattern, Convert a RolePlayer) => p -> [a] -> Pattern Source #

Specify a property is a relation between other variables

rel :: Convert a RolePlayer => [a] -> Pattern Source #

Shorthand to define a relation

has :: (Convert p Pattern, Convert a (Either Value Var)) => p -> Name -> a -> Pattern Source #

Specify a property has a resource

hasText :: Convert p Pattern => p -> Name -> Text -> Pattern Source #

Specify a property has a resource

var_ :: Pattern Source #

Create an anonymous variable