| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Grakn
- data Match
- data GetQuery
- data Client = Client {}
- data GraknError
- data Result
- = AnswersResult [Map Var Concept]
- | AnswerResult (Map Var Concept)
- | DeleteResult
- | AskResult Bool
- | CountResult Integer
- data Options = Options {}
- data Var
- data Label
- data Value
- defaultUrl :: BaseUrl
- defaultKeyspace :: String
- execute :: IsQuery q => Client -> q -> ExecuteResponse
- execute_ :: IsQuery q => Options -> Client -> q -> ExecuteResponse
- match :: Convert a Pattern => [a] -> Match
- get :: [Var] -> Match -> GetQuery
- limit :: Integer -> Match -> Match
- var :: Text -> Var
- label :: Text -> Label
- isa :: (Convert p Pattern, Convert a VarOrLabel) => p -> a -> Pattern
- (-:) :: (Convert p Pattern, Convert a VarOrLabel) => p -> a -> Pattern
- (.:) :: Convert a VarOrLabel => 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 -> Label -> a -> Pattern
- hasText :: Convert p Pattern => p -> Label -> Text -> Pattern
- var_ :: Pattern
Documentation
A Graql match part that finds a pattern in the knowledge base
data GraknError Source #
Instances
A result of a query
Constructors
| AnswersResult [Map Var Concept] | |
| AnswerResult (Map Var Concept) | |
| DeleteResult | |
| AskResult Bool | |
| CountResult Integer |
A variable that will represent a concept in the results
A label of something in the knowledge base
A value of a resource
Constructors
| ValueString Text | |
| ValueNumber Scientific | |
| ValueBool Bool |
defaultUrl :: BaseUrl Source #
The default Grakn URL, accessing localhost
defaultKeyspace :: String Source #
The default Grakn keyspace
isa :: (Convert p Pattern, Convert a VarOrLabel) => p -> a -> Pattern Source #
Specify a property has a particular type
(-:) :: (Convert p Pattern, Convert a VarOrLabel) => p -> a -> Pattern Source #
Specify a property has a particular type
(.:) :: Convert a VarOrLabel => 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 -> Label -> a -> Pattern Source #
Specify a property has a resource